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 a => DD (DigitD a)

Methods

dD :: Prism' (DigitD a) ()

xD :: DigitD a

DD d => DD (Either d x)

Methods

dD :: Prism' (Either d x) ()

xD :: Either d x

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

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

>>> parse parseD "test" "Dxyz" :: Either ParseError (DigitD ())
Right (DigitD ())

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

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