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 (HeXaDeCiMaLDigit' ())
Right (Left ())

>>> parse (parseAa <* eof) "test" "a" :: Either ParseError (HeXaDeCiMaLDigit' ())
Right (Left ())

>>> parse parseAa "test" "Axyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
Right (Left ())

>>> parse parseAa "test" "axyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
Right (Left ())

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

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