Data.Digit.D4

Documentation

class D4 d where

Minimal complete definition

d4

Methods

d4 :: Prism' d ()

x4 :: d

Instances

D4 ()

Methods

d4 :: Prism' () ()

x4 :: ()

D4 a => D4 (Digit4 a)

Methods

d4 :: Prism' (Digit4 a) ()

x4 :: Digit4 a

D4 d => D4 (Either d x)

Methods

d4 :: Prism' (Either d x) ()

x4 :: Either d x

parse4 :: (D4 d, CharParsing p) => p d

>>> parse (parse4 <* eof) "test" "4" :: Either ParseError (Digit4 ())
Right (Digit4 ())

>>> parse parse4 "test" "4xyz" :: Either ParseError (Digit4 ())
Right (Digit4 ())

>>> isn't _Right (parse parse4 "test" "xyz" :: Either ParseError (Digit4 ()))
True 

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