Agda.Utils.Parser.ReadP
ReadP
data ReadP t a
get
look
(+++)
(<++)
gather
parse
parse'
pfail
satisfy
char
string
munch
munch1
skipSpaces
choice
count
between
option
optional
many
many1
skipMany
skipMany1
sepBy
sepBy1
endBy
endBy1
chainr
chainl
chainl1
chainr1
manyTill