plutus-contract-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

Plutus.Contract.Error

Synopsis

Documentation

data ContractError Source #

Instances

Instances details
Eq ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

Show ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

IsString ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

Generic ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

Associated Types

type Rep ContractError :: Type -> Type Source #

ToJSON ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

FromJSON ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

Pretty ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

AsCheckpointError ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

AsAssertionError ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

AsContractError ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

type Rep ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

type Rep ContractError = D1 ('MetaData "ContractError" "Plutus.Contract.Error" "plutus-contract-0.1.0.0-2DbvKQdtEvHK4UkDq1ndDW" '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 "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

Instances

Instances details
AsContractError Text Source #

This lets people use Text as their error type.

Instance details

Defined in Plutus.Contract.Error

AsContractError ContractError Source # 
Instance details

Defined in Plutus.Contract.Error

AsContractError SMContractError Source # 
Instance details

Defined in Plutus.Contract.StateMachine

newtype MatchingError Source #

An error

Instances

Instances details
Eq MatchingError Source # 
Instance details

Defined in Plutus.Contract.Error

Ord MatchingError Source # 
Instance details

Defined in Plutus.Contract.Error

Show MatchingError Source # 
Instance details

Defined in Plutus.Contract.Error

Generic MatchingError Source # 
Instance details

Defined in Plutus.Contract.Error

Associated Types

type Rep MatchingError :: Type -> Type Source #

ToJSON MatchingError Source # 
Instance details

Defined in Plutus.Contract.Error

FromJSON MatchingError Source # 
Instance details

Defined in Plutus.Contract.Error

Pretty MatchingError Source # 
Instance details

Defined in Plutus.Contract.Error

AsMatchingError MatchingError Source # 
Instance details

Defined in Plutus.Contract.Error

type Rep MatchingError Source # 
Instance details

Defined in Plutus.Contract.Error

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

newtype AssertionError Source #

An error emitted when an Assertion fails.

Constructors

GenericAssertion 

Instances

Instances details
Eq AssertionError Source # 
Instance details

Defined in Plutus.Contract.Error

Show AssertionError Source # 
Instance details

Defined in Plutus.Contract.Error

Generic AssertionError Source # 
Instance details

Defined in Plutus.Contract.Error

Associated Types

type Rep AssertionError :: Type -> Type Source #

ToJSON AssertionError Source # 
Instance details

Defined in Plutus.Contract.Error

FromJSON AssertionError Source # 
Instance details

Defined in Plutus.Contract.Error

Pretty AssertionError Source # 
Instance details

Defined in Plutus.Contract.Error

AsAssertionError AssertionError Source # 
Instance details

Defined in Plutus.Contract.Error

type Rep AssertionError Source # 
Instance details

Defined in Plutus.Contract.Error

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