Data.Digit.Class.D5

Documentation

class D5 d where

Minimal complete definition

d5

Methods

d5 :: Prism' d ()

x5 :: d

Instances

D5 ()

Defined in Data.Digit.Class.D5

Methods

d5 :: Prism' () ()

x5 :: ()

D5 DecDigit

Defined in Data.Digit.Decimal

Methods

d5 :: Prism' DecDigit ()

x5 :: DecDigit

D5 HexDigit

Defined in Data.Digit.Hexadecimal.LowerCase

Methods

d5 :: Prism' HexDigit ()

x5 :: HexDigit

D5 HeXDigit

Defined in Data.Digit.Hexadecimal.MixedCase

Methods

d5 :: Prism' HeXDigit ()

x5 :: HeXDigit

D5 HEXDigit

Defined in Data.Digit.Hexadecimal.UpperCase

Methods

d5 :: Prism' HEXDigit ()

x5 :: HEXDigit

D5 OctDigit

Defined in Data.Digit.Octal

Methods

d5 :: Prism' OctDigit ()

x5 :: OctDigit

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

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

>>> parse parse5 "test" "5xyz" :: Either ParseError DecDigit
Right DecDigit5

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