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 Digit

Methods

dF :: Prism' Digit ()

xF :: Digit

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

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

>>> parse parseF "test" "Fxyz" :: Either ParseError Digit
Right F

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

\c -> c /= 'F' ==> isn't _Right (parse parseF "test" [c] :: Either ParseError Digit)