RERE.CharSet

Sets of characters.

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

Set of characters

data CharSet

A set of Chars.

We use range set, which works great with Char.

Instances

Eq CharSet

Defined in RERE.CharSet

Methods

(==) :: CharSet -> CharSet -> Bool

(/=) :: CharSet -> CharSet -> Bool

Ord CharSet

Defined in RERE.CharSet

Methods

compare :: CharSet -> CharSet -> Ordering

(<) :: CharSet -> CharSet -> Bool

(<=) :: CharSet -> CharSet -> Bool

(>) :: CharSet -> CharSet -> Bool

(>=) :: CharSet -> CharSet -> Bool

max :: CharSet -> CharSet -> CharSet

min :: CharSet -> CharSet -> CharSet

Show CharSet

Defined in RERE.CharSet

Methods

showsPrec :: Int -> CharSet -> ShowS

show :: CharSet -> String

showList :: [CharSet] -> ShowS

IsString CharSet

>>> "foobar" :: CharSet
"abfor"

Defined in RERE.CharSet

Methods

fromString :: String -> CharSet

Construction

empty :: CharSet

Empty character set.

universe :: CharSet

universe

>>> size universe
1114112

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

singleton :: Char -> CharSet

Singleton character set.

insert :: Char -> CharSet -> CharSet

Insert Char into CharSet.

union :: CharSet -> CharSet -> CharSet

Union of two CharSets.

intersection :: CharSet -> CharSet -> CharSet

Intersection of two CharSets

complement :: CharSet -> CharSet

Complement of a CharSet

difference :: CharSet -> CharSet -> CharSet

Difference of two CharSets.

Query

size :: CharSet -> Int

Size of CharSet

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

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

null :: CharSet -> Bool

Check whether CharSet is empty.

member :: Char -> CharSet -> Bool

Test whether character is in the set.

Conversions

fromList :: String -> CharSet

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

toList :: CharSet -> String

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

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

Convert from interval pairs.

>>> fromIntervalList []
""

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

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

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

Convert to interval list

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