Data.Digit.Class.D1

Documentation

class D1 d where

Minimal complete definition

d1

Methods

d1 :: Prism' d ()

x1 :: d

Instances

D1 ()

Defined in Data.Digit.Class.D1

Methods

d1 :: Prism' () ()

x1 :: ()

D1 BinDigit

Defined in Data.Digit.Binary

Methods

d1 :: Prism' BinDigit ()

x1 :: BinDigit

D1 DecDigit

Defined in Data.Digit.Decimal

Methods

d1 :: Prism' DecDigit ()

x1 :: DecDigit

D1 HexDigit

Defined in Data.Digit.Hexadecimal.LowerCase

Methods

d1 :: Prism' HexDigit ()

x1 :: HexDigit

D1 HeXDigit

Defined in Data.Digit.Hexadecimal.MixedCase

Methods

d1 :: Prism' HeXDigit ()

x1 :: HeXDigit

D1 HEXDigit

Defined in Data.Digit.Hexadecimal.UpperCase

Methods

d1 :: Prism' HEXDigit ()

x1 :: HEXDigit

D1 OctDigit

Defined in Data.Digit.Octal

Methods

d1 :: Prism' OctDigit ()

x1 :: OctDigit

parse1 :: (D1 d, CharParsing p) => p d

>>> parse (parse1 <* eof) "test" "1" :: Either ParseError BinDigit
Right BinDigit1

>>> parse parse1 "test" "1xyz" :: Either ParseError BinDigit
Right BinDigit1

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