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 #

An error and (optionally) what caused it.

Constructors

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

Instances

Instances details

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