Safe Haskell	None
Language	Haskell2010

Data.Digit.De

Synopsis

Documentation

class De d where Source #

Minimal complete definition

Methods

Instances

De () Source #
Methods de :: Prism' () () Source # xe :: () Source #
De a => De (Digite a) Source #
Methods de :: Prism' (Digite a) () Source # xe :: Digite a Source #
De d => De (Either d x) Source #
Methods de :: Prism' (Either d x) () Source # xe :: Either d x Source #

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

>>> parse parsee "test" "exyz" :: Either ParseError (Digite ())
Right (Digite ())

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

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