unicode-data-parser-0.3.0.2: Parsers for Unicode Character Database (UCD) files
Copyright(c) 2024 Pierre Le Marre
Maintainer[email protected]
Stabilityexperimental
Safe HaskellSafe-Inferred
LanguageGHC2021

Unicode.CharacterDatabase.Parser.Properties.Multiple

Description

Parser for properties files with multiple properties, such as:

Since: 0.1.0

Synopsis

Documentation

parse :: HasCallStack => ByteString -> [Entry] Source #

A parser for properties files with multiple properties

Since: 0.1.0

data Entry Source #

An entry from a properties file with multiple properties

>>> parse "0009..000D    ; White_Space # Cc   [5] <control-0009>..<control-000D>"
[Entry {range = CharRange {start = '\t', end = '\r'}, property = "White_Space", value = Nothing}]
>>> parse "061C          ; Bidi_Control # Cf       ARABIC LETTER MARK"
[Entry {range = SingleChar {start = '\1564'}, property = "Bidi_Control", value = Nothing}]
>>> parse "037A  ; FC_NFKC; 0020 03B9      # Lm  GREEK YPOGEGRAMMENI"
[Entry {range = SingleChar {start = '\890'}, property = "FC_NFKC", value = Just "0020 03B9"}]

Since: 0.1.0

Instances

Instances details
Show Entry Source # 
Instance details

Defined in Unicode.CharacterDatabase.Parser.Properties.Multiple

Methods

showsPrec :: Int -> Entry -> ShowS #

show :: Entry -> String #

showList :: [Entry] -> ShowS #

Eq Entry Source # 
Instance details

Defined in Unicode.CharacterDatabase.Parser.Properties.Multiple

Methods

(==) :: Entry -> Entry -> Bool #

(/=) :: Entry -> Entry -> Bool #