Data.Digit.DC

Documentation

class DC d where

Minimal complete definition

dC

Methods

dC :: Prism' d ()

xC :: d

Instances

DC ()

Methods

dC :: Prism' () ()

xC :: ()

DC Digit

Methods

dC :: Prism' Digit ()

xC :: Digit

parseC :: (DC d, CharParsing p) => p d

>>> parse (parseC <* eof) "test" "C" :: Either ParseError Digit
Right C

>>> parse parseC "test" "Cxyz" :: Either ParseError Digit
Right C

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

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