| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusLedgerApi.V4.Data.Contexts
Synopsis
- newtype ColdCommitteeCredential = ColdCommitteeCredential Credential
- newtype HotCommitteeCredential = HotCommitteeCredential Credential
- newtype DRepCredential = DRepCredential Credential
- data DRep
- matchDRep ∷ ∀ r. DRep → (DRepCredential → r) → r → r → r
- pattern DRep ∷ DRepCredential → DRep
- pattern DRepAlwaysAbstain ∷ DRep
- pattern DRepAlwaysNoConfidence ∷ DRep
- data Delegatee
- matchDelegatee ∷ ∀ r. Delegatee → (PubKeyHash → r) → (DRep → r) → (PubKeyHash → DRep → r) → r
- pattern DelegStake ∷ PubKeyHash → Delegatee
- pattern DelegVote ∷ DRep → Delegatee
- pattern DelegStakeVote ∷ PubKeyHash → DRep → Delegatee
- newtype AccountId = AccountId Credential
- data AccountBalanceInterval
- matchAccountBalanceInterval ∷ ∀ r. AccountBalanceInterval → (Lovelace → r) → (Lovelace → r) → (Lovelace → Lovelace → r) → (Lovelace → r) → r
- pattern AccountBalanceLowerBound ∷ Lovelace → AccountBalanceInterval
- pattern AccountBalanceUpperBound ∷ Lovelace → AccountBalanceInterval
- pattern AccountBalanceBothBounds ∷ Lovelace → Lovelace → AccountBalanceInterval
- pattern AccountBalanceExact ∷ Lovelace → AccountBalanceInterval
- newtype AccountBalanceIntervals = AccountBalanceIntervals (Map AccountId AccountBalanceInterval)
- data TxCert
- matchTxCert ∷ ∀ r. TxCert → (AccountId → Lovelace → r) → (AccountId → Lovelace → r) → (AccountId → Delegatee → r) → (AccountId → Delegatee → Lovelace → r) → (DRepCredential → Lovelace → r) → (DRepCredential → r) → (DRepCredential → Lovelace → r) → (PubKeyHash → PubKeyHash → r) → (PubKeyHash → Integer → r) → (ColdCommitteeCredential → HotCommitteeCredential → r) → (ColdCommitteeCredential → r) → r
- pattern TxCertRegAccount ∷ AccountId → Lovelace → TxCert
- pattern TxCertUnRegAccount ∷ AccountId → Lovelace → TxCert
- pattern TxCertDelegAccount ∷ AccountId → Delegatee → TxCert
- pattern TxCertRegAccountDeleg ∷ AccountId → Delegatee → Lovelace → TxCert
- pattern TxCertRegDRep ∷ DRepCredential → Lovelace → TxCert
- pattern TxCertUpdateDRep ∷ DRepCredential → TxCert
- pattern TxCertUnRegDRep ∷ DRepCredential → Lovelace → TxCert
- pattern TxCertPoolRegister ∷ PubKeyHash → PubKeyHash → TxCert
- pattern TxCertPoolRetire ∷ PubKeyHash → Integer → TxCert
- pattern TxCertAuthHotCommittee ∷ ColdCommitteeCredential → HotCommitteeCredential → TxCert
- pattern TxCertResignColdCommittee ∷ ColdCommitteeCredential → TxCert
- data Voter
- matchVoter ∷ ∀ r. Voter → (HotCommitteeCredential → r) → (DRepCredential → r) → (PubKeyHash → r) → r
- pattern CommitteeVoter ∷ HotCommitteeCredential → Voter
- pattern DRepVoter ∷ DRepCredential → Voter
- pattern StakePoolVoter ∷ PubKeyHash → Voter
- data Vote
- matchVote ∷ ∀ r. Vote → r → r → r → r
- pattern VoteNo ∷ Vote
- pattern VoteYes ∷ Vote
- pattern Abstain ∷ Vote
- data GovernanceActionId
- pattern GovernanceActionId ∷ TxId → Integer → GovernanceActionId
- matchGovernanceActionId ∷ ∀ r. GovernanceActionId → (TxId → Integer → r) → r
- gaidTxId ∷ GovernanceActionId → TxId
- gaidGovActionIx ∷ GovernanceActionId → Integer
- data Committee
- pattern Committee ∷ Map ColdCommitteeCredential Integer → Rational → Committee
- matchCommittee ∷ ∀ r. Committee → (Map ColdCommitteeCredential Integer → Rational → r) → r
- committeeMembers ∷ Committee → Map ColdCommitteeCredential Integer
- committeeQuorum ∷ Committee → Rational
- newtype Constitution = Constitution {}
- data ProtocolVersion
- pattern ProtocolVersion ∷ Integer → Integer → ProtocolVersion
- matchProtocolVersion ∷ ∀ r. ProtocolVersion → (Integer → Integer → r) → r
- pvMajor ∷ ProtocolVersion → Integer
- pvMinor ∷ ProtocolVersion → Integer
- newtype ChangedParameters = ChangedParameters {}
- data GovernanceAction
- matchGovernanceAction ∷ ∀ r. GovernanceAction → (Maybe GovernanceActionId → ChangedParameters → Maybe ScriptHash → r) → (Maybe GovernanceActionId → ProtocolVersion → r) → (Map Credential Lovelace → Maybe ScriptHash → r) → (Maybe GovernanceActionId → r) → (Maybe GovernanceActionId → List ColdCommitteeCredential → Map ColdCommitteeCredential Integer → Rational → r) → (Maybe GovernanceActionId → Constitution → r) → r → r
- pattern ParameterChange ∷ Maybe GovernanceActionId → ChangedParameters → Maybe ScriptHash → GovernanceAction
- pattern HardForkInitiation ∷ Maybe GovernanceActionId → ProtocolVersion → GovernanceAction
- pattern TreasuryWithdrawals ∷ Map Credential Lovelace → Maybe ScriptHash → GovernanceAction
- pattern NoConfidence ∷ Maybe GovernanceActionId → GovernanceAction
- pattern UpdateCommittee ∷ Maybe GovernanceActionId → List ColdCommitteeCredential → Map ColdCommitteeCredential Integer → Rational → GovernanceAction
- pattern NewConstitution ∷ Maybe GovernanceActionId → Constitution → GovernanceAction
- pattern InfoAction ∷ GovernanceAction
- data ProposalProcedure
- pattern ProposalProcedure ∷ Lovelace → Credential → GovernanceAction → ProposalProcedure
- matchProposalProcedure ∷ ∀ r. ProposalProcedure → (Lovelace → Credential → GovernanceAction → r) → r
- ppDeposit ∷ ProposalProcedure → Lovelace
- ppReturnAddr ∷ ProposalProcedure → Credential
- ppGovernanceAction ∷ ProposalProcedure → GovernanceAction
- data ScriptPurpose
- matchScriptPurpose ∷ ∀ r. ScriptPurpose → (ScriptHash → CurrencySymbol → r) → (ScriptHash → TxOutRef → r) → (ScriptHash → Credential → r) → (ScriptHash → Integer → TxCert → r) → (ScriptHash → Voter → r) → (ScriptHash → Integer → ProposalProcedure → r) → (ScriptHash → Integer → r) → r
- pattern Minting ∷ ScriptHash → CurrencySymbol → ScriptPurpose
- pattern Spending ∷ ScriptHash → TxOutRef → ScriptPurpose
- pattern Withdrawing ∷ ScriptHash → Credential → ScriptPurpose
- pattern Certifying ∷ ScriptHash → Integer → TxCert → ScriptPurpose
- pattern Voting ∷ ScriptHash → Voter → ScriptPurpose
- pattern Proposing ∷ ScriptHash → Integer → ProposalProcedure → ScriptPurpose
- pattern Guarding ∷ ScriptHash → Integer → ScriptPurpose
- data TxInInfo
- pattern TxInInfo ∷ TxOutRef → TxOut → TxInInfo
- matchTxInInfo ∷ ∀ r. TxInInfo → (TxOutRef → TxOut → r) → r
- txInInfoOutRef ∷ TxInInfo → TxOutRef
- txInInfoResolved ∷ TxInInfo → TxOut
- data TxInfo
- pattern TxInfo ∷ TxId → Maybe Integer → List TxInInfo → List TxInInfo → List TxOut → MintValue → List TxCert → Map Credential Lovelace → Map Credential Lovelace → AccountBalanceIntervals → POSIXTimeRange → List Credential → Map Credential (Maybe Datum) → Map ScriptPurpose Redeemer → Map DatumHash Datum → Map Voter (Map GovernanceActionId Vote) → List ProposalProcedure → Maybe Lovelace → Lovelace → TxInfo
- matchTxInfo ∷ ∀ r. TxInfo → (TxId → Maybe Integer → List TxInInfo → List TxInInfo → List TxOut → MintValue → List TxCert → Map Credential Lovelace → Map Credential Lovelace → AccountBalanceIntervals → POSIXTimeRange → List Credential → Map Credential (Maybe Datum) → Map ScriptPurpose Redeemer → Map DatumHash Datum → Map Voter (Map GovernanceActionId Vote) → List ProposalProcedure → Maybe Lovelace → Lovelace → r) → r
- txInfoId ∷ TxInfo → TxId
- txInfoSubTxIx ∷ TxInfo → Maybe Integer
- txInfoInputs ∷ TxInfo → List TxInInfo
- txInfoReferenceInputs ∷ TxInfo → List TxInInfo
- txInfoOutputs ∷ TxInfo → List TxOut
- txInfoMint ∷ TxInfo → MintValue
- txInfoTxCerts ∷ TxInfo → List TxCert
- txInfoWithdrawals ∷ TxInfo → Map Credential Lovelace
- txInfoDirectDeposits ∷ TxInfo → Map Credential Lovelace
- txInfoAccountBalanceIntervals ∷ TxInfo → AccountBalanceIntervals
- txInfoValidRange ∷ TxInfo → POSIXTimeRange
- txInfoGuards ∷ TxInfo → List Credential
- txInfoRequiredTopLevelGuards ∷ TxInfo → Map Credential (Maybe Datum)
- txInfoRedeemers ∷ TxInfo → Map ScriptPurpose Redeemer
- txInfoData ∷ TxInfo → Map DatumHash Datum
- txInfoVotes ∷ TxInfo → Map Voter (Map GovernanceActionId Vote)
- txInfoProposalProcedures ∷ TxInfo → List ProposalProcedure
- txInfoCurrentTreasuryAmount ∷ TxInfo → Maybe Lovelace
- txInfoTreasuryDonation ∷ TxInfo → Lovelace
- data TopTxInfoSimplified
- pattern TopTxInfoSimplified ∷ List TxId → List TxInInfo → List TxInInfo → List TxOut → MintValue → MintValue → List TxCert → Map Credential Lovelace → Map Credential Lovelace → POSIXTimeRange → List Credential → List Credential → List ScriptPurpose → Map DatumHash Datum → Map Voter (Map GovernanceActionId Vote) → List ProposalProcedure → Maybe Lovelace → Lovelace → TopTxInfoSimplified
- matchTopTxInfoSimplified ∷ ∀ r. TopTxInfoSimplified → (List TxId → List TxInInfo → List TxInInfo → List TxOut → MintValue → MintValue → List TxCert → Map Credential Lovelace → Map Credential Lovelace → POSIXTimeRange → List Credential → List Credential → List ScriptPurpose → Map DatumHash Datum → Map Voter (Map GovernanceActionId Vote) → List ProposalProcedure → Maybe Lovelace → Lovelace → r) → r
- ttisIds ∷ TopTxInfoSimplified → List TxId
- ttisInputs ∷ TopTxInfoSimplified → List TxInInfo
- ttisReferenceInputs ∷ TopTxInfoSimplified → List TxInInfo
- ttisOutputs ∷ TopTxInfoSimplified → List TxOut
- ttisMints ∷ TopTxInfoSimplified → MintValue
- ttisBurns ∷ TopTxInfoSimplified → MintValue
- ttisTxCerts ∷ TopTxInfoSimplified → List TxCert
- ttisWithdrawals ∷ TopTxInfoSimplified → Map Credential Lovelace
- ttisDirectDeposits ∷ TopTxInfoSimplified → Map Credential Lovelace
- ttisValidRange ∷ TopTxInfoSimplified → POSIXTimeRange
- ttisGuards ∷ TopTxInfoSimplified → List Credential
- ttisRequiredTopLevelGuards ∷ TopTxInfoSimplified → List Credential
- ttisScriptPurposes ∷ TopTxInfoSimplified → List ScriptPurpose
- ttisData ∷ TopTxInfoSimplified → Map DatumHash Datum
- ttisVotes ∷ TopTxInfoSimplified → Map Voter (Map GovernanceActionId Vote)
- ttisProposalProcedures ∷ TopTxInfoSimplified → List ProposalProcedure
- ttisCurrentTreasuryAmount ∷ TopTxInfoSimplified → Maybe Lovelace
- ttisTreasuryDonations ∷ TopTxInfoSimplified → Lovelace
- data TopTxInfo
- pattern TopTxInfo ∷ List TxInfo → Map TxId Datum → AccountBalanceIntervals → TopTxInfoSimplified → TopTxInfo
- matchTopTxInfo ∷ ∀ r. TopTxInfo → (List TxInfo → Map TxId Datum → AccountBalanceIntervals → TopTxInfoSimplified → r) → r
- topTxInfoSubTransactions ∷ TopTxInfo → List TxInfo
- topTxInfoDatums ∷ TopTxInfo → Map TxId Datum
- topTxInfoStartingAccountBalanceIntervals ∷ TopTxInfo → AccountBalanceIntervals
- topTxInfoSimplified ∷ TopTxInfo → TopTxInfoSimplified
- data ScriptInfo
- matchScriptInfo ∷ ∀ r. ScriptInfo → (CurrencySymbol → r) → (TxOutRef → Maybe Datum → r) → (AccountId → r) → (Integer → TxCert → r) → (Voter → r) → (Integer → ProposalProcedure → r) → (Integer → Maybe TopTxInfo → r) → r
- pattern MintingScript ∷ CurrencySymbol → ScriptInfo
- pattern SpendingScript ∷ TxOutRef → Maybe Datum → ScriptInfo
- pattern WithdrawingScript ∷ AccountId → ScriptInfo
- pattern CertifyingScript ∷ Integer → TxCert → ScriptInfo
- pattern VotingScript ∷ Voter → ScriptInfo
- pattern ProposingScript ∷ Integer → ProposalProcedure → ScriptInfo
- pattern GuardingScript ∷ Integer → Maybe TopTxInfo → ScriptInfo
- data ScriptContext
- pattern ScriptContext ∷ TxInfo → Redeemer → ScriptInfo → ScriptHash → ScriptContext
- matchScriptContext ∷ ∀ r. ScriptContext → (TxInfo → Redeemer → ScriptInfo → ScriptHash → r) → r
- scriptContextTxInfo ∷ ScriptContext → TxInfo
- scriptContextRedeemer ∷ ScriptContext → Redeemer
- scriptContextScriptInfo ∷ ScriptContext → ScriptInfo
- scriptContextScriptHash ∷ ScriptContext → ScriptHash
- findOwnInput ∷ ScriptContext → Maybe TxInInfo
- findDatum ∷ DatumHash → TxInfo → Maybe Datum
- findDatumHash ∷ Datum → TxInfo → Maybe DatumHash
- findTxInByTxOutRef ∷ TxOutRef → TxInfo → Maybe TxInInfo
- findContinuingOutputs ∷ ScriptContext → List Integer
- getContinuingOutputs ∷ ScriptContext → List TxOut
- txSignedBy ∷ TxInfo → PubKeyHash → Bool
- pubKeyOutputsAt ∷ PubKeyHash → TxInfo → List Value
- valuePaidTo ∷ TxInfo → PubKeyHash → Value
- valueSpent ∷ TxInfo → Value
- valueProduced ∷ TxInfo → Value
- ownCurrencySymbol ∷ ScriptContext → CurrencySymbol
- spendsOutput ∷ TxInfo → TxId → Integer → Bool
Documentation
newtype ColdCommitteeCredential Source #
Constructors
| ColdCommitteeCredential Credential |
Instances
newtype HotCommitteeCredential Source #
Constructors
| HotCommitteeCredential Credential |
Instances
newtype DRepCredential Source #
Constructors
| DRepCredential Credential |
Instances
Instances
matchDRep ∷ ∀ r. DRep → (DRepCredential → r) → r → r → r Source #
pattern DRep ∷ DRepCredential → DRep Source #
pattern DRepAlwaysAbstain ∷ DRep Source #
pattern DRepAlwaysNoConfidence ∷ DRep Source #
Instances
matchDelegatee ∷ ∀ r. Delegatee → (PubKeyHash → r) → (DRep → r) → (PubKeyHash → DRep → r) → r Source #
pattern DelegStake ∷ PubKeyHash → Delegatee Source #
pattern DelegStakeVote ∷ PubKeyHash → DRep → Delegatee Source #
Constructors
| AccountId Credential |
Instances
data AccountBalanceInterval Source #
Instances
matchAccountBalanceInterval ∷ ∀ r. AccountBalanceInterval → (Lovelace → r) → (Lovelace → r) → (Lovelace → Lovelace → r) → (Lovelace → r) → r Source #
pattern AccountBalanceLowerBound ∷ Lovelace → AccountBalanceInterval Source #
pattern AccountBalanceUpperBound ∷ Lovelace → AccountBalanceInterval Source #
pattern AccountBalanceBothBounds ∷ Lovelace → Lovelace → AccountBalanceInterval Source #
pattern AccountBalanceExact ∷ Lovelace → AccountBalanceInterval Source #
newtype AccountBalanceIntervals Source #
Constructors
| AccountBalanceIntervals (Map AccountId AccountBalanceInterval) |
Instances
Instances
matchTxCert ∷ ∀ r. TxCert → (AccountId → Lovelace → r) → (AccountId → Lovelace → r) → (AccountId → Delegatee → r) → (AccountId → Delegatee → Lovelace → r) → (DRepCredential → Lovelace → r) → (DRepCredential → r) → (DRepCredential → Lovelace → r) → (PubKeyHash → PubKeyHash → r) → (PubKeyHash → Integer → r) → (ColdCommitteeCredential → HotCommitteeCredential → r) → (ColdCommitteeCredential → r) → r Source #
pattern TxCertRegDRep ∷ DRepCredential → Lovelace → TxCert Source #
pattern TxCertUpdateDRep ∷ DRepCredential → TxCert Source #
pattern TxCertUnRegDRep ∷ DRepCredential → Lovelace → TxCert Source #
pattern TxCertPoolRegister ∷ PubKeyHash → PubKeyHash → TxCert Source #
pattern TxCertPoolRetire ∷ PubKeyHash → Integer → TxCert Source #
pattern TxCertResignColdCommittee ∷ ColdCommitteeCredential → TxCert Source #
Instances
matchVoter ∷ ∀ r. Voter → (HotCommitteeCredential → r) → (DRepCredential → r) → (PubKeyHash → r) → r Source #
pattern CommitteeVoter ∷ HotCommitteeCredential → Voter Source #
pattern DRepVoter ∷ DRepCredential → Voter Source #
pattern StakePoolVoter ∷ PubKeyHash → Voter Source #
A vote. The optional anchor is omitted.
Instances
data GovernanceActionId Source #
Instances
pattern GovernanceActionId ∷ TxId → Integer → GovernanceActionId Source #
matchGovernanceActionId ∷ ∀ r. GovernanceActionId → (TxId → Integer → r) → r Source #
Instances
matchCommittee ∷ ∀ r. Committee → (Map ColdCommitteeCredential Integer → Rational → r) → r Source #
newtype Constitution Source #
Constructors
| Constitution | |
Fields | |
Instances
data ProtocolVersion Source #
Instances
pattern ProtocolVersion ∷ Integer → Integer → ProtocolVersion Source #
matchProtocolVersion ∷ ∀ r. ProtocolVersion → (Integer → Integer → r) → r Source #
newtype ChangedParameters Source #
A Plutus Data object containing proposed parameter changes. The Data object contains
a Map with one entry per changed parameter, from the parameter ID to the new value.
Unchanged parameters are not included.
The mapping from parameter IDs to parameters can be found in conway.cddl. -- editorconfig-checker-disable-file
Invariant: This map is non-empty, and the keys are stored in ascending order.
Constructors
| ChangedParameters | |
Fields | |
Instances
data GovernanceAction Source #
Instances
matchGovernanceAction ∷ ∀ r. GovernanceAction → (Maybe GovernanceActionId → ChangedParameters → Maybe ScriptHash → r) → (Maybe GovernanceActionId → ProtocolVersion → r) → (Map Credential Lovelace → Maybe ScriptHash → r) → (Maybe GovernanceActionId → r) → (Maybe GovernanceActionId → List ColdCommitteeCredential → Map ColdCommitteeCredential Integer → Rational → r) → (Maybe GovernanceActionId → Constitution → r) → r → r Source #
pattern ParameterChange ∷ Maybe GovernanceActionId → ChangedParameters → Maybe ScriptHash → GovernanceAction Source #
pattern HardForkInitiation ∷ Maybe GovernanceActionId → ProtocolVersion → GovernanceAction Source #
pattern TreasuryWithdrawals ∷ Map Credential Lovelace → Maybe ScriptHash → GovernanceAction Source #
pattern NoConfidence ∷ Maybe GovernanceActionId → GovernanceAction Source #
pattern UpdateCommittee ∷ Maybe GovernanceActionId → List ColdCommitteeCredential → Map ColdCommitteeCredential Integer → Rational → GovernanceAction Source #
pattern NewConstitution ∷ Maybe GovernanceActionId → Constitution → GovernanceAction Source #
pattern InfoAction ∷ GovernanceAction Source #
data ProposalProcedure Source #
Instances
pattern ProposalProcedure ∷ Lovelace → Credential → GovernanceAction → ProposalProcedure Source #
matchProposalProcedure ∷ ∀ r. ProposalProcedure → (Lovelace → Credential → GovernanceAction → r) → r Source #
data ScriptPurpose Source #
Instances
matchScriptPurpose ∷ ∀ r. ScriptPurpose → (ScriptHash → CurrencySymbol → r) → (ScriptHash → TxOutRef → r) → (ScriptHash → Credential → r) → (ScriptHash → Integer → TxCert → r) → (ScriptHash → Voter → r) → (ScriptHash → Integer → ProposalProcedure → r) → (ScriptHash → Integer → r) → r Source #
pattern Minting ∷ ScriptHash → CurrencySymbol → ScriptPurpose Source #
pattern Spending ∷ ScriptHash → TxOutRef → ScriptPurpose Source #
pattern Withdrawing ∷ ScriptHash → Credential → ScriptPurpose Source #
pattern Certifying ∷ ScriptHash → Integer → TxCert → ScriptPurpose Source #
pattern Voting ∷ ScriptHash → Voter → ScriptPurpose Source #
pattern Proposing ∷ ScriptHash → Integer → ProposalProcedure → ScriptPurpose Source #
pattern Guarding ∷ ScriptHash → Integer → ScriptPurpose Source #
Instances
Instances
pattern TxInfo ∷ TxId → Maybe Integer → List TxInInfo → List TxInInfo → List TxOut → MintValue → List TxCert → Map Credential Lovelace → Map Credential Lovelace → AccountBalanceIntervals → POSIXTimeRange → List Credential → Map Credential (Maybe Datum) → Map ScriptPurpose Redeemer → Map DatumHash Datum → Map Voter (Map GovernanceActionId Vote) → List ProposalProcedure → Maybe Lovelace → Lovelace → TxInfo Source #
matchTxInfo ∷ ∀ r. TxInfo → (TxId → Maybe Integer → List TxInInfo → List TxInInfo → List TxOut → MintValue → List TxCert → Map Credential Lovelace → Map Credential Lovelace → AccountBalanceIntervals → POSIXTimeRange → List Credential → Map Credential (Maybe Datum) → Map ScriptPurpose Redeemer → Map DatumHash Datum → Map Voter (Map GovernanceActionId Vote) → List ProposalProcedure → Maybe Lovelace → Lovelace → r) → r Source #
txInfoMint ∷ TxInfo → MintValue Source #
data TopTxInfoSimplified Source #
Instances
pattern TopTxInfoSimplified ∷ List TxId → List TxInInfo → List TxInInfo → List TxOut → MintValue → MintValue → List TxCert → Map Credential Lovelace → Map Credential Lovelace → POSIXTimeRange → List Credential → List Credential → List ScriptPurpose → Map DatumHash Datum → Map Voter (Map GovernanceActionId Vote) → List ProposalProcedure → Maybe Lovelace → Lovelace → TopTxInfoSimplified Source #
matchTopTxInfoSimplified ∷ ∀ r. TopTxInfoSimplified → (List TxId → List TxInInfo → List TxInInfo → List TxOut → MintValue → MintValue → List TxCert → Map Credential Lovelace → Map Credential Lovelace → POSIXTimeRange → List Credential → List Credential → List ScriptPurpose → Map DatumHash Datum → Map Voter (Map GovernanceActionId Vote) → List ProposalProcedure → Maybe Lovelace → Lovelace → r) → r Source #
Instances
pattern TopTxInfo ∷ List TxInfo → Map TxId Datum → AccountBalanceIntervals → TopTxInfoSimplified → TopTxInfo Source #
matchTopTxInfo ∷ ∀ r. TopTxInfo → (List TxInfo → Map TxId Datum → AccountBalanceIntervals → TopTxInfoSimplified → r) → r Source #
data ScriptInfo Source #
Instances
matchScriptInfo ∷ ∀ r. ScriptInfo → (CurrencySymbol → r) → (TxOutRef → Maybe Datum → r) → (AccountId → r) → (Integer → TxCert → r) → (Voter → r) → (Integer → ProposalProcedure → r) → (Integer → Maybe TopTxInfo → r) → r Source #
pattern MintingScript ∷ CurrencySymbol → ScriptInfo Source #
pattern SpendingScript ∷ TxOutRef → Maybe Datum → ScriptInfo Source #
pattern WithdrawingScript ∷ AccountId → ScriptInfo Source #
pattern CertifyingScript ∷ Integer → TxCert → ScriptInfo Source #
pattern VotingScript ∷ Voter → ScriptInfo Source #
pattern ProposingScript ∷ Integer → ProposalProcedure → ScriptInfo Source #
pattern GuardingScript ∷ Integer → Maybe TopTxInfo → ScriptInfo Source #
data ScriptContext Source #
Instances
pattern ScriptContext ∷ TxInfo → Redeemer → ScriptInfo → ScriptHash → ScriptContext Source #
matchScriptContext ∷ ∀ r. ScriptContext → (TxInfo → Redeemer → ScriptInfo → ScriptHash → r) → r Source #
findContinuingOutputs ∷ ScriptContext → List Integer Source #
Find the indices of outputs in the current sub-transaction or top-level transaction that pay to the same script address we are currently spending from. This does not search the outputs of the whole transaction.
getContinuingOutputs ∷ ScriptContext → List TxOut Source #
Get the outputs in the current sub-transaction or top-level transaction that pay to the same script address we are currently spending from. This does not search the outputs of the whole transaction.
txSignedBy ∷ TxInfo → PubKeyHash → Bool Source #
pubKeyOutputsAt ∷ PubKeyHash → TxInfo → List Value Source #
valuePaidTo ∷ TxInfo → PubKeyHash → Value Source #
valueSpent ∷ TxInfo → Value Source #
valueProduced ∷ TxInfo → Value Source #