Text.Tokenizer.BlackWhiteSet

This module contains auxillary set structure to store effectively small sets of symbols and complementary to them

Documentation

data BlackWhiteSet c

Select some "white set" of available elements or "black set" of forbidden ones

Constructors

BlackSet (Set c)

WhiteSet (Set c)

Instances

Eq c => Eq (BlackWhiteSet c)

Defined in Text.Tokenizer.BlackWhiteSet

Methods

(==) :: BlackWhiteSet c -> BlackWhiteSet c -> Bool

(/=) :: BlackWhiteSet c -> BlackWhiteSet c -> Bool

Ord c => Ord (BlackWhiteSet c)

Defined in Text.Tokenizer.BlackWhiteSet

Methods

compare :: BlackWhiteSet c -> BlackWhiteSet c -> Ordering

(<) :: BlackWhiteSet c -> BlackWhiteSet c -> Bool

(<=) :: BlackWhiteSet c -> BlackWhiteSet c -> Bool

(>) :: BlackWhiteSet c -> BlackWhiteSet c -> Bool

(>=) :: BlackWhiteSet c -> BlackWhiteSet c -> Bool

max :: BlackWhiteSet c -> BlackWhiteSet c -> BlackWhiteSet c

min :: BlackWhiteSet c -> BlackWhiteSet c -> BlackWhiteSet c

Show c => Show (BlackWhiteSet c)

Defined in Text.Tokenizer.BlackWhiteSet

Methods

showsPrec :: Int -> BlackWhiteSet c -> ShowS

show :: BlackWhiteSet c -> String

showList :: [BlackWhiteSet c] -> ShowS

Some simple utilities to work with BlackWhiteSet

singleton :: c -> BlackWhiteSet c

Make a BlackWhiteSet containing only one symbol

intersection :: Ord c => BlackWhiteSet c -> BlackWhiteSet c -> BlackWhiteSet c

Intersect two BlackWhiteSets.

isEmpty :: BlackWhiteSet c -> Bool

Check if BlackWhiteSet is empty

NB! number of all elements assumed to be too large, so BlackSet is never supposed to be empty

member :: Ord c => c -> BlackWhiteSet c -> Bool

Check if symbol is a member of a BlackWhiteSet

>>> member 'a' (WhiteSet (S.fromList ['a', 'b']))
True

>>> member 'a' (BlackSet (S.fromList ['a', 'b']))
False