Control.Monad.Trace.ErrorTrace

Documentation

data ErrorTrace t e

A datatype containing an error and its provenience(s).

Constructors

ErrorTrace

Fields

_etError :: !e

The error

_etTrace :: ![Seq t]

The list of traces (for each path tried)

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)

etError :: Functor f => (e -> f e') -> ErrorTrace t e -> f (ErrorTrace t e')

A lens ErrorTrace t e → e.

etTrace :: Functor f => ([Seq t] -> f [Seq t']) -> ErrorTrace t e -> f (ErrorTrace t' e)

A lens ErrorTrace t e → Seq t.