Agda.Syntax.Parser.Alex

Alex requirements

data AlexInput

Lex actions

type LexAction r

Monad operations