plutus-contract-1.1.0.0
Safe HaskellNone
LanguageHaskell2010

Plutus.Contract.Effects

Synopsis

Plutus application backend request effect types

data PABReq Source #

Requests that Contracts can make

Constructors

AdjustUnbalancedTxReq UnbalancedTx 
AwaitSlotReq Slot 
AwaitTimeReq POSIXTime 
AwaitUtxoSpentReq TxOutRef 
AwaitUtxoProducedReq CardanoAddress 
AwaitTxStatusChangeReq TxId 
AwaitTxOutStatusChangeReq TxOutRef 
CurrentNodeClientSlotReq 
CurrentChainIndexSlotReq 
CurrentTimeReq 
CurrentNodeClientTimeRangeReq 
GetParamsReq 
OwnContractInstanceIdReq 
OwnAddressesReq 
ChainIndexQueryReq ChainIndexQuery 
BalanceTxReq UnbalancedTx 
WriteBalancedTxReq CardanoTx 
ExposeEndpointReq ActiveEndpoint 
PosixTimeRangeToContainedSlotRangeReq POSIXTimeRange 
YieldUnbalancedTxReq UnbalancedTx 

Instances

Instances details
Eq PABReq Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

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

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

Show PABReq Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

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

show :: PABReq -> String Source #

showList :: [PABReq] -> ShowS Source #

Generic PABReq Source # 
Instance details

Defined in Plutus.Contract.Effects

Associated Types

type Rep PABReq :: Type -> Type Source #

Methods

from :: PABReq -> Rep PABReq x Source #

to :: Rep PABReq x -> PABReq Source #

ToJSON PABReq Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

toJSON :: PABReq -> Value Source #

toEncoding :: PABReq -> Encoding Source #

toJSONList :: [PABReq] -> Value Source #

toEncodingList :: [PABReq] -> Encoding Source #

FromJSON PABReq Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

parseJSON :: Value -> Parser PABReq Source #

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

ToSchema PABReq Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

declareNamedSchema :: Proxy PABReq -> Declare (Definitions Schema) NamedSchema Source #

Pretty PABReq Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

pretty :: PABReq -> Doc ann Source #

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

type Rep PABReq Source # 
Instance details

Defined in Plutus.Contract.Effects

type Rep PABReq = D1 ('MetaData "PABReq" "Plutus.Contract.Effects" "plutus-contract-1.1.0.0-KZTRXOViW1GCXNPMdYqx30" 'False) ((((C1 ('MetaCons "AdjustUnbalancedTxReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnbalancedTx)) :+: C1 ('MetaCons "AwaitSlotReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Slot))) :+: (C1 ('MetaCons "AwaitTimeReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 POSIXTime)) :+: (C1 ('MetaCons "AwaitUtxoSpentReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutRef)) :+: C1 ('MetaCons "AwaitUtxoProducedReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CardanoAddress))))) :+: ((C1 ('MetaCons "AwaitTxStatusChangeReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId)) :+: C1 ('MetaCons "AwaitTxOutStatusChangeReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutRef))) :+: (C1 ('MetaCons "CurrentNodeClientSlotReq" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CurrentChainIndexSlotReq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CurrentTimeReq" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "CurrentNodeClientTimeRangeReq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GetParamsReq" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OwnContractInstanceIdReq" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OwnAddressesReq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ChainIndexQueryReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainIndexQuery))))) :+: ((C1 ('MetaCons "BalanceTxReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnbalancedTx)) :+: C1 ('MetaCons "WriteBalancedTxReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CardanoTx))) :+: (C1 ('MetaCons "ExposeEndpointReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ActiveEndpoint)) :+: (C1 ('MetaCons "PosixTimeRangeToContainedSlotRangeReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 POSIXTimeRange)) :+: C1 ('MetaCons "YieldUnbalancedTxReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnbalancedTx)))))))

_AdjustUnbalancedTxReq :: Prism' PABReq UnbalancedTx Source #

_AwaitSlotReq :: Prism' PABReq Slot Source #

_AwaitTimeReq :: Prism' PABReq POSIXTime Source #

_AwaitUtxoSpentReq :: Prism' PABReq TxOutRef Source #

_AwaitUtxoProducedReq :: Prism' PABReq CardanoAddress Source #

_CurrentNodeClientSlotReq :: Prism' PABReq () Source #

_CurrentChainIndexSlotReq :: Prism' PABReq () Source #

_CurrentTimeReq :: Prism' PABReq () Source #

_CurrentNodeClientTimeRangeReq :: Prism' PABReq () Source #

_AwaitTxStatusChangeReq :: Prism' PABReq TxId Source #

_AwaitTxOutStatusChangeReq :: Prism' PABReq TxOutRef Source #

_GetParamsReq :: Prism' PABReq () Source #

_OwnContractInstanceIdReq :: Prism' PABReq () Source #

_OwnAddressesReq :: Prism' PABReq () Source #

_ChainIndexQueryReq :: Prism' PABReq ChainIndexQuery Source #

_BalanceTxReq :: Prism' PABReq UnbalancedTx Source #

_WriteBalancedTxReq :: Prism' PABReq CardanoTx Source #

_ExposeEndpointReq :: Prism' PABReq ActiveEndpoint Source #

_PosixTimeRangeToContainedSlotRangeReq :: Prism' PABReq POSIXTimeRange Source #

_YieldUnbalancedTxReq :: Prism' PABReq UnbalancedTx Source #

Chain index query effect types

_DatumFromHash :: Prism' ChainIndexQuery DatumHash Source #

_ValidatorFromHash :: Prism' ChainIndexQuery ValidatorHash Source #

_MintingPolicyFromHash :: Prism' ChainIndexQuery MintingPolicyHash Source #

_RedeemerFromHash :: Prism' ChainIndexQuery RedeemerHash Source #

_TxOutFromRef :: Prism' ChainIndexQuery TxOutRef Source #

_TxFromTxId :: Prism' ChainIndexQuery TxId Source #

_UnspentTxOutFromRef :: Prism' ChainIndexQuery TxOutRef Source #

_UtxoSetMembership :: Prism' ChainIndexQuery TxOutRef Source #

_UtxoSetAtAddress :: Prism' ChainIndexQuery (PageQuery TxOutRef, Credential) Source #

_UtxoSetWithCurrency :: Prism' ChainIndexQuery (PageQuery TxOutRef, AssetClass) Source #

_TxsFromTxIds :: Prism' ChainIndexQuery [TxId] Source #

_TxoSetAtAddress :: Prism' ChainIndexQuery (PageQuery TxOutRef, Credential) Source #

_GetTip :: Prism' ChainIndexQuery () Source #

Plutus application backend response effect types

data PABResp Source #

Responses that Contracts receive

Constructors

AdjustUnbalancedTxResp (Either ToCardanoError UnbalancedTx) 
AwaitSlotResp Slot 
AwaitTimeResp POSIXTime 
AwaitUtxoSpentResp ChainIndexTx 
AwaitUtxoProducedResp (NonEmpty ChainIndexTx) 
AwaitTxStatusChangeResp TxId TxStatus 
AwaitTxOutStatusChangeResp TxOutRef TxOutStatus 
CurrentNodeClientSlotResp Slot 
CurrentChainIndexSlotResp Slot 
CurrentTimeResp POSIXTime 
CurrentNodeClientTimeRangeResp (POSIXTime, POSIXTime) 
GetParamsResp Params 
OwnContractInstanceIdResp ContractInstanceId 
OwnAddressesResp (NonEmpty CardanoAddress) 
ChainIndexQueryResp ChainIndexResponse 
BalanceTxResp BalanceTxResponse 
WriteBalancedTxResp WriteBalancedTxResponse 
ExposeEndpointResp EndpointDescription (EndpointValue Value) 
PosixTimeRangeToContainedSlotRangeResp (Either SlotConversionError SlotRange) 
YieldUnbalancedTxResp () 

Instances

Instances details
Eq PABResp Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

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

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

Show PABResp Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

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

show :: PABResp -> String Source #

showList :: [PABResp] -> ShowS Source #

Generic PABResp Source # 
Instance details

Defined in Plutus.Contract.Effects

Associated Types

type Rep PABResp :: Type -> Type Source #

Methods

from :: PABResp -> Rep PABResp x Source #

to :: Rep PABResp x -> PABResp Source #

ToJSON PABResp Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

toJSON :: PABResp -> Value Source #

toEncoding :: PABResp -> Encoding Source #

toJSONList :: [PABResp] -> Value Source #

toEncodingList :: [PABResp] -> Encoding Source #

FromJSON PABResp Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

parseJSON :: Value -> Parser PABResp Source #

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

Pretty PABResp Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

pretty :: PABResp -> Doc ann Source #

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

type Rep PABResp Source # 
Instance details

Defined in Plutus.Contract.Effects

type Rep PABResp = D1 ('MetaData "PABResp" "Plutus.Contract.Effects" "plutus-contract-1.1.0.0-KZTRXOViW1GCXNPMdYqx30" 'False) ((((C1 ('MetaCons "AdjustUnbalancedTxResp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either ToCardanoError UnbalancedTx))) :+: C1 ('MetaCons "AwaitSlotResp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Slot))) :+: (C1 ('MetaCons "AwaitTimeResp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 POSIXTime)) :+: (C1 ('MetaCons "AwaitUtxoSpentResp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainIndexTx)) :+: C1 ('MetaCons "AwaitUtxoProducedResp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty ChainIndexTx)))))) :+: ((C1 ('MetaCons "AwaitTxStatusChangeResp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxStatus)) :+: C1 ('MetaCons "AwaitTxOutStatusChangeResp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutRef) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutStatus))) :+: (C1 ('MetaCons "CurrentNodeClientSlotResp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Slot)) :+: (C1 ('MetaCons "CurrentChainIndexSlotResp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Slot)) :+: C1 ('MetaCons "CurrentTimeResp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 POSIXTime)))))) :+: (((C1 ('MetaCons "CurrentNodeClientTimeRangeResp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (POSIXTime, POSIXTime))) :+: C1 ('MetaCons "GetParamsResp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Params))) :+: (C1 ('MetaCons "OwnContractInstanceIdResp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContractInstanceId)) :+: (C1 ('MetaCons "OwnAddressesResp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty CardanoAddress))) :+: C1 ('MetaCons "ChainIndexQueryResp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainIndexResponse))))) :+: ((C1 ('MetaCons "BalanceTxResp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BalanceTxResponse)) :+: C1 ('MetaCons "WriteBalancedTxResp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WriteBalancedTxResponse))) :+: (C1 ('MetaCons "ExposeEndpointResp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EndpointDescription) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EndpointValue Value))) :+: (C1 ('MetaCons "PosixTimeRangeToContainedSlotRangeResp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either SlotConversionError SlotRange))) :+: C1 ('MetaCons "YieldUnbalancedTxResp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ())))))))

_AdjustUnbalancedTxResp :: Prism' PABResp (Either ToCardanoError UnbalancedTx) Source #

_AwaitSlotResp :: Prism' PABResp Slot Source #

_AwaitTimeResp :: Prism' PABResp POSIXTime Source #

_AwaitUtxoSpentResp :: Prism' PABResp ChainIndexTx Source #

_AwaitUtxoProducedResp :: Prism' PABResp (NonEmpty ChainIndexTx) Source #

_CurrentNodeClientSlotResp :: Prism' PABResp Slot Source #

_CurrentChainIndexSlotResp :: Prism' PABResp Slot Source #

_CurrentTimeResp :: Prism' PABResp POSIXTime Source #

_CurrentNodeClientTimeRangeResp :: Prism' PABResp (POSIXTime, POSIXTime) Source #

_AwaitTxStatusChangeResp :: Prism' PABResp (TxId, TxStatus) Source #

_AwaitTxStatusChangeResp' :: TxId -> Prism' PABResp TxStatus Source #

_AwaitTxOutStatusChangeResp :: Prism' PABResp (TxOutRef, TxOutStatus) Source #

_GetParamsResp :: Prism' PABResp Params Source #

_OwnContractInstanceIdResp :: Prism' PABResp ContractInstanceId Source #

_OwnAddressesResp :: Prism' PABResp (NonEmpty CardanoAddress) Source #

_ChainIndexQueryResp :: Prism' PABResp ChainIndexResponse Source #

_BalanceTxResp :: Prism' PABResp BalanceTxResponse Source #

_WriteBalancedTxResp :: Prism' PABResp WriteBalancedTxResponse Source #

_ExposeEndpointResp :: Prism' PABResp (EndpointDescription, EndpointValue Value) Source #

_PosixTimeRangeToContainedSlotRangeResp :: Prism' PABResp (Either SlotConversionError SlotRange) Source #

_YieldUnbalancedTxResp :: Prism' PABResp () Source #

Chain index response effect types

_DatumHashResponse :: Prism' ChainIndexResponse (Maybe Datum) Source #

_ValidatorHashResponse :: Prism' ChainIndexResponse (Maybe (Versioned Validator)) Source #

_MintingPolicyHashResponse :: Prism' ChainIndexResponse (Maybe (Versioned MintingPolicy)) Source #

_RedeemerHashResponse :: Prism' ChainIndexResponse (Maybe Redeemer) Source #

_TxOutRefResponse :: Prism' ChainIndexResponse (Maybe DecoratedTxOut) Source #

_UnspentTxOutResponse :: Prism' ChainIndexResponse (Maybe DecoratedTxOut) Source #

_TxIdResponse :: Prism' ChainIndexResponse (Maybe ChainIndexTx) Source #

_UtxoSetMembershipResponse :: Prism' ChainIndexResponse IsUtxoResponse Source #

_UtxoSetAtResponse :: Prism' ChainIndexResponse UtxosResponse Source #

_UtxoSetWithCurrencyResponse :: Prism' ChainIndexResponse UtxosResponse Source #

_TxIdsResponse :: Prism' ChainIndexResponse [ChainIndexTx] Source #

_TxoSetAtResponse :: Prism' ChainIndexResponse TxosResponse Source #

_GetTipResponse :: Prism' ChainIndexResponse Tip Source #

Etc.

matches :: PABReq -> PABResp -> Bool Source #

data ChainIndexQuery Source #

Represents all possible chain index queries. Each constructor contains the input(s) needed for the query. These possible queries correspond to the constructors of the data type ChainIndexQueryEffect.

Constructors

DatumFromHash DatumHash 
ValidatorFromHash ValidatorHash 
MintingPolicyFromHash MintingPolicyHash 
StakeValidatorFromHash StakeValidatorHash 
RedeemerFromHash RedeemerHash 
TxOutFromRef TxOutRef 
UnspentTxOutFromRef TxOutRef 
TxFromTxId TxId 
UtxoSetMembership TxOutRef 
UtxoSetAtAddress (PageQuery TxOutRef) Credential 
UnspentTxOutSetAtAddress (PageQuery TxOutRef) Credential 
DatumsAtAddress (PageQuery TxOutRef) Credential 
UtxoSetWithCurrency (PageQuery TxOutRef) AssetClass 
TxsFromTxIds [TxId] 
TxoSetAtAddress (PageQuery TxOutRef) Credential 
GetTip 

Instances

Instances details
Eq ChainIndexQuery Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

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

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

Show ChainIndexQuery Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

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

show :: ChainIndexQuery -> String Source #

showList :: [ChainIndexQuery] -> ShowS Source #

Generic ChainIndexQuery Source # 
Instance details

Defined in Plutus.Contract.Effects

Associated Types

type Rep ChainIndexQuery :: Type -> Type Source #

Methods

from :: ChainIndexQuery -> Rep ChainIndexQuery x Source #

to :: Rep ChainIndexQuery x -> ChainIndexQuery Source #

ToJSON ChainIndexQuery Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

toJSON :: ChainIndexQuery -> Value Source #

toEncoding :: ChainIndexQuery -> Encoding Source #

toJSONList :: [ChainIndexQuery] -> Value Source #

toEncodingList :: [ChainIndexQuery] -> Encoding Source #

FromJSON ChainIndexQuery Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

parseJSON :: Value -> Parser ChainIndexQuery Source #

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

ToSchema ChainIndexQuery Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

declareNamedSchema :: Proxy ChainIndexQuery -> Declare (Definitions Schema) NamedSchema Source #

Pretty ChainIndexQuery Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

pretty :: ChainIndexQuery -> Doc ann Source #

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

type Rep ChainIndexQuery Source # 
Instance details

Defined in Plutus.Contract.Effects

type Rep ChainIndexQuery = D1 ('MetaData "ChainIndexQuery" "Plutus.Contract.Effects" "plutus-contract-1.1.0.0-KZTRXOViW1GCXNPMdYqx30" 'False) ((((C1 ('MetaCons "DatumFromHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DatumHash)) :+: C1 ('MetaCons "ValidatorFromHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValidatorHash))) :+: (C1 ('MetaCons "MintingPolicyFromHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MintingPolicyHash)) :+: C1 ('MetaCons "StakeValidatorFromHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StakeValidatorHash)))) :+: ((C1 ('MetaCons "RedeemerFromHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RedeemerHash)) :+: C1 ('MetaCons "TxOutFromRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutRef))) :+: (C1 ('MetaCons "UnspentTxOutFromRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutRef)) :+: C1 ('MetaCons "TxFromTxId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId))))) :+: (((C1 ('MetaCons "UtxoSetMembership" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutRef)) :+: C1 ('MetaCons "UtxoSetAtAddress" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PageQuery TxOutRef)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential))) :+: (C1 ('MetaCons "UnspentTxOutSetAtAddress" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PageQuery TxOutRef)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential)) :+: C1 ('MetaCons "DatumsAtAddress" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PageQuery TxOutRef)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential)))) :+: ((C1 ('MetaCons "UtxoSetWithCurrency" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PageQuery TxOutRef)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AssetClass)) :+: C1 ('MetaCons "TxsFromTxIds" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxId]))) :+: (C1 ('MetaCons "TxoSetAtAddress" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PageQuery TxOutRef)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential)) :+: C1 ('MetaCons "GetTip" 'PrefixI 'False) (U1 :: Type -> Type)))))

data ChainIndexResponse Source #

Represents all possible responses to chain index queries. Each constructor contain the output resulting for the chain index query. These possible responses come from the data type ChainIndexQueryEffect.

Constructors

DatumHashResponse (Maybe Datum) 
ValidatorHashResponse (Maybe (Versioned Validator)) 
MintingPolicyHashResponse (Maybe (Versioned MintingPolicy)) 
StakeValidatorHashResponse (Maybe (Versioned StakeValidator)) 
TxOutRefResponse (Maybe DecoratedTxOut) 
UnspentTxOutResponse (Maybe DecoratedTxOut) 
RedeemerHashResponse (Maybe Redeemer) 
TxIdResponse (Maybe ChainIndexTx) 
UtxoSetMembershipResponse IsUtxoResponse 
UtxoSetAtResponse UtxosResponse 
UnspentTxOutsAtResponse (QueryResponse [(TxOutRef, DecoratedTxOut)]) 
DatumsAtResponse (QueryResponse [Datum]) 
UtxoSetWithCurrencyResponse UtxosResponse 
TxIdsResponse [ChainIndexTx] 
TxoSetAtResponse TxosResponse 
GetTipResponse Tip 

Instances

Instances details
Eq ChainIndexResponse Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

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

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

Show ChainIndexResponse Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

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

show :: ChainIndexResponse -> String Source #

showList :: [ChainIndexResponse] -> ShowS Source #

Generic ChainIndexResponse Source # 
Instance details

Defined in Plutus.Contract.Effects

Associated Types

type Rep ChainIndexResponse :: Type -> Type Source #

Methods

from :: ChainIndexResponse -> Rep ChainIndexResponse x Source #

to :: Rep ChainIndexResponse x -> ChainIndexResponse Source #

ToJSON ChainIndexResponse Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

toJSON :: ChainIndexResponse -> Value Source #

toEncoding :: ChainIndexResponse -> Encoding Source #

toJSONList :: [ChainIndexResponse] -> Value Source #

toEncodingList :: [ChainIndexResponse] -> Encoding Source #

FromJSON ChainIndexResponse Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

parseJSON :: Value -> Parser ChainIndexResponse Source #

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

Pretty ChainIndexResponse Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

pretty :: ChainIndexResponse -> Doc ann Source #

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

type Rep ChainIndexResponse Source # 
Instance details

Defined in Plutus.Contract.Effects

type Rep ChainIndexResponse = D1 ('MetaData "ChainIndexResponse" "Plutus.Contract.Effects" "plutus-contract-1.1.0.0-KZTRXOViW1GCXNPMdYqx30" 'False) ((((C1 ('MetaCons "DatumHashResponse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Datum))) :+: C1 ('MetaCons "ValidatorHashResponse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Versioned Validator))))) :+: (C1 ('MetaCons "MintingPolicyHashResponse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Versioned MintingPolicy)))) :+: C1 ('MetaCons "StakeValidatorHashResponse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Versioned StakeValidator)))))) :+: ((C1 ('MetaCons "TxOutRefResponse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe DecoratedTxOut))) :+: C1 ('MetaCons "UnspentTxOutResponse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe DecoratedTxOut)))) :+: (C1 ('MetaCons "RedeemerHashResponse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Redeemer))) :+: C1 ('MetaCons "TxIdResponse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ChainIndexTx)))))) :+: (((C1 ('MetaCons "UtxoSetMembershipResponse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IsUtxoResponse)) :+: C1 ('MetaCons "UtxoSetAtResponse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UtxosResponse))) :+: (C1 ('MetaCons "UnspentTxOutsAtResponse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (QueryResponse [(TxOutRef, DecoratedTxOut)]))) :+: C1 ('MetaCons "DatumsAtResponse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (QueryResponse [Datum]))))) :+: ((C1 ('MetaCons "UtxoSetWithCurrencyResponse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UtxosResponse)) :+: C1 ('MetaCons "TxIdsResponse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ChainIndexTx]))) :+: (C1 ('MetaCons "TxoSetAtResponse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxosResponse)) :+: C1 ('MetaCons "GetTipResponse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Tip))))))

data BalanceTxResponse Source #

Constructors

BalanceTxFailed WalletAPIError 
BalanceTxSuccess CardanoTx 

Instances

Instances details
Eq BalanceTxResponse Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

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

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

Show BalanceTxResponse Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

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

show :: BalanceTxResponse -> String Source #

showList :: [BalanceTxResponse] -> ShowS Source #

Generic BalanceTxResponse Source # 
Instance details

Defined in Plutus.Contract.Effects

Associated Types

type Rep BalanceTxResponse :: Type -> Type Source #

Methods

from :: BalanceTxResponse -> Rep BalanceTxResponse x Source #

to :: Rep BalanceTxResponse x -> BalanceTxResponse Source #

ToJSON BalanceTxResponse Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

toJSON :: BalanceTxResponse -> Value Source #

toEncoding :: BalanceTxResponse -> Encoding Source #

toJSONList :: [BalanceTxResponse] -> Value Source #

toEncodingList :: [BalanceTxResponse] -> Encoding Source #

FromJSON BalanceTxResponse Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

parseJSON :: Value -> Parser BalanceTxResponse Source #

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

Pretty BalanceTxResponse Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

pretty :: BalanceTxResponse -> Doc ann Source #

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

type Rep BalanceTxResponse Source # 
Instance details

Defined in Plutus.Contract.Effects

type Rep BalanceTxResponse = D1 ('MetaData "BalanceTxResponse" "Plutus.Contract.Effects" "plutus-contract-1.1.0.0-KZTRXOViW1GCXNPMdYqx30" 'False) (C1 ('MetaCons "BalanceTxFailed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WalletAPIError)) :+: C1 ('MetaCons "BalanceTxSuccess" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CardanoTx)))

balanceTxResponse :: Iso' BalanceTxResponse (Either WalletAPIError CardanoTx) Source #

data WriteBalancedTxResponse Source #

Constructors

WriteBalancedTxFailed WalletAPIError 
WriteBalancedTxSuccess CardanoTx 

Instances

Instances details
Eq WriteBalancedTxResponse Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

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

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

Show WriteBalancedTxResponse Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

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

show :: WriteBalancedTxResponse -> String Source #

showList :: [WriteBalancedTxResponse] -> ShowS Source #

Generic WriteBalancedTxResponse Source # 
Instance details

Defined in Plutus.Contract.Effects

Associated Types

type Rep WriteBalancedTxResponse :: Type -> Type Source #

Methods

from :: WriteBalancedTxResponse -> Rep WriteBalancedTxResponse x Source #

to :: Rep WriteBalancedTxResponse x -> WriteBalancedTxResponse Source #

ToJSON WriteBalancedTxResponse Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

toJSON :: WriteBalancedTxResponse -> Value Source #

toEncoding :: WriteBalancedTxResponse -> Encoding Source #

toJSONList :: [WriteBalancedTxResponse] -> Value Source #

toEncodingList :: [WriteBalancedTxResponse] -> Encoding Source #

FromJSON WriteBalancedTxResponse Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

parseJSON :: Value -> Parser WriteBalancedTxResponse Source #

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

Pretty WriteBalancedTxResponse Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

pretty :: WriteBalancedTxResponse -> Doc ann Source #

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

type Rep WriteBalancedTxResponse Source # 
Instance details

Defined in Plutus.Contract.Effects

type Rep WriteBalancedTxResponse = D1 ('MetaData "WriteBalancedTxResponse" "Plutus.Contract.Effects" "plutus-contract-1.1.0.0-KZTRXOViW1GCXNPMdYqx30" 'False) (C1 ('MetaCons "WriteBalancedTxFailed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WalletAPIError)) :+: C1 ('MetaCons "WriteBalancedTxSuccess" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CardanoTx)))

writeBalancedTxResponse :: Iso' WriteBalancedTxResponse (Either WalletAPIError CardanoTx) Source #

data ActiveEndpoint Source #

Constructors

ActiveEndpoint 

Fields

Instances

Instances details
Eq ActiveEndpoint Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

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

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

Show ActiveEndpoint Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

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

show :: ActiveEndpoint -> String Source #

showList :: [ActiveEndpoint] -> ShowS Source #

Generic ActiveEndpoint Source # 
Instance details

Defined in Plutus.Contract.Effects

Associated Types

type Rep ActiveEndpoint :: Type -> Type Source #

Methods

from :: ActiveEndpoint -> Rep ActiveEndpoint x Source #

to :: Rep ActiveEndpoint x -> ActiveEndpoint Source #

ToJSON ActiveEndpoint Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

toJSON :: ActiveEndpoint -> Value Source #

toEncoding :: ActiveEndpoint -> Encoding Source #

toJSONList :: [ActiveEndpoint] -> Value Source #

toEncodingList :: [ActiveEndpoint] -> Encoding Source #

FromJSON ActiveEndpoint Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

parseJSON :: Value -> Parser ActiveEndpoint Source #

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

ToSchema ActiveEndpoint Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

declareNamedSchema :: Proxy ActiveEndpoint -> Declare (Definitions Schema) NamedSchema Source #

Pretty ActiveEndpoint Source # 
Instance details

Defined in Plutus.Contract.Effects

Methods

pretty :: ActiveEndpoint -> Doc ann Source #

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

type Rep ActiveEndpoint Source # 
Instance details

Defined in Plutus.Contract.Effects

type Rep ActiveEndpoint = D1 ('MetaData "ActiveEndpoint" "Plutus.Contract.Effects" "plutus-contract-1.1.0.0-KZTRXOViW1GCXNPMdYqx30" 'False) (C1 ('MetaCons "ActiveEndpoint" 'PrefixI 'True) (S1 ('MetaSel ('Just "aeDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EndpointDescription) :*: S1 ('MetaSel ('Just "aeMetadata") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value))))