Agda.Utils.Parser.MemoisedCPS

class ParserClass p k r tok

sat

token

tok

doc

type DocP

bindP

choiceP

seqP

starP

atomP

data Parser k r tok a

data ParserWithGrammar k r tok a