Modulerere-0.2.0.2Haskell2010

RERE.CharSet

Sets of characters.

Using this is more efficint than RE.Type.Alt:ng individual characters.

1 type
15 values

Packagerere-0.2.0.2
Exports16
LanguageHaskell2010
LicenceBSD-3-Clause
SourceCharSet.hs

Set of characters

1 declaration

newtypenewtype CharSet

A set of Chars.

We use range set, which works great with Char.

Instances4Eq, Ord, Show, IsString

Eq CharSetDefined in rere-0.2.0.2 · RERE.CharSet
Ord CharSetDefined in rere-0.2.0.2 · RERE.CharSet
Show CharSetDefined in rere-0.2.0.2 · RERE.CharSet
IsString CharSetDefined in rere-0.2.0.2 · RERE.CharSet
Example1 expression
```
>>> "foobar" :: CharSet"abfor"
```

Construction

8 declarations

valueempty :: CharSet

Empty character set.

valueuniverse :: CharSet

universe

Example1 expression

>>> size universe1114112

Example1 expression

>>> universeCS.fromIntervalList [('\NUL','\1114111')]

valuesingleton :: Char -> CharSet

Singleton character set.

valueinsert :: Char -> CharSet -> CharSet

Insert Char into CharSet.

valueunion :: CharSet -> CharSet -> CharSet

Union of two CharSets.

valueintersection :: CharSet -> CharSet -> CharSet

Intersection of two CharSets

valuecomplement :: CharSet -> CharSet

Complement of a CharSet

valuedifference :: CharSet -> CharSet -> CharSet

Difference of two CharSets.

Query

3 declarations

valuesize :: CharSet -> Int

Size of CharSet

Example1 expression

>>> size $ fromIntervalList [('a','f'), ('0','9')]16

Example1 expression

>>> length $ toList $ fromIntervalList [('a','f'), ('0','9')]16

valuenull :: CharSet -> Bool

Check whether CharSet is empty.

valuemember :: Char -> CharSet -> Bool

Test whether character is in the set.

Conversions

4 declarations

valuefromList :: String -> CharSet

Make CharSet from a list of characters, i.e. String.

valuetoList :: CharSet -> String

Convert CharSet to a list of characters i.e. String.

valuefromIntervalList :: [(Char, Char)] -> CharSet

Convert from interval pairs.

Example1 expression

>>> fromIntervalList []""

Example1 expression

>>> fromIntervalList [('a','f'), ('0','9')]"0123456789abcdef"

Example1 expression

>>> fromIntervalList [('Z','A')]""

valuetoIntervalList :: CharSet -> [(Char, Char)]

Convert to interval list

Example1 expression

>>> toIntervalList $ union "01234" "56789"[('0','9')]