Data.Digit.DE

Documentation

class DE d where

Minimal complete definition

dE

Methods

dE :: Prism' d ()

xE :: d

Instances

DE ()

Methods

dE :: Prism' () ()

xE :: ()

DE a => DE (DigitE a)

Methods

dE :: Prism' (DigitE a) ()

xE :: DigitE a

DE d => DE (Either d x)

Methods

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

xE :: Either d x

parseE :: (DE d, CharParsing p) => p d

>>> parse (parseE <* eof) "test" "E" :: Either ParseError (DigitE ())
Right (DigitE ())

>>> parse parseE "test" "Exyz" :: Either ParseError (DigitE ())
Right (DigitE ())

>>> isn't _Right (parse parseE "test" "xyz" :: Either ParseError (DigitE ()))
True

\c -> c /= 'E' ==> isn't _Right (parse parseE "test" [c] :: Either ParseError (DigitE ()))