Data.Digit.DF

Documentation

class DF d where

Minimal complete definition

dF

Methods

dF :: Prism' d ()

xF :: d

Instances

DF ()

Methods

dF :: Prism' () ()

xF :: ()

DF HEXDigit

Methods

dF :: Prism' HEXDigit ()

xF :: HEXDigit

DF HeXDigit

Methods

dF :: Prism' HeXDigit ()

xF :: HeXDigit

parseF :: (DF d, CharParsing p) => p d

>>> parse (parseF <* eof) "test" "F" :: Either ParseError HEXDigit
Right HEXDigitF

>>> parse parseF "test" "Fxyz" :: Either ParseError HEXDigit
Right HEXDigitF

>>> isn't _Right (parse parseF "test" "xyz" :: Either ParseError HEXDigit)
True