Type.Regex.CST

data Regex

data Nil :: Regexdata Nil

Empty Regex

data Wildcard :: Regexdata Wildcard

.

data RegexCharClass :: CharClass -> Boolean -> Regexdata RegexCharClass t0 t1

[a-z123]

data Lit :: Char' -> Regexdata Lit t0

data Quote :: Char' -> Regexdata Quote t0

\\a

data EndOfStr :: Regexdata EndOfStr

$

data StartOfStr :: Regexdata StartOfStr

^

data Optional :: Regex -> Regexdata Optional t0

?

data OneOrMore :: Regex -> Regexdata OneOrMore t0

+

data Many :: Regex -> Regexdata Many t0

*

data Group :: Regex -> Regexdata Group t0

( .. )

data Cat :: Regex -> Regex -> Regexdata Cat t0 t1

ab

data Alt :: Regex -> Regex -> Regexdata Alt t0 t1

|

Operator alias for Type.Regex.CST.Cat (right-associative / precedence 6)

data CharClass

data CharClassNil :: CharClassdata CharClassNil

data CharClassLit :: Char' -> CharClass -> CharClassdata CharClassLit t0 t1

data CharClassRange :: Char' -> Char' -> CharClass -> CharClassdata CharClassRange t0 t1 t2