Safe Haskell	None
Language	Haskell2010

Plutus.Contract.Effects

Contents

Plutus application backend request effect types
- Chain index query effect types
Plutus application backend response effect types
- Chain index response effect types
Etc.

Synopsis

data PABReq
- = AdjustUnbalancedTxReq UnbalancedTx
- | AwaitSlotReq Slot
- | AwaitTimeReq POSIXTime
- | AwaitUtxoSpentReq TxIn
- | AwaitUtxoProducedReq CardanoAddress
- | AwaitTxStatusChangeReq TxId
- | AwaitTxOutStatusChangeReq TxIn
- | CurrentNodeClientSlotReq
- | CurrentChainIndexSlotReq
- | CurrentTimeReq
- | CurrentNodeClientTimeRangeReq
- | GetParamsReq
- | OwnContractInstanceIdReq
- | OwnAddressesReq
- | ChainIndexQueryReq ChainIndexQuery
- | BalanceTxReq UnbalancedTx
- | WriteBalancedTxReq CardanoTx
- | ExposeEndpointReq ActiveEndpoint
- | PosixTimeRangeToContainedSlotRangeReq POSIXTimeRange
- | YieldUnbalancedTxReq UnbalancedTx
_AdjustUnbalancedTxReq :: Prism' PABReq UnbalancedTx
_AwaitSlotReq :: Prism' PABReq Slot
_AwaitTimeReq :: Prism' PABReq POSIXTime
_AwaitUtxoSpentReq :: Prism' PABReq TxIn
_AwaitUtxoProducedReq :: Prism' PABReq CardanoAddress
_CurrentNodeClientSlotReq :: Prism' PABReq ()
_CurrentChainIndexSlotReq :: Prism' PABReq ()
_CurrentTimeReq :: Prism' PABReq ()
_CurrentNodeClientTimeRangeReq :: Prism' PABReq ()
_AwaitTxStatusChangeReq :: Prism' PABReq TxId
_AwaitTxOutStatusChangeReq :: Prism' PABReq TxIn
_GetParamsReq :: Prism' PABReq ()
_OwnContractInstanceIdReq :: Prism' PABReq ()
_OwnAddressesReq :: Prism' PABReq ()
_ChainIndexQueryReq :: Prism' PABReq ChainIndexQuery
_BalanceTxReq :: Prism' PABReq UnbalancedTx
_WriteBalancedTxReq :: Prism' PABReq CardanoTx
_ExposeEndpointReq :: Prism' PABReq ActiveEndpoint
_PosixTimeRangeToContainedSlotRangeReq :: Prism' PABReq POSIXTimeRange
_YieldUnbalancedTxReq :: Prism' PABReq UnbalancedTx
_DatumFromHash :: Prism' ChainIndexQuery DatumHash
_ValidatorFromHash :: Prism' ChainIndexQuery ValidatorHash
_MintingPolicyFromHash :: Prism' ChainIndexQuery MintingPolicyHash
_RedeemerFromHash :: Prism' ChainIndexQuery RedeemerHash
_TxOutFromRef :: Prism' ChainIndexQuery TxOutRef
_TxFromTxId :: Prism' ChainIndexQuery TxId
_UnspentTxOutFromRef :: Prism' ChainIndexQuery TxOutRef
_UtxoSetMembership :: Prism' ChainIndexQuery TxOutRef
_UtxoSetAtAddress :: Prism' ChainIndexQuery (PageQuery TxOutRef, CardanoAddress)
_UtxoSetWithCurrency :: Prism' ChainIndexQuery (PageQuery TxOutRef, AssetClass)
_TxsFromTxIds :: Prism' ChainIndexQuery [TxId]
_TxoSetAtAddress :: Prism' ChainIndexQuery (PageQuery TxOutRef, CardanoAddress)
_GetTip :: Prism' ChainIndexQuery ()
data PABResp
- = AdjustUnbalancedTxResp UnbalancedTx
- | AwaitSlotResp Slot
- | AwaitTimeResp POSIXTime
- | AwaitUtxoSpentResp ChainIndexTx
- | AwaitUtxoProducedResp (NonEmpty ChainIndexTx)
- | AwaitTxStatusChangeResp TxId TxStatus
- | AwaitTxOutStatusChangeResp TxIn 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 ()
_AdjustUnbalancedTxResp :: Prism' PABResp UnbalancedTx
_AwaitSlotResp :: Prism' PABResp Slot
_AwaitTimeResp :: Prism' PABResp POSIXTime
_AwaitUtxoSpentResp :: Prism' PABResp ChainIndexTx
_AwaitUtxoProducedResp :: Prism' PABResp (NonEmpty ChainIndexTx)
_CurrentNodeClientSlotResp :: Prism' PABResp Slot
_CurrentChainIndexSlotResp :: Prism' PABResp Slot
_CurrentTimeResp :: Prism' PABResp POSIXTime
_CurrentNodeClientTimeRangeResp :: Prism' PABResp (POSIXTime, POSIXTime)
_AwaitTxStatusChangeResp :: Prism' PABResp (TxId, TxStatus)
_AwaitTxStatusChangeResp' :: TxId -> Prism' PABResp TxStatus
_AwaitTxOutStatusChangeResp :: Prism' PABResp (TxIn, TxOutStatus)
_GetParamsResp :: Prism' PABResp Params
_OwnContractInstanceIdResp :: Prism' PABResp ContractInstanceId
_OwnAddressesResp :: Prism' PABResp (NonEmpty CardanoAddress)
_ChainIndexQueryResp :: Prism' PABResp ChainIndexResponse
_BalanceTxResp :: Prism' PABResp BalanceTxResponse
_WriteBalancedTxResp :: Prism' PABResp WriteBalancedTxResponse
_ExposeEndpointResp :: Prism' PABResp (EndpointDescription, EndpointValue Value)
_PosixTimeRangeToContainedSlotRangeResp :: Prism' PABResp (Either SlotConversionError SlotRange)
_YieldUnbalancedTxResp :: Prism' PABResp ()
_DatumHashResponse :: Prism' ChainIndexResponse (Maybe Datum)
_ValidatorHashResponse :: Prism' ChainIndexResponse (Maybe (Versioned Validator))
_MintingPolicyHashResponse :: Prism' ChainIndexResponse (Maybe (Versioned MintingPolicy))
_RedeemerHashResponse :: Prism' ChainIndexResponse (Maybe Redeemer)
_TxOutRefResponse :: Prism' ChainIndexResponse (Maybe DecoratedTxOut)
_UnspentTxOutResponse :: Prism' ChainIndexResponse (Maybe DecoratedTxOut)
_TxIdResponse :: Prism' ChainIndexResponse (Maybe ChainIndexTx)
_UtxoSetMembershipResponse :: Prism' ChainIndexResponse IsUtxoResponse
_UtxoSetAtResponse :: Prism' ChainIndexResponse UtxosResponse
_UtxoSetWithCurrencyResponse :: Prism' ChainIndexResponse UtxosResponse
_TxIdsResponse :: Prism' ChainIndexResponse [ChainIndexTx]
_TxoSetAtResponse :: Prism' ChainIndexResponse TxosResponse
_GetTipResponse :: Prism' ChainIndexResponse Tip
matches :: PABReq -> PABResp -> Bool
data ChainIndexQuery
- = DatumFromHash DatumHash
- | ValidatorFromHash ValidatorHash
- | MintingPolicyFromHash MintingPolicyHash
- | StakeValidatorFromHash StakeValidatorHash
- | RedeemerFromHash RedeemerHash
- | TxOutFromRef TxOutRef
- | UnspentTxOutFromRef TxOutRef
- | TxFromTxId TxId
- | UtxoSetMembership TxOutRef
- | UtxoSetAtAddress (PageQuery TxOutRef) CardanoAddress
- | UnspentTxOutSetAtAddress (PageQuery TxOutRef) CardanoAddress
- | DatumsAtAddress (PageQuery TxOutRef) CardanoAddress
- | UtxoSetWithCurrency (PageQuery TxOutRef) AssetClass
- | TxsFromTxIds [TxId]
- | TxoSetAtAddress (PageQuery TxOutRef) CardanoAddress
- | GetTip
data ChainIndexResponse
- = 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
data BalanceTxResponse
- = BalanceTxFailed WalletAPIError
- | BalanceTxSuccess CardanoTx
balanceTxResponse :: Iso' BalanceTxResponse (Either WalletAPIError CardanoTx)
data WriteBalancedTxResponse
- = WriteBalancedTxFailed WalletAPIError
- | WriteBalancedTxSuccess CardanoTx
writeBalancedTxResponse :: Iso' WriteBalancedTxResponse (Either WalletAPIError CardanoTx)
data ActiveEndpoint = ActiveEndpoint {
- aeDescription :: EndpointDescription
- aeMetadata :: Maybe Value
}

Plutus application backend request effect types

data PABReq Source #

Requests that Contracts can make

Constructors

AdjustUnbalancedTxReq UnbalancedTx
AwaitSlotReq Slot
AwaitTimeReq POSIXTime
AwaitUtxoSpentReq TxIn
AwaitUtxoProducedReq CardanoAddress
AwaitTxStatusChangeReq TxId
AwaitTxOutStatusChangeReq TxIn
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 #
FromJSON PABReq Source #
Instance details Defined in Plutus.Contract.Effects Methods parseJSON :: Value -> Parser PABReq parseJSONList :: Value -> Parser [PABReq]
ToJSON PABReq Source #
Instance details Defined in Plutus.Contract.Effects Methods toJSON :: PABReq -> Value toEncoding :: PABReq -> Encoding toJSONList :: [PABReq] -> Value toEncodingList :: [PABReq] -> Encoding
Pretty PABReq Source #
Instance details Defined in Plutus.Contract.Effects Methods pretty :: PABReq -> Doc ann prettyList :: [PABReq] -> Doc ann
type Rep PABReq Source #
Instance details Defined in Plutus.Contract.Effects type Rep PABReq = D1 ('MetaData "PABReq" "Plutus.Contract.Effects" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" '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 TxIn)) :+: 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 TxIn))) :+: (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 TxIn 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 TxIn 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, CardanoAddress) Source #

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

_TxsFromTxIds :: Prism' ChainIndexQuery [TxId] Source #

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

_GetTip :: Prism' ChainIndexQuery () Source #

Plutus application backend response effect types

data PABResp Source #

Responses that Contracts receive

Constructors

AdjustUnbalancedTxResp UnbalancedTx
AwaitSlotResp Slot
AwaitTimeResp POSIXTime
AwaitUtxoSpentResp ChainIndexTx
AwaitUtxoProducedResp (NonEmpty ChainIndexTx)
AwaitTxStatusChangeResp TxId TxStatus
AwaitTxOutStatusChangeResp TxIn 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 #
FromJSON PABResp Source #
Instance details Defined in Plutus.Contract.Effects Methods parseJSON :: Value -> Parser PABResp parseJSONList :: Value -> Parser [PABResp]
ToJSON PABResp Source #
Instance details Defined in Plutus.Contract.Effects Methods toJSON :: PABResp -> Value toEncoding :: PABResp -> Encoding toJSONList :: [PABResp] -> Value toEncodingList :: [PABResp] -> Encoding
Pretty PABResp Source #
Instance details Defined in Plutus.Contract.Effects Methods pretty :: PABResp -> Doc ann prettyList :: [PABResp] -> Doc ann
type Rep PABResp Source #
Instance details Defined in Plutus.Contract.Effects type Rep PABResp = D1 ('MetaData "PABResp" "Plutus.Contract.Effects" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" 'False) ((((C1 ('MetaCons "AdjustUnbalancedTxResp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 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 TxIn) :: 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 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 (TxIn, 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) CardanoAddress
UnspentTxOutSetAtAddress (PageQuery TxOutRef) CardanoAddress
DatumsAtAddress (PageQuery TxOutRef) CardanoAddress
UtxoSetWithCurrency (PageQuery TxOutRef) AssetClass
TxsFromTxIds [TxId]
TxoSetAtAddress (PageQuery TxOutRef) CardanoAddress
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 #
FromJSON ChainIndexQuery Source #
Instance details Defined in Plutus.Contract.Effects Methods parseJSON :: Value -> Parser ChainIndexQuery parseJSONList :: Value -> Parser [ChainIndexQuery]
ToJSON ChainIndexQuery Source #
Instance details Defined in Plutus.Contract.Effects Methods toJSON :: ChainIndexQuery -> Value toEncoding :: ChainIndexQuery -> Encoding toJSONList :: [ChainIndexQuery] -> Value toEncodingList :: [ChainIndexQuery] -> Encoding
Pretty ChainIndexQuery Source #
Instance details Defined in Plutus.Contract.Effects Methods pretty :: ChainIndexQuery -> Doc ann prettyList :: [ChainIndexQuery] -> Doc ann
type Rep ChainIndexQuery Source #
Instance details Defined in Plutus.Contract.Effects type Rep ChainIndexQuery = D1 ('MetaData "ChainIndexQuery" "Plutus.Contract.Effects" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" '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 CardanoAddress))) :+: (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 CardanoAddress)) :+: 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 CardanoAddress)))) :+: ((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 CardanoAddress)) :+: 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 #
FromJSON ChainIndexResponse Source #
Instance details Defined in Plutus.Contract.Effects Methods parseJSON :: Value -> Parser ChainIndexResponse parseJSONList :: Value -> Parser [ChainIndexResponse]
ToJSON ChainIndexResponse Source #
Instance details Defined in Plutus.Contract.Effects Methods toJSON :: ChainIndexResponse -> Value toEncoding :: ChainIndexResponse -> Encoding toJSONList :: [ChainIndexResponse] -> Value toEncodingList :: [ChainIndexResponse] -> Encoding
Pretty ChainIndexResponse Source #
Instance details Defined in Plutus.Contract.Effects Methods pretty :: ChainIndexResponse -> Doc ann prettyList :: [ChainIndexResponse] -> Doc ann
type Rep ChainIndexResponse Source #
Instance details Defined in Plutus.Contract.Effects type Rep ChainIndexResponse = D1 ('MetaData "ChainIndexResponse" "Plutus.Contract.Effects" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" '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 #
FromJSON BalanceTxResponse Source #
Instance details Defined in Plutus.Contract.Effects Methods parseJSON :: Value -> Parser BalanceTxResponse parseJSONList :: Value -> Parser [BalanceTxResponse]
ToJSON BalanceTxResponse Source #
Instance details Defined in Plutus.Contract.Effects Methods toJSON :: BalanceTxResponse -> Value toEncoding :: BalanceTxResponse -> Encoding toJSONList :: [BalanceTxResponse] -> Value toEncodingList :: [BalanceTxResponse] -> Encoding
Pretty BalanceTxResponse Source #
Instance details Defined in Plutus.Contract.Effects Methods pretty :: BalanceTxResponse -> Doc ann prettyList :: [BalanceTxResponse] -> Doc ann
type Rep BalanceTxResponse Source #
Instance details Defined in Plutus.Contract.Effects type Rep BalanceTxResponse = D1 ('MetaData "BalanceTxResponse" "Plutus.Contract.Effects" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" '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 #
FromJSON WriteBalancedTxResponse Source #
Instance details Defined in Plutus.Contract.Effects Methods parseJSON :: Value -> Parser WriteBalancedTxResponse parseJSONList :: Value -> Parser [WriteBalancedTxResponse]
ToJSON WriteBalancedTxResponse Source #
Instance details Defined in Plutus.Contract.Effects Methods toJSON :: WriteBalancedTxResponse -> Value toEncoding :: WriteBalancedTxResponse -> Encoding toJSONList :: [WriteBalancedTxResponse] -> Value toEncodingList :: [WriteBalancedTxResponse] -> Encoding
Pretty WriteBalancedTxResponse Source #
Instance details Defined in Plutus.Contract.Effects Methods pretty :: WriteBalancedTxResponse -> Doc ann prettyList :: [WriteBalancedTxResponse] -> Doc ann
type Rep WriteBalancedTxResponse Source #
Instance details Defined in Plutus.Contract.Effects type Rep WriteBalancedTxResponse = D1 ('MetaData "WriteBalancedTxResponse" "Plutus.Contract.Effects" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" '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 aeDescription :: EndpointDescription The name of the endpoint aeMetadata :: Maybe Value Data that should be shown to the user

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 #
FromJSON ActiveEndpoint Source #
Instance details Defined in Plutus.Contract.Effects Methods parseJSON :: Value -> Parser ActiveEndpoint parseJSONList :: Value -> Parser [ActiveEndpoint]
ToJSON ActiveEndpoint Source #
Instance details Defined in Plutus.Contract.Effects Methods toJSON :: ActiveEndpoint -> Value toEncoding :: ActiveEndpoint -> Encoding toJSONList :: [ActiveEndpoint] -> Value toEncodingList :: [ActiveEndpoint] -> Encoding
Pretty ActiveEndpoint Source #
Instance details Defined in Plutus.Contract.Effects Methods pretty :: ActiveEndpoint -> Doc ann prettyList :: [ActiveEndpoint] -> Doc ann
type Rep ActiveEndpoint Source #
Instance details Defined in Plutus.Contract.Effects type Rep ActiveEndpoint = D1 ('MetaData "ActiveEndpoint" "Plutus.Contract.Effects" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" '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))))