TParsec.Lexer.LexParameters

Tok : (rec : LexParameters) -> Type

breaking : (rec : LexParameters) -> Char -> MaybeBreaking (Tok rec)

default : (rec : LexParameters) -> String -> Tok rec

keywords : (rec : LexParameters) -> List (String, Tok rec)