Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
- 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.
(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