Documentation

scriptContextTxInfoL ∷ Lens' ScriptContext TxInfo Source #

scriptContextRedeemerL ∷ Lens' ScriptContext Redeemer Source #

scriptContextScriptInfoL ∷ Lens' ScriptContext ScriptInfo Source #

txInfoInputsL ∷ Lens' TxInfo [TxInInfo] Source #

txInfoMintL ∷ Lens' TxInfo MintValue Source #

txInfoSignatoriesL ∷ Lens' TxInfo [PubKeyHash] Source #

txInfoOutputsL ∷ Lens' TxInfo [TxOut] Source #

txInfoValidRangeL ∷ Lens' TxInfo POSIXTimeRange Source #

txInfoRedeemersL ∷ Lens' TxInfo (Map ScriptPurpose Redeemer) Source #

txInfoRedeemersAssocL ∷ Lens' TxInfo (Map ScriptPurpose Redeemer) Source #

txInfoFeeL ∷ Lens' TxInfo Lovelace Source #

txInfoWdrlL ∷ Lens' TxInfo (Map Credential Lovelace) Source #

txInfoVotesL ∷ Lens' TxInfo (Map Voter (Map GovernanceActionId Vote)) Source #

txInfoTxCertsL ∷ Lens' TxInfo [TxCert] Source #

txInfoTreasuryDonationL ∷ Lens' TxInfo (Maybe Lovelace) Source #

txInfoReferenceInputsL ∷ Lens' TxInfo [TxInInfo] Source #

txInfoProposalProceduresL ∷ Lens' TxInfo [ProposalProcedure] Source #

txInfoIdL ∷ Lens' TxInfo TxId Source #

txInfoDataL ∷ Lens' TxInfo (Map DatumHash Datum) Source #

txInfoCurrentTreasuryAmountL ∷ Lens' TxInfo (Maybe Lovelace) Source #

txInInfoOutRefL ∷ Lens' TxInInfo TxOutRef Source #

txInInfoResolvedL ∷ Lens' TxInInfo TxOut Source #

txOutRefIdL ∷ Lens' TxOutRef TxId Source #

txOutRefIdxL ∷ Lens' TxOutRef Integer Source #

txOutAddressL ∷ Lens' TxOut Address Source #

txOutValueL ∷ Lens' TxOut Value Source #

txOutDatumL ∷ Lens' TxOut OutputDatum Source #

txOutReferenceScriptL ∷ Lens' TxOut (Maybe ScriptHash) Source #

addressCredentialL ∷ Lens' Address Credential Source #

addressStakingCredentialL ∷ Lens' Address (Maybe StakingCredential) Source #

mintValueMapL ∷ Lens' MintValue (Map CurrencySymbol (Map TokenName Integer)) Source #

valueMapL ∷ Lens' Value (Map CurrencySymbol (Map TokenName Integer)) Source #

ivFromL ∷ ∀ a. Lens' (Interval a) (LowerBound a) Source #

ivToL ∷ ∀ a. Lens' (Interval a) (UpperBound a) Source #

lowerBoundExtendedL ∷ Lens' (LowerBound a) (Extended a) Source #

lowerBoundClosureL ∷ Lens' (LowerBound a) Closure Source #

upperBoundExtendedL ∷ Lens' (UpperBound a) (Extended a) Source #

upperBoundClosureL ∷ Lens' (UpperBound a) Closure Source #

_NegInf ∷ ∀ a. Prism' (Extended a) () Source #

_Finite ∷ ∀ a a. Prism (Extended a) (Extended a) a a Source #

_PosInf ∷ ∀ a. Prism' (Extended a) () Source #

_NoOutputDatum ∷ Prism' OutputDatum () Source #

_OutputDatumHash ∷ Prism' OutputDatum DatumHash Source #

_OutputDatum ∷ Prism' OutputDatum Datum Source #

_Datum ∷ ∀ a. (FromData a, ToData a) ⇒ Prism' Datum a Source #

_Redeemer ∷ ∀ a. (FromData a, ToData a) ⇒ Prism' Redeemer a Source #