Data.Digit.De

Documentation

class De d where

Minimal complete definition

de

Methods

de :: Prism' d ()

xe :: d

Instances

De ()

Methods

de :: Prism' () ()

xe :: ()

De Digit

Methods

de :: Prism' Digit ()

xe :: Digit

parsee :: (De d, CharParsing p) => p d

>>> parse (parsee <* eof) "test" "e" :: Either ParseError Digit
Right e

>>> parse parsee "test" "exyz" :: Either ParseError Digit
Right e

>>> isn't _Right (parse parsee "test" "xyz" :: Either ParseError Digit)
True

\c -> c /= 'e' ==> isn't _Right (parse parsee "test" [c] :: Either ParseError Digit)