Data.Digit.D1

Documentation

class D1 d where

Minimal complete definition

d1

Methods

d1 :: Prism' d ()

x1 :: d

Instances

D1 ()

Methods

d1 :: Prism' () ()

x1 :: ()

D1 a => D1 (Digit1 a)

Methods

d1 :: Prism' (Digit1 a) ()

x1 :: Digit1 a

D1 d => D1 (Either d x)

Methods

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

x1 :: Either d x

parse1 :: (D1 d, CharParsing p) => p d

>>> parse (parse1 <* eof) "test" "1" :: Either ParseError (Digit1 ())
Right (Digit1 ())

>>> parse parse1 "test" "1xyz" :: Either ParseError (Digit1 ())
Right (Digit1 ())

>>> isn't _Right (parse parse1 "test" "xyz" :: Either ParseError (Digit1 ()))
True

\c -> c /= '1' ==> isn't _Right (parse parse1 "test" [c] :: Either ParseError (Digit1 ()))