plutus-contract-1.1.0.0
Safe HaskellNone
LanguageHaskell2010

Plutus.Contract.Error

Synopsis

Documentation

data ContractError Source #

Constructors

WalletContractError WalletAPIError 
ChainIndexContractError Text ChainIndexResponse 
EmulatorAssertionContractError AssertionError 
ConstraintResolutionContractError MkTxError 
TxConstraintResolutionContractError MkTxError 
TxToCardanoConvertContractError ToCardanoError 
ResumableContractError MatchingError 
CCheckpointContractError CheckpointError 
EndpointDecodeContractError 

Fields

OtherContractError Text 

Instances

Instances details
Eq ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

(==) :: ContractError -> ContractError -> Bool Source #

(/=) :: ContractError -> ContractError -> Bool Source #

Show ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

showsPrec :: Int -> ContractError -> ShowS Source #

show :: ContractError -> String Source #

showList :: [ContractError] -> ShowS Source #

IsString ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

fromString :: String -> ContractError Source #

Generic ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

Associated Types

type Rep ContractError :: Type -> Type Source #

Methods

from :: ContractError -> Rep ContractError x Source #

to :: Rep ContractError x -> ContractError Source #

ToJSON ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

toJSON :: ContractError -> Value Source #

toEncoding :: ContractError -> Encoding Source #

toJSONList :: [ContractError] -> Value Source #

toEncodingList :: [ContractError] -> Encoding Source #

FromJSON ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

parseJSON :: Value -> Parser ContractError Source #

parseJSONList :: Value -> Parser [ContractError] Source #

Pretty ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

pretty :: ContractError -> Doc ann Source #

prettyList :: [ContractError] -> Doc ann Source #

AsCheckpointError ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

_CheckpointError :: Prism' ContractError CheckpointError Source #

_JSONDecodeError :: Prism' ContractError Text Source #

AsAssertionError ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

_AssertionError :: Prism' ContractError AssertionError Source #

_GenericAssertion :: Prism' ContractError Text Source #

AsContractError ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

_ContractError :: Prism' ContractError ContractError Source #

_WalletContractError :: Prism' ContractError WalletAPIError Source #

_ChainIndexContractError :: Prism' ContractError (Text, ChainIndexResponse) Source #

_EmulatorAssertionContractError :: Prism' ContractError AssertionError Source #

_ConstraintResolutionContractError :: Prism' ContractError MkTxError Source #

_TxConstraintResolutionContractError :: Prism' ContractError MkTxError Source #

_TxToCardanoConvertContractError :: Prism' ContractError ToCardanoError Source #

_ResumableContractError :: Prism' ContractError MatchingError Source #

_CCheckpointContractError :: Prism' ContractError CheckpointError Source #

_EndpointDecodeContractError :: Prism' ContractError (EndpointDescription, EndpointValue Value, Text) Source #

_OtherContractError :: Prism' ContractError Text Source #

type Rep ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

type Rep ContractError = D1 ('MetaData "ContractError" "Plutus.Contract.Error" "plutus-contract-1.1.0.0-KZTRXOViW1GCXNPMdYqx30" 'False) (((C1 ('MetaCons "WalletContractError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WalletAPIError)) :+: C1 ('MetaCons "ChainIndexContractError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainIndexResponse))) :+: (C1 ('MetaCons "EmulatorAssertionContractError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AssertionError)) :+: (C1 ('MetaCons "ConstraintResolutionContractError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MkTxError)) :+: C1 ('MetaCons "TxConstraintResolutionContractError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MkTxError))))) :+: ((C1 ('MetaCons "TxToCardanoConvertContractError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ToCardanoError)) :+: C1 ('MetaCons "ResumableContractError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MatchingError))) :+: (C1 ('MetaCons "CCheckpointContractError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CheckpointError)) :+: (C1 ('MetaCons "EndpointDecodeContractError" 'PrefixI 'True) (S1 ('MetaSel ('Just "eeEndpointDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EndpointDescription) :*: (S1 ('MetaSel ('Just "eeEndpointValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EndpointValue Value)) :*: S1 ('MetaSel ('Just "eeErrorMessage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: C1 ('MetaCons "OtherContractError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))))

class AsContractError r where Source #

Minimal complete definition

_ContractError

Methods

_ContractError :: Prism' r ContractError Source #

_WalletContractError :: Prism' r WalletAPIError Source #

_ChainIndexContractError :: Prism' r (Text, ChainIndexResponse) Source #

_EmulatorAssertionContractError :: Prism' r AssertionError Source #

_ConstraintResolutionContractError :: Prism' r MkTxError Source #

_TxConstraintResolutionContractError :: Prism' r MkTxError Source #

_TxToCardanoConvertContractError :: Prism' r ToCardanoError Source #

_ResumableContractError :: Prism' r MatchingError Source #

_CCheckpointContractError :: Prism' r CheckpointError Source #

_EndpointDecodeContractError :: Prism' r (EndpointDescription, EndpointValue Value, Text) Source #

_OtherContractError :: Prism' r Text Source #

Instances

Instances details
AsContractError Text Source #

This lets people use Text as their error type.

Instance details

Defined in Plutus.Contract.Error

Methods

_ContractError :: Prism' Text ContractError Source #

_WalletContractError :: Prism' Text WalletAPIError Source #

_ChainIndexContractError :: Prism' Text (Text, ChainIndexResponse) Source #

_EmulatorAssertionContractError :: Prism' Text AssertionError Source #

_ConstraintResolutionContractError :: Prism' Text MkTxError Source #

_TxConstraintResolutionContractError :: Prism' Text MkTxError Source #

_TxToCardanoConvertContractError :: Prism' Text ToCardanoError Source #

_ResumableContractError :: Prism' Text MatchingError Source #

_CCheckpointContractError :: Prism' Text CheckpointError Source #

_EndpointDecodeContractError :: Prism' Text (EndpointDescription, EndpointValue Value, Text) Source #

_OtherContractError :: Prism' Text Text Source #

AsContractError ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

_ContractError :: Prism' ContractError ContractError Source #

_WalletContractError :: Prism' ContractError WalletAPIError Source #

_ChainIndexContractError :: Prism' ContractError (Text, ChainIndexResponse) Source #

_EmulatorAssertionContractError :: Prism' ContractError AssertionError Source #

_ConstraintResolutionContractError :: Prism' ContractError MkTxError Source #

_TxConstraintResolutionContractError :: Prism' ContractError MkTxError Source #

_TxToCardanoConvertContractError :: Prism' ContractError ToCardanoError Source #

_ResumableContractError :: Prism' ContractError MatchingError Source #

_CCheckpointContractError :: Prism' ContractError CheckpointError Source #

_EndpointDecodeContractError :: Prism' ContractError (EndpointDescription, EndpointValue Value, Text) Source #

_OtherContractError :: Prism' ContractError Text Source #

AsContractError SMContractError Source # 
Instance details

Defined in Plutus.Contract.StateMachine

Methods

_ContractError :: Prism' SMContractError ContractError Source #

_WalletContractError :: Prism' SMContractError WalletAPIError Source #

_ChainIndexContractError :: Prism' SMContractError (Text, ChainIndexResponse) Source #

_EmulatorAssertionContractError :: Prism' SMContractError AssertionError Source #

_ConstraintResolutionContractError :: Prism' SMContractError MkTxError Source #

_TxConstraintResolutionContractError :: Prism' SMContractError MkTxError Source #

_TxToCardanoConvertContractError :: Prism' SMContractError ToCardanoError Source #

_ResumableContractError :: Prism' SMContractError MatchingError Source #

_CCheckpointContractError :: Prism' SMContractError CheckpointError Source #

_EndpointDecodeContractError :: Prism' SMContractError (EndpointDescription, EndpointValue Value, Text) Source #

_OtherContractError :: Prism' SMContractError Text Source #

newtype MatchingError Source #

An error

Constructors

WrongVariantError 

Fields

Instances

Instances details
Eq MatchingError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

(==) :: MatchingError -> MatchingError -> Bool Source #

(/=) :: MatchingError -> MatchingError -> Bool Source #

Ord MatchingError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

compare :: MatchingError -> MatchingError -> Ordering Source #

(<) :: MatchingError -> MatchingError -> Bool Source #

(<=) :: MatchingError -> MatchingError -> Bool Source #

(>) :: MatchingError -> MatchingError -> Bool Source #

(>=) :: MatchingError -> MatchingError -> Bool Source #

max :: MatchingError -> MatchingError -> MatchingError Source #

min :: MatchingError -> MatchingError -> MatchingError Source #

Show MatchingError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

showsPrec :: Int -> MatchingError -> ShowS Source #

show :: MatchingError -> String Source #

showList :: [MatchingError] -> ShowS Source #

Generic MatchingError Source # 
Instance details

Defined in Plutus.Contract.Error

Associated Types

type Rep MatchingError :: Type -> Type Source #

Methods

from :: MatchingError -> Rep MatchingError x Source #

to :: Rep MatchingError x -> MatchingError Source #

ToJSON MatchingError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

toJSON :: MatchingError -> Value Source #

toEncoding :: MatchingError -> Encoding Source #

toJSONList :: [MatchingError] -> Value Source #

toEncodingList :: [MatchingError] -> Encoding Source #

FromJSON MatchingError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

parseJSON :: Value -> Parser MatchingError Source #

parseJSONList :: Value -> Parser [MatchingError] Source #

Pretty MatchingError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

pretty :: MatchingError -> Doc ann Source #

prettyList :: [MatchingError] -> Doc ann Source #

AsMatchingError MatchingError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

_MatchingError :: Prism' MatchingError MatchingError Source #

_WrongVariantError :: Prism' MatchingError Text Source #

type Rep MatchingError Source # 
Instance details

Defined in Plutus.Contract.Error

type Rep MatchingError = D1 ('MetaData "MatchingError" "Plutus.Contract.Error" "plutus-contract-1.1.0.0-KZTRXOViW1GCXNPMdYqx30" 'True) (C1 ('MetaCons "WrongVariantError" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWrongVariantError") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

class AsMatchingError r where Source #

Minimal complete definition

_MatchingError

Methods

_MatchingError :: Prism' r MatchingError Source #

_WrongVariantError :: Prism' r Text Source #

Instances

Instances details
AsMatchingError MatchingError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

_MatchingError :: Prism' MatchingError MatchingError Source #

_WrongVariantError :: Prism' MatchingError Text Source #

newtype AssertionError Source #

An error emitted when an Assertion fails.

Constructors

GenericAssertion 

Fields

Instances

Instances details
Eq AssertionError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

(==) :: AssertionError -> AssertionError -> Bool Source #

(/=) :: AssertionError -> AssertionError -> Bool Source #

Show AssertionError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

showsPrec :: Int -> AssertionError -> ShowS Source #

show :: AssertionError -> String Source #

showList :: [AssertionError] -> ShowS Source #

Generic AssertionError Source # 
Instance details

Defined in Plutus.Contract.Error

Associated Types

type Rep AssertionError :: Type -> Type Source #

Methods

from :: AssertionError -> Rep AssertionError x Source #

to :: Rep AssertionError x -> AssertionError Source #

ToJSON AssertionError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

toJSON :: AssertionError -> Value Source #

toEncoding :: AssertionError -> Encoding Source #

toJSONList :: [AssertionError] -> Value Source #

toEncodingList :: [AssertionError] -> Encoding Source #

FromJSON AssertionError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

parseJSON :: Value -> Parser AssertionError Source #

parseJSONList :: Value -> Parser [AssertionError] Source #

Pretty AssertionError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

pretty :: AssertionError -> Doc ann Source #

prettyList :: [AssertionError] -> Doc ann Source #

AsAssertionError AssertionError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

_AssertionError :: Prism' AssertionError AssertionError Source #

_GenericAssertion :: Prism' AssertionError Text Source #

type Rep AssertionError Source # 
Instance details

Defined in Plutus.Contract.Error

type Rep AssertionError = D1 ('MetaData "AssertionError" "Plutus.Contract.Error" "plutus-contract-1.1.0.0-KZTRXOViW1GCXNPMdYqx30" 'True) (C1 ('MetaCons "GenericAssertion" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAssertionError") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

class AsAssertionError r where Source #

Minimal complete definition

_AssertionError

Methods

_AssertionError :: Prism' r AssertionError Source #

_GenericAssertion :: Prism' r Text Source #

Instances

Instances details
AsAssertionError Text Source #

This lets people use Text as their error type.

Instance details

Defined in Plutus.Contract.Error

Methods

_AssertionError :: Prism' Text AssertionError Source #

_GenericAssertion :: Prism' Text Text Source #

AsAssertionError AssertionError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

_AssertionError :: Prism' AssertionError AssertionError Source #

_GenericAssertion :: Prism' AssertionError Text Source #

AsAssertionError ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

Methods

_AssertionError :: Prism' ContractError AssertionError Source #

_GenericAssertion :: Prism' ContractError Text Source #

AsAssertionError (TraceError e) Source # 
Instance details

Defined in Plutus.Contract.Trace

Methods

_AssertionError :: Prism' (TraceError e) AssertionError Source #

_GenericAssertion :: Prism' (TraceError e) Text Source #