Data.Digit.D9

Documentation

class D9 d where

Minimal complete definition

d9

Methods

d9 :: Prism' d ()

x9 :: d

Instances

D9 ()

Methods

d9 :: Prism' () ()

x9 :: ()

D9 Digit

Methods

d9 :: Prism' Digit ()

x9 :: Digit

parse9 :: (D9 d, CharParsing p) => p d

>>> parse (parse9 <* eof) "test" "9" :: Either ParseError Digit
Right 9

>>> parse parse9 "test" "9xyz" :: Either ParseError Digit
Right 9

>>> isn't _Right (parse parse9 "test" "xyz" :: Either ParseError Digit)
True

\c -> c /= '9' ==> isn't _Right (parse parse9 "test" [c] :: Either ParseError Digit)