Data.Digit.D8

Documentation

class D8 d where

Minimal complete definition

d8

Methods

d8 :: Prism' d ()

x8 :: d

Instances

D8 ()

Methods

d8 :: Prism' () ()

x8 :: ()

D8 Digit

Methods

d8 :: Prism' Digit ()

x8 :: Digit

parse8 :: (D8 d, CharParsing p) => p d

>>> parse (parse8 <* eof) "test" "8" :: Either ParseError Digit
Right 8

>>> parse parse8 "test" "8xyz" :: Either ParseError Digit
Right 8

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

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