Data.Digit.D6

Documentation

class D6 d where

Minimal complete definition

d6

Methods

d6 :: Prism' d ()

x6 :: d

Instances

D6 ()

Methods

d6 :: Prism' () ()

x6 :: ()

D6 a => D6 (Digit6 a)

Methods

d6 :: Prism' (Digit6 a) ()

x6 :: Digit6 a

D6 d => D6 (Either d x)

Methods

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

x6 :: Either d x

parse6 :: (D6 d, CharParsing p) => p d

>>> parse (parse6 <* eof) "test" "6" :: Either ParseError (Digit6 ())
Right (Digit6 ())

>>> parse parse6 "test" "6xyz" :: Either ParseError (Digit6 ())
Right (Digit6 ())

>>> isn't _Right (parse parse6 "test" "xyz" :: Either ParseError (Digit6 ()))
True

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