Data.Digit.Da

Documentation

class Da d where

Minimal complete definition

da

Methods

da :: Prism' d ()

xa :: d

Instances

Da ()

Methods

da :: Prism' () ()

xa :: ()

Da HeXDigit

Methods

da :: Prism' HeXDigit ()

xa :: HeXDigit

Da HexDigit

Methods

da :: Prism' HexDigit ()

xa :: HexDigit

parsea :: (Da d, CharParsing p) => p d

>>> parse (parsea <* eof) "test" "a" :: Either ParseError HexDigit
Right HexDigita

>>> parse parsea "test" "axyz" :: Either ParseError HexDigit
Right HexDigita

>>> isn't _Right (parse parsea "test" "xyz" :: Either ParseError HexDigit)
True