Data.Digit.Class.D7

Documentation

class D7 d where

Minimal complete definition

d7

Methods

d7 :: Prism' d ()

x7 :: d

Instances

D7 ()

Defined in Data.Digit.Class.D7

Methods

d7 :: Prism' () ()

x7 :: ()

D7 DecDigit

Defined in Data.Digit.Decimal

Methods

d7 :: Prism' DecDigit ()

x7 :: DecDigit

D7 HexDigit

Defined in Data.Digit.Hexadecimal.LowerCase

Methods

d7 :: Prism' HexDigit ()

x7 :: HexDigit

D7 HeXDigit

Defined in Data.Digit.Hexadecimal.MixedCase

Methods

d7 :: Prism' HeXDigit ()

x7 :: HeXDigit

D7 HEXDigit

Defined in Data.Digit.Hexadecimal.UpperCase

Methods

d7 :: Prism' HEXDigit ()

x7 :: HEXDigit

D7 OctDigit

Defined in Data.Digit.Octal

Methods

d7 :: Prism' OctDigit ()

x7 :: OctDigit

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

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

>>> parse parse7 "test" "7xyz" :: Either ParseError DecDigit
Right DecDigit7

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