Data.Digit.DAa

Documentation

type DAa a = (DA a, Da a)

parseAa :: (DAa d, CharParsing p) => p d

>>> parse (parseAa <* eof) "test" "A" :: Either ParseError Digit
Right A

>>> parse parseAa "test" "Axyz" :: Either ParseError Digit
Right A

>>> parse (parseAa <* eof) "test" "a" :: Either ParseError Digit
Right a

>>> parse parseAa "test" "axyz" :: Either ParseError Digit
Right a

>>> isn't _Right (parse parseAa "test" "xyz" :: Either ParseError Digit)
True

\c -> (c `notElem` "Aa") ==> isn't _Right (parse parseAa "test" [c] :: Either ParseError Digit)