Data.Digit.DFf

Documentation

module Data.Digit.DF

module Data.Digit.Df

type DFf a = (DF a, Df a)

parseFf :: (DFf d, CharParsing p) => p d

>>> parse (parseFf <* eof) "test" "F" :: Either ParseError HeXDigit
Right HeXDigitF

>>> parse parseFf "test" "Fxyz" :: Either ParseError HeXDigit
Right HeXDigitF

>>> parse (parseFf <* eof) "test" "f" :: Either ParseError HeXDigit
Right HeXDigitf

>>> parse parseFf "test" "fxyz" :: Either ParseError HeXDigit
Right HeXDigitf

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