Data.Digit.Dc

Documentation

class Dc d where

Minimal complete definition

dc

Methods

dc :: Prism' d ()

xc :: d

Instances

Dc ()

Methods

dc :: Prism' () ()

xc :: ()

Dc Digit

Methods

dc :: Prism' Digit ()

xc :: Digit

parsec :: (Dc d, CharParsing p) => p d

>>> parse (parsec <* eof) "test" "c" :: Either ParseError Digit
Right c

>>> parse parsec "test" "cxyz" :: Either ParseError Digit
Right c

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

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