Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Evaluation.ErrorWithCause

Synopsis

data ErrorWithCause err cause = ErrorWithCause {
- _ewcError ∷ !err
- _ewcCause ∷ !(Maybe cause)
}
throwErrorWithCause ∷ MonadError (ErrorWithCause e cause) m ⇒ e → cause → m x

Documentation

data ErrorWithCause err cause Source #

An error and (optionally) what caused it.

Constructors

ErrorWithCause
Fields _ewcError ∷ !err _ewcCause ∷ !(Maybe cause)

Instances

Instances details

Bifunctor ErrorWithCause Source #
Instance details Defined in PlutusCore.Evaluation.ErrorWithCause Methods bimap ∷ (a → b) → (c → d) → ErrorWithCause a c → ErrorWithCause b d Source # first ∷ (a → b) → ErrorWithCause a c → ErrorWithCause b c Source # second ∷ (b → c) → ErrorWithCause a b → ErrorWithCause a c Source #
(PrettyBy config cause, PrettyBy config err) ⇒ PrettyBy config (ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.ErrorWithCause Methods prettyBy ∷ config → ErrorWithCause err cause → Doc ann Source # prettyListBy ∷ config → [ErrorWithCause err cause] → Doc ann Source #
Foldable (ErrorWithCause err) Source #
Instance details Defined in PlutusCore.Evaluation.ErrorWithCause Methods fold ∷ Monoid m ⇒ ErrorWithCause err m → m Source # foldMap ∷ Monoid m ⇒ (a → m) → ErrorWithCause err a → m Source # foldMap' ∷ Monoid m ⇒ (a → m) → ErrorWithCause err a → m Source # foldr ∷ (a → b → b) → b → ErrorWithCause err a → b Source # foldr' ∷ (a → b → b) → b → ErrorWithCause err a → b Source # foldl ∷ (b → a → b) → b → ErrorWithCause err a → b Source # foldl' ∷ (b → a → b) → b → ErrorWithCause err a → b Source # foldr1 ∷ (a → a → a) → ErrorWithCause err a → a Source # foldl1 ∷ (a → a → a) → ErrorWithCause err a → a Source # toList ∷ ErrorWithCause err a → [a] Source # null ∷ ErrorWithCause err a → Bool Source # length ∷ ErrorWithCause err a → Int Source # elem ∷ Eq a ⇒ a → ErrorWithCause err a → Bool Source # maximum ∷ Ord a ⇒ ErrorWithCause err a → a Source # minimum ∷ Ord a ⇒ ErrorWithCause err a → a Source # sum ∷ Num a ⇒ ErrorWithCause err a → a Source # product ∷ Num a ⇒ ErrorWithCause err a → a Source #
Traversable (ErrorWithCause err) Source #
Instance details Defined in PlutusCore.Evaluation.ErrorWithCause Methods traverse ∷ Applicative f ⇒ (a → f b) → ErrorWithCause err a → f (ErrorWithCause err b) Source # sequenceA ∷ Applicative f ⇒ ErrorWithCause err (f a) → f (ErrorWithCause err a) Source # mapM ∷ Monad m ⇒ (a → m b) → ErrorWithCause err a → m (ErrorWithCause err b) Source # sequence ∷ Monad m ⇒ ErrorWithCause err (m a) → m (ErrorWithCause err a) Source #
Functor (ErrorWithCause err) Source #
Instance details Defined in PlutusCore.Evaluation.ErrorWithCause Methods fmap ∷ (a → b) → ErrorWithCause err a → ErrorWithCause err b Source # (<$) ∷ a → ErrorWithCause err b → ErrorWithCause err a Source #
(PrettyPlc cause, PrettyPlc err, Typeable cause, Typeable err) ⇒ Exception (ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.ErrorWithCause Methods toException ∷ ErrorWithCause err cause → SomeException Source # fromException ∷ SomeException → Maybe (ErrorWithCause err cause) Source # displayException ∷ ErrorWithCause err cause → String Source #
Generic (ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.ErrorWithCause Associated Types type Rep (ErrorWithCause err cause) ∷ Type → Type Source # Methods from ∷ ErrorWithCause err cause → Rep (ErrorWithCause err cause) x Source # to ∷ Rep (ErrorWithCause err cause) x → ErrorWithCause err cause Source #
(PrettyPlc cause, PrettyPlc err) ⇒ Show (ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.ErrorWithCause Methods showsPrec ∷ Int → ErrorWithCause err cause → ShowS Source # show ∷ ErrorWithCause err cause → String Source # showList ∷ [ErrorWithCause err cause] → ShowS Source #
(NFData err, NFData cause) ⇒ NFData (ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.ErrorWithCause Methods rnf ∷ ErrorWithCause err cause → () Source #
(Eq err, Eq cause) ⇒ Eq (ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.ErrorWithCause Methods (==) ∷ ErrorWithCause err cause → ErrorWithCause err cause → Bool Source # (/=) ∷ ErrorWithCause err cause → ErrorWithCause err cause → Bool Source #
(Pretty err, Pretty cause) ⇒ Pretty (ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.ErrorWithCause Methods pretty ∷ ErrorWithCause err cause → Doc ann Source # prettyList ∷ [ErrorWithCause err cause] → Doc ann Source #
ThrowableBuiltins uni fun ⇒ MonadError (CekEvaluationException NamedDeBruijn uni fun) (CekM uni fun s) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods throwError ∷ CekEvaluationException NamedDeBruijn uni fun → CekM uni fun s a Source # catchError ∷ CekM uni fun s a → (CekEvaluationException NamedDeBruijn uni fun → CekM uni fun s a) → CekM uni fun s a Source #
type Rep (ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.ErrorWithCause type Rep (ErrorWithCause err cause) = D1 ('MetaData "ErrorWithCause" "PlutusCore.Evaluation.ErrorWithCause" "plutus-core-1.70.0.0-inplace" 'False) (C1 ('MetaCons "ErrorWithCause" 'PrefixI 'True) (S1 ('MetaSel ('Just "_ewcError") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 err) :*: S1 ('MetaSel ('Just "_ewcCause") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe cause))))

throwErrorWithCause ∷ MonadError (ErrorWithCause e cause) m ⇒ e → cause → m x Source #