Data.Digit.Class.D0

Documentation

class D0 d where

Minimal complete definition

d0

Methods

d0 :: Prism' d ()

x0 :: d

Instances

D0 ()

Defined in Data.Digit.Class.D0

Methods

d0 :: Prism' () ()

x0 :: ()

D0 BinDigit

Defined in Data.Digit.Binary

Methods

d0 :: Prism' BinDigit ()

x0 :: BinDigit

D0 DecDigit

Defined in Data.Digit.Decimal

Methods

d0 :: Prism' DecDigit ()

x0 :: DecDigit

D0 HexDigit

Defined in Data.Digit.Hexadecimal.LowerCase

Methods

d0 :: Prism' HexDigit ()

x0 :: HexDigit

D0 HeXDigit

Defined in Data.Digit.Hexadecimal.MixedCase

Methods

d0 :: Prism' HeXDigit ()

x0 :: HeXDigit

D0 HEXDigit

Defined in Data.Digit.Hexadecimal.UpperCase

Methods

d0 :: Prism' HEXDigit ()

x0 :: HEXDigit

D0 OctDigit

Defined in Data.Digit.Octal

Methods

d0 :: Prism' OctDigit ()

x0 :: OctDigit

parse0 :: (D0 d, CharParsing p) => p d

>>> parse (parse0 <* eof) "test" "0" :: Either ParseError BinDigit
Right BinDigit0

>>> parse parse0 "test" "0xyz" :: Either ParseError BinDigit
Right BinDigit0

>>> isn't _Right (parse parse0 "test" "xyz" :: Either ParseError BinDigit)
True