Agda.Syntax.Parser.Alex
Alex requirements
data
AlexInput
alexInputPrevChar
alexGetChar
Lex actions
type
LexAction
r
type
LexPredicate
(.&&.)
(.||.)
not'
type
PreviousInput
type
CurrentInput
type
TokenLength
Monad operations
getLexInput
setLexInput