Sasha.TTH

SaTTH, staged Sasha the lexer.

type SaTTH tag = [(Code Q tag, ERE)]

Lexer grammar specification: tag codes and regular expressions.

satth :: forall tag. SaTTH tag -> Code Q (ByteString -> Maybe (tag, ByteString, ByteString))

Generate a scanner code.

ERE specification

data ERE

Extended regular expression

Instances

Arbitrary ERE

Uses smart constructors.

Defined in Sasha.Internal.ERE

Methods

arbitrary :: Gen ERE

shrink :: ERE -> [ERE]

IsString ERE

Uses utf8string.

Defined in Sasha.Internal.ERE

Methods

fromString :: String -> ERE

Monoid ERE

Defined in Sasha.Internal.ERE

Methods

mempty :: ERE

mappend :: ERE -> ERE -> ERE

mconcat :: [ERE] -> ERE

Semigroup ERE

Defined in Sasha.Internal.ERE

Methods

(<>) :: ERE -> ERE -> ERE

sconcat :: NonEmpty ERE -> ERE

stimes :: Integral b => b -> ERE -> ERE

Show ERE

Defined in Sasha.Internal.ERE

Methods

showsPrec :: Int -> ERE -> ShowS

show :: ERE -> String

showList :: [ERE] -> ShowS

Eq ERE

Defined in Sasha.Internal.ERE

Methods

(==) :: ERE -> ERE -> Bool

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

Ord ERE

Defined in Sasha.Internal.ERE

Methods

compare :: ERE -> ERE -> Ordering

(<) :: ERE -> ERE -> Bool

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

(>) :: ERE -> ERE -> Bool

(>=) :: ERE -> ERE -> Bool

max :: ERE -> ERE -> ERE

min :: ERE -> ERE -> ERE

BoundedJoinSemiLattice ERE

Defined in Sasha.Internal.ERE

Methods

bottom :: ERE

BoundedMeetSemiLattice ERE

Defined in Sasha.Internal.ERE

Methods

top :: ERE

Lattice ERE

Defined in Sasha.Internal.ERE

Methods

(\/) :: ERE -> ERE -> ERE

(/\) :: ERE -> ERE -> ERE

empty :: ERE

Empty regex. Doesn't accept anything.

match empty s === False

eps :: ERE

Empty string. Note: different than empty.

match eps s === null s

char :: Word8 -> ERE

Character.

charRange :: Word8 -> Word8 -> ERE

Character range.

utf8Char :: Char -> ERE

UTF8 character, i.e. may match multiple bytes.

anyChar :: ERE

Any character.

anyUtf8Char :: ERE

appends :: [ERE] -> ERE

Concatenate regular expressions.

r <> empty === empty

empty <>  r === empty

( r <> s) <> t === r <> (s <> t)

r <> eps === r

eps <>  r === r

unions :: [ERE] -> ERE

Union of regular expressions.

r \/ r === r

r \/ s === s \/ r

( r \/ s) \/ t === r \/ (s \/ t)

empty \/  r === r

r \/ empty === r

everything \/  r === everything

r \/ everything === everything

intersections :: [ERE] -> ERE

Intersection of regular expressions.

r /\ r === r

r /\ s === s /\ r

( r /\ s) /\ t === r /\ (s /\ t)

empty /\  r === empty

r /\ empty === empty

everything /\  r === r

r /\ everything === r

star :: ERE -> ERE

Kleene star.

star (star r) === star ( r)

star eps     ===  eps

star empty   ===  eps

star anyChar ===  everything

star (r \/ eps) === star r

star (char c \/ eps) === star (char c)

star (empty \/ eps) === eps

plus :: ERE -> ERE

Kleene plus

plus r = r <> star r

string :: [Word8] -> ERE

Literal string.

utf8String :: String -> ERE

UTF8 string

complement :: ERE -> ERE

Complement.

complement (complement r) ===  r

satisfy :: (Word8 -> Bool) -> ERE

digit :: ERE