Data.Digit.Class.D4

Documentation

class D4 d where

Minimal complete definition

d4

Methods

d4 :: Prism' d ()

x4 :: d

Instances

D4 ()

Defined in Data.Digit.Class.D4

Methods

d4 :: Prism' () ()

x4 :: ()

D4 DecDigit

Defined in Data.Digit.Decimal

Methods

d4 :: Prism' DecDigit ()

x4 :: DecDigit

D4 HexDigit

Defined in Data.Digit.Hexadecimal.LowerCase

Methods

d4 :: Prism' HexDigit ()

x4 :: HexDigit

D4 HeXDigit

Defined in Data.Digit.Hexadecimal.MixedCase

Methods

d4 :: Prism' HeXDigit ()

x4 :: HeXDigit

D4 HEXDigit

Defined in Data.Digit.Hexadecimal.UpperCase

Methods

d4 :: Prism' HEXDigit ()

x4 :: HEXDigit

D4 OctDigit

Defined in Data.Digit.Octal

Methods

d4 :: Prism' OctDigit ()

x4 :: OctDigit

parse4 :: (D4 d, CharParsing p) => p d

>>> parse (parse4 <* eof) "test" "4" :: Either ParseError DecDigit
Right DecDigit4

>>> parse parse4 "test" "4xyz" :: Either ParseError DecDigit
Right DecDigit4

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