Data.Digit.DEe

Documentation

module Data.Digit.DE

module Data.Digit.De

type DEe a = (DE a, De a)

parseEe :: (DEe d, CharParsing p) => p d

>>> parse (parseEe <* eof) "test" "E" :: Either ParseError HeXDigit
Right HeXDigitE

>>> parse parseEe "test" "Exyz" :: Either ParseError HeXDigit
Right HeXDigitE

>>> parse (parseEe <* eof) "test" "e" :: Either ParseError HeXDigit
Right HeXDigite

>>> parse parseEe "test" "exyz" :: Either ParseError HeXDigit
Right HeXDigite

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