Agda.Utils.Parser.ReadP

The ReadP type

data ReadP t a

Primitive operations

get

look

(+++)

(<++)

gather

Parse

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