Data.Digit.DD

Documentation

class DD d where

Minimal complete definition

dD

Methods

dD :: Prism' d ()

xD :: d

Instances

DD ()

Methods

dD :: Prism' () ()

xD :: ()

DD Digit

Methods

dD :: Prism' Digit ()

xD :: Digit

parseD :: (DD d, CharParsing p) => p d

>>> parse (parseD <* eof) "test" "D" :: Either ParseError Digit
Right D

>>> parse parseD "test" "Dxyz" :: Either ParseError Digit
Right D

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

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