| 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(s).
Constructors
| ErrorTrace | |
Instances
| (Show t, Show e) => Show (ErrorTrace t e) | |
| Generic (ErrorTrace t e) | |
| Monoid e => Monoid (ErrorTrace t e) | |
| (NFData t, NFData e) => NFData (ErrorTrace t e) | |
| Typeable (* -> * -> *) ErrorTrace | |
| type Rep (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