TParsec.Lexer

Keywords : LexParameters -> Type

record LexParameters 

MkLexParameters : (Tok : Type) -> (keywords : List (String, Tok)) -> (breaking : Char -> MaybeBreaking Tok) -> (default : String -> Tok) -> LexParameters

Tok : (rec : LexParameters) -> Type

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

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

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

LexResult : LexParameters -> Type

data MaybeBreaking : Type -> Type

Breaking : Maybe tok -> MaybeBreaking tok

NotBreaking : MaybeBreaking tok

MkLexParameters : (Tok : Type) -> (keywords : List (String, Tok)) -> (breaking : Char -> MaybeBreaking Tok) -> (default : String -> Tok) -> LexParameters

break : Position -> Maybe (Tok p) -> LexResult p -> LexResult p

init : Keywords p

loop : (acc : (Position, List Char)) -> (toks : Keywords p) -> (pos : Position) -> (input : List Char) -> LexResult p

push : (Position, List Char) -> LexResult p -> LexResult p

read : Char -> Keywords p -> Keywords p

start : Position -> List Char -> LexResult p

tokenize : String -> LexResult p

value : Keywords p -> Maybe (Tok p)