Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | ekmett@gmail.com |
Safe Haskell | None |
Results and Parse Errors
- data Result a
- class AsResult p f s t a b | s -> a, t -> b, s b -> t, t a -> s where
- _Result :: Overloaded p f s t (Result a) (Result b)
- _Success :: (AsResult p f s t a b, Choice p, Applicative f) => Overloaded p f s t a b
- _Failure :: (AsResult p f s s a a, Choice p, Applicative f) => Overloaded' p f s Doc
- data Err = Err {}
- class HasErr t where
- explain :: Rendering -> Err -> Doc
- failed :: String -> Err
Parse Results
The result of parsing. Either we succeeded or something went wrong.
class AsResult p f s t a b | s -> a, t -> b, s b -> t, t a -> s whereSource
_Result :: Overloaded p f s t (Result a) (Result b)Source
_Success :: (AsResult p f s t a b, Choice p, Applicative f) => Overloaded p f s t a bSource
_Failure :: (AsResult p f s s a a, Choice p, Applicative f) => Overloaded' p f s DocSource
Parsing Errors
This is used to report an error. What went wrong, some supplemental docs and a set of things expected at the current location. This does not, however, include the actual location.