TyRE.StringRE

Reexports

Definitions

data Token : Type

Totality: total
Visibility: public export
Constructors:

OParQ : Token

CParQ : Token

OPar : Token

CPar : Token

Dot : Token

BackTic : Token

Dash : Token

Star : Token

Plus : Token

QMark : Token

Alt : Token

Exclamation : Token

CharLit : String -> Token

End : Token

reCharLit : Lexer

  character literal:
    c -- for non special characters
    \c -- can be for both special and non special characters

Visibility: public export

reTokenMap : TokenMap Token

Visibility: public export

Rule : Type -> Type

Visibility: public export

openParQ : Rule ()

Visibility: public export

closedParQ : Rule ()

Visibility: public export

openPar : Rule ()

Visibility: public export

closedPar : Rule ()

Visibility: public export

backTic : Rule ()

Visibility: public export

dash : Rule ()

Visibility: public export

dot : Rule ()

Visibility: public export

star : Rule ()

Visibility: public export

plus : Rule ()

Visibility: public export

qMark : Rule ()

Visibility: public export

alt : Rule ()

Visibility: public export

end : Rule ()

Visibility: public export

exclamation : Rule ()

Visibility: public export

getCharLit : TokenData Token -> Maybe Char

Visibility: public export

charLit : Rule Char

Visibility: public export

charLitsRep : Rule (List Char)

Visibility: public export

oneOf : Rule RE

Visibility: public export

range : Rule RE

Visibility: public export

exactly : Rule RE

Visibility: public export

any : Rule RE

Visibility: public export

mapRE : RE -> Maybe (RE -> RE) -> RE

Visibility: public export

unit : Rule RE

Visibility: public export

postUnit : Rule (RE -> RE)

Visibility: public export

semiUnit : Rule RE

Visibility: public export

postSemiUnit : Rule (RE -> RE)

Visibility: public export

fullRE : Rule RE

Visibility: public export

reWithEnd : Rule RE

Visibility: public export

mapTokens : (List (TokenData Token), (Int, (Int, String))) -> List (TokenData Token)

Visibility: public export

rAux : String -> Maybe RE

Visibility: public export

toRE : (str : String) -> IsJust (rAux str) => RE

Visibility: public export

r : (str : String) -> {auto isJust : IsJust (rAux str)} -> TyRE (TypeRE (toRE str))

Visibility: public export