Data.Digit.DDd

Documentation

module Data.Digit.DD

module Data.Digit.Dd

type DDd a = (DD a, Dd a)

parseDd :: (DDd d, CharParsing p) => p d

>>> parse (parseDd <* eof) "test" "D" :: Either ParseError HeXDigit
Right HeXDigitD

>>> parse parseDd "test" "Dxyz" :: Either ParseError HeXDigit
Right HeXDigitD

>>> parse (parseDd <* eof) "test" "d" :: Either ParseError HeXDigit
Right HeXDigitd

>>> parse parseDd "test" "dxyz" :: Either ParseError HeXDigit
Right HeXDigitd

>>> isn't _Right (parse parseDd "test" "xyz" :: Either ParseError HeXDigit)
True