digit-0.4.0: A data-type representing digits 0-9 and other combinations

Safe HaskellNone
LanguageHaskell2010

Data.Digit.DCc

Synopsis

Documentation

type DCc a = (DC a, Dc a) Source #

parseCc :: (DCc d, CharParsing p) => p d Source #

>>> parse (parseCc <* eof) "test" "C" :: Either ParseError (HeXaDeCiMaLDigit' ())
Right (Left ())
>>> parse (parseCc <* eof) "test" "c" :: Either ParseError (HeXaDeCiMaLDigit' ())
Right (Left ())
>>> parse parseCc "test" "Cxyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
Right (Left ())
>>> parse parseCc "test" "cxyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
Right (Left ())
>>> isn't _Right (parse parseCc "test" "xyz" :: Either ParseError (HeXaDeCiMaLDigit' ()))
True
\c -> (c `notElem` "Cc") ==> isn't _Right (parse parseCc "test" [c] :: Either ParseError (HeXaDeCiMaLDigit' ()))