Safe Haskell	None
Language	Haskell2010

Data.Digit.DF

Synopsis

Documentation

class DF d where Source #

Minimal complete definition

Methods

Instances

DF () Source #
Methods dF :: Prism' () () Source # xF :: () Source #
DF a => DF (DigitF a) Source #
Methods dF :: Prism' (DigitF a) () Source # xF :: DigitF a Source #
DF d => DF (Either d x) Source #
Methods dF :: Prism' (Either d x) () Source # xF :: Either d x Source #

>>> parse (parseF <* eof) "test" "F" :: Either ParseError (DigitF ())
Right (DigitF ())

>>> parse parseF "test" "Fxyz" :: Either ParseError (DigitF ())
Right (DigitF ())

>>> isn't _Right (parse parseF "test" "xyz" :: Either ParseError (DigitF ()))
True

\c -> c /= 'F' ==> isn't _Right (parse parseF "test" [c] :: Either ParseError (DigitF ()))