Agda.Utils.ReadP

The ReadP type

data ReadP t a

Primitive operations

Parse

Other operations

Properties