Agda.Syntax.Parser.Alex
data AlexInput
lensLexInput
alexInputPrevChar
alexGetChar
alexGetByte
type LexAction r
type LexPredicate
(.&&.)
(.||.)
not'
type PreviousInput
type CurrentInput
type TokenLength
getLexInput
setLexInput