| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Control.Monad.Trace.ErrorTrace
- data ErrorTrace t e = ErrorTrace {}
- _ErrorTrace :: (Choice p, Functor f) => p (ErrorTrace t e) (f (ErrorTrace t' e')) -> p (e, Seq t) (f (e', Seq t'))
- etError :: Functor f => (e -> f e') -> ErrorTrace t e -> f (ErrorTrace t e')
- etTrace :: Functor f => (Seq t -> f (Seq t')) -> ErrorTrace t e -> f (ErrorTrace t' e)
Documentation
data ErrorTrace t e Source
A datatype containing an error and its provenience.
Constructors
| ErrorTrace | |
Instances
| (Show t, Show e) => Show (ErrorTrace t e) |
_ErrorTrace :: (Choice p, Functor f) => p (ErrorTrace t e) (f (ErrorTrace t' e')) -> p (e, Seq t) (f (e', Seq t')) Source
An isomorphism ErrorTrace t e ≅ (e, Seq t)
etError :: Functor f => (e -> f e') -> ErrorTrace t e -> f (ErrorTrace t e') Source
A lens ErrorTrace t e → e
etTrace :: Functor f => (Seq t -> f (Seq t')) -> ErrorTrace t e -> f (ErrorTrace t' e) Source
A lens ErrorTrace t e → Seq t