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)