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 Digit

Methods

dA :: Prism' Digit ()

xA :: Digit

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

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

>>> parse parseA "test" "Axyz" :: Either ParseError Digit
Right A

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

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