Safe Haskell	None
Language	Haskell2010

Data.Digit.DB

Synopsis

Documentation

class DB d where Source #

Minimal complete definition

Methods

Instances

DB () Source #
Methods dB :: Prism' () () Source # xB :: () Source #
DB a => DB (DigitB a) Source #
Methods dB :: Prism' (DigitB a) () Source # xB :: DigitB a Source #
DB d => DB (Either d x) Source #
Methods dB :: Prism' (Either d x) () Source # xB :: Either d x Source #

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

>>> parse parseB "test" "Bxyz" :: Either ParseError (DigitB ())
Right (DigitB ())

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

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