Data.Digit.DA

Documentation

class DA d where

Minimal complete definition

dA

Methods

dA :: Prism' d ()

xA :: d

Instances

DA ()

Methods

dA :: Prism' () ()

xA :: ()

DA a => DA (DigitA a)

Methods

dA :: Prism' (DigitA a) ()

xA :: DigitA a

DA d => DA (Either d x)

Methods

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

xA :: Either d x

parseA :: (DA d, CharParsing p) => p d

>>> parse (parseA <* eof) "test" "A" :: Either ParseError (DigitA ())
Right (DigitA ())

>>> parse parseA "test" "Axyz" :: Either ParseError (DigitA ())
Right (DigitA ())

>>> isn't _Right (parse parseA "test" "xyz" :: Either ParseError (DigitA ()))
True

\c -> c /= 'A' ==> isn't _Right (parse parseA "test" [c] :: Either ParseError (DigitA ()))