Data.Digit.Class.D9

Documentation

class D9 d where

Minimal complete definition

d9

Methods

d9 :: Prism' d ()

x9 :: d

Instances

D9 ()

Defined in Data.Digit.Class.D9

Methods

d9 :: Prism' () ()

x9 :: ()

D9 DecDigit

Defined in Data.Digit.Decimal

Methods

d9 :: Prism' DecDigit ()

x9 :: DecDigit

D9 HexDigit

Defined in Data.Digit.Hexadecimal.LowerCase

Methods

d9 :: Prism' HexDigit ()

x9 :: HexDigit

D9 HeXDigit

Defined in Data.Digit.Hexadecimal.MixedCase

Methods

d9 :: Prism' HeXDigit ()

x9 :: HeXDigit

D9 HEXDigit

Defined in Data.Digit.Hexadecimal.UpperCase

Methods

d9 :: Prism' HEXDigit ()

x9 :: HEXDigit

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

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

>>> parse parse9 "test" "9xyz" :: Either ParseError DecDigit
Right DecDigit9

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