Data.Digit.D5

Documentation

class D5 d where

Minimal complete definition

d5

Methods

d5 :: Prism' d ()

x5 :: d

Instances

D5 ()

Methods

d5 :: Prism' () ()

x5 :: ()

D5 Digit

Methods

d5 :: Prism' Digit ()

x5 :: Digit

parse5 :: (D5 d, CharParsing p) => p d

>>> parse (parse5 <* eof) "test" "5" :: Either ParseError Digit
Right 5

>>> parse parse5 "test" "5xyz" :: Either ParseError Digit
Right 5

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

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