Data.Digit.DB

Documentation

class DB d where

Minimal complete definition

dB

Methods

dB :: Prism' d ()

xB :: d

Instances

DB ()

Methods

dB :: Prism' () ()

xB :: ()

DB Digit

Methods

dB :: Prism' Digit ()

xB :: Digit

parseB :: (DB d, CharParsing p) => p d

>>> parse (parseB <* eof) "test" "B" :: Either ParseError Digit
Right B

>>> parse parseB "test" "Bxyz" :: Either ParseError Digit
Right B

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

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