Data.Digit.D7

Documentation

class D7 d where

Minimal complete definition

d7

Methods

d7 :: Prism' d ()

x7 :: d

Instances

D7 ()

Methods

d7 :: Prism' () ()

x7 :: ()

D7 Digit

Methods

d7 :: Prism' Digit ()

x7 :: Digit

parse7 :: (D7 d, CharParsing p) => p d

>>> parse (parse7 <* eof) "test" "7" :: Either ParseError Digit
Right 7

>>> parse parse7 "test" "7xyz" :: Either ParseError Digit
Right 7

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

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