Agda.Utils.ReadP
The
ReadP
type
data
ReadP
t a
Primitive operations
get
look
(+++)
(<++)
gather
Parse
parse
Other operations
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
Properties