Test.Cardano.Ledger.Generic.Instances
Contents
Methods
applyTx ∷ Int → SlotNo → Model AllegraEra → Tx AllegraEra → Model AllegraEra Source #
applyCert ∷ Model AllegraEra → TxCert AllegraEra → Model AllegraEra Source #
mkRedeemersFromTags ∷ [((PlutusPurposeTag, Word32), (Data AllegraEra, ExUnits))] → Redeemers AllegraEra Source #
mkRedeemers ∷ [(PlutusPurpose AsIx AllegraEra, (Data AllegraEra, ExUnits))] → Redeemers AllegraEra Source #
newScriptIntegrityHash ∷ PParams AllegraEra → [Language] → Redeemers AllegraEra → TxDats AllegraEra → StrictMaybe ScriptIntegrityHash Source #
mkPlutusPurposePointer ∷ PlutusPurposeTag → Word32 → PlutusPurpose AsIx AllegraEra Source #
always ∷ Natural → Script AllegraEra Source #
never ∷ Natural → Script AllegraEra Source #
collateralReturnTxBodyT ∷ Lens' (TxBody AllegraEra) (StrictMaybe (TxOut AllegraEra)) Source #
validTxOut ∷ Map ScriptHash (Script AllegraEra) → TxOut AllegraEra → Bool Source #
applyTx ∷ Int → SlotNo → Model AlonzoEra → Tx AlonzoEra → Model AlonzoEra Source #
applyCert ∷ Model AlonzoEra → TxCert AlonzoEra → Model AlonzoEra Source #
mkRedeemersFromTags ∷ [((PlutusPurposeTag, Word32), (Data AlonzoEra, ExUnits))] → Redeemers AlonzoEra Source #
mkRedeemers ∷ [(PlutusPurpose AsIx AlonzoEra, (Data AlonzoEra, ExUnits))] → Redeemers AlonzoEra Source #
newScriptIntegrityHash ∷ PParams AlonzoEra → [Language] → Redeemers AlonzoEra → TxDats AlonzoEra → StrictMaybe ScriptIntegrityHash Source #
mkPlutusPurposePointer ∷ PlutusPurposeTag → Word32 → PlutusPurpose AsIx AlonzoEra Source #
always ∷ Natural → Script AlonzoEra Source #
never ∷ Natural → Script AlonzoEra Source #
collateralReturnTxBodyT ∷ Lens' (TxBody AlonzoEra) (StrictMaybe (TxOut AlonzoEra)) Source #
validTxOut ∷ Map ScriptHash (Script AlonzoEra) → TxOut AlonzoEra → Bool Source #
applyTx ∷ Int → SlotNo → Model BabbageEra → Tx BabbageEra → Model BabbageEra Source #
applyCert ∷ Model BabbageEra → TxCert BabbageEra → Model BabbageEra Source #
mkRedeemersFromTags ∷ [((PlutusPurposeTag, Word32), (Data BabbageEra, ExUnits))] → Redeemers BabbageEra Source #
mkRedeemers ∷ [(PlutusPurpose AsIx BabbageEra, (Data BabbageEra, ExUnits))] → Redeemers BabbageEra Source #
newScriptIntegrityHash ∷ PParams BabbageEra → [Language] → Redeemers BabbageEra → TxDats BabbageEra → StrictMaybe ScriptIntegrityHash Source #
mkPlutusPurposePointer ∷ PlutusPurposeTag → Word32 → PlutusPurpose AsIx BabbageEra Source #
always ∷ Natural → Script BabbageEra Source #
never ∷ Natural → Script BabbageEra Source #
collateralReturnTxBodyT ∷ Lens' (TxBody BabbageEra) (StrictMaybe (TxOut BabbageEra)) Source #
validTxOut ∷ Map ScriptHash (Script BabbageEra) → TxOut BabbageEra → Bool Source #
applyTx ∷ Int → SlotNo → Model ConwayEra → Tx ConwayEra → Model ConwayEra Source #
applyCert ∷ Model ConwayEra → TxCert ConwayEra → Model ConwayEra Source #
mkRedeemersFromTags ∷ [((PlutusPurposeTag, Word32), (Data ConwayEra, ExUnits))] → Redeemers ConwayEra Source #
mkRedeemers ∷ [(PlutusPurpose AsIx ConwayEra, (Data ConwayEra, ExUnits))] → Redeemers ConwayEra Source #
newScriptIntegrityHash ∷ PParams ConwayEra → [Language] → Redeemers ConwayEra → TxDats ConwayEra → StrictMaybe ScriptIntegrityHash Source #
mkPlutusPurposePointer ∷ PlutusPurposeTag → Word32 → PlutusPurpose AsIx ConwayEra Source #
always ∷ Natural → Script ConwayEra Source #
never ∷ Natural → Script ConwayEra Source #
collateralReturnTxBodyT ∷ Lens' (TxBody ConwayEra) (StrictMaybe (TxOut ConwayEra)) Source #
validTxOut ∷ Map ScriptHash (Script ConwayEra) → TxOut ConwayEra → Bool Source #
applyTx ∷ Int → SlotNo → Model MaryEra → Tx MaryEra → Model MaryEra Source #
applyCert ∷ Model MaryEra → TxCert MaryEra → Model MaryEra Source #
mkRedeemersFromTags ∷ [((PlutusPurposeTag, Word32), (Data MaryEra, ExUnits))] → Redeemers MaryEra Source #
mkRedeemers ∷ [(PlutusPurpose AsIx MaryEra, (Data MaryEra, ExUnits))] → Redeemers MaryEra Source #
newScriptIntegrityHash ∷ PParams MaryEra → [Language] → Redeemers MaryEra → TxDats MaryEra → StrictMaybe ScriptIntegrityHash Source #
mkPlutusPurposePointer ∷ PlutusPurposeTag → Word32 → PlutusPurpose AsIx MaryEra Source #
always ∷ Natural → Script MaryEra Source #
never ∷ Natural → Script MaryEra Source #
collateralReturnTxBodyT ∷ Lens' (TxBody MaryEra) (StrictMaybe (TxOut MaryEra)) Source #
validTxOut ∷ Map ScriptHash (Script MaryEra) → TxOut MaryEra → Bool Source #
applyTx ∷ Int → SlotNo → Model ShelleyEra → Tx ShelleyEra → Model ShelleyEra Source #
applyCert ∷ Model ShelleyEra → TxCert ShelleyEra → Model ShelleyEra Source #
mkRedeemersFromTags ∷ [((PlutusPurposeTag, Word32), (Data ShelleyEra, ExUnits))] → Redeemers ShelleyEra Source #
mkRedeemers ∷ [(PlutusPurpose AsIx ShelleyEra, (Data ShelleyEra, ExUnits))] → Redeemers ShelleyEra Source #
newScriptIntegrityHash ∷ PParams ShelleyEra → [Language] → Redeemers ShelleyEra → TxDats ShelleyEra → StrictMaybe ScriptIntegrityHash Source #
mkPlutusPurposePointer ∷ PlutusPurposeTag → Word32 → PlutusPurpose AsIx ShelleyEra Source #
always ∷ Natural → Script ShelleyEra Source #
never ∷ Natural → Script ShelleyEra Source #
collateralReturnTxBodyT ∷ Lens' (TxBody ShelleyEra) (StrictMaybe (TxOut ShelleyEra)) Source #
validTxOut ∷ Map ScriptHash (Script ShelleyEra) → TxOut ShelleyEra → Bool Source #
setValidity ∷ ValidityInterval → TxBody AllegraEra → TxBody AllegraEra Source #
setReferenceInputs ∷ Set TxIn → TxBody AllegraEra → TxBody AllegraEra Source #
setCollateralInputs ∷ Set TxIn → TxBody AllegraEra → TxBody AllegraEra Source #
setTotalCollateral ∷ StrictMaybe Coin → TxBody AllegraEra → TxBody AllegraEra Source #
setCollateralReturn ∷ StrictMaybe (TxOut AllegraEra) → TxBody AllegraEra → TxBody AllegraEra Source #
addRedeemers ∷ Redeemers AllegraEra → TxWits AllegraEra → TxWits AllegraEra Source #
setScriptIntegrityHash ∷ StrictMaybe ScriptIntegrityHash → TxBody AllegraEra → TxBody AllegraEra Source #
setNetworkIdTxBody ∷ StrictMaybe Network → TxBody AllegraEra → TxBody AllegraEra Source #
genExUnits ∷ Int → GenRS AllegraEra [ExUnits] Source #
genPParams ∷ GenSize → Gen (PParams AllegraEra) Source #
ppMaxCollateralInputsT ∷ Lens' (PParams AllegraEra) Natural Source #
ppCollateralPercentageT ∷ Lens' (PParams AllegraEra) Natural Source #
ppCostModelsT ∷ Lens' (PParams AllegraEra) CostModels Source #
ppMaxTxExUnitsT ∷ Lens' (PParams AllegraEra) ExUnits Source #
ppMaxBlockExUnitsT ∷ Lens' (PParams AllegraEra) ExUnits Source #
ppMaxValSizeT ∷ Lens' (PParams AllegraEra) Natural Source #
mkScriptIntegrityHash ∷ PParams AllegraEra → [Language] → TxWits AllegraEra → StrictMaybe ScriptIntegrityHash Source #
setValidity ∷ ValidityInterval → TxBody AlonzoEra → TxBody AlonzoEra Source #
setReferenceInputs ∷ Set TxIn → TxBody AlonzoEra → TxBody AlonzoEra Source #
setCollateralInputs ∷ Set TxIn → TxBody AlonzoEra → TxBody AlonzoEra Source #
setTotalCollateral ∷ StrictMaybe Coin → TxBody AlonzoEra → TxBody AlonzoEra Source #
setCollateralReturn ∷ StrictMaybe (TxOut AlonzoEra) → TxBody AlonzoEra → TxBody AlonzoEra Source #
addRedeemers ∷ Redeemers AlonzoEra → TxWits AlonzoEra → TxWits AlonzoEra Source #
setScriptIntegrityHash ∷ StrictMaybe ScriptIntegrityHash → TxBody AlonzoEra → TxBody AlonzoEra Source #
setNetworkIdTxBody ∷ StrictMaybe Network → TxBody AlonzoEra → TxBody AlonzoEra Source #
genExUnits ∷ Int → GenRS AlonzoEra [ExUnits] Source #
genPParams ∷ GenSize → Gen (PParams AlonzoEra) Source #
ppMaxCollateralInputsT ∷ Lens' (PParams AlonzoEra) Natural Source #
ppCollateralPercentageT ∷ Lens' (PParams AlonzoEra) Natural Source #
ppCostModelsT ∷ Lens' (PParams AlonzoEra) CostModels Source #
ppMaxTxExUnitsT ∷ Lens' (PParams AlonzoEra) ExUnits Source #
ppMaxBlockExUnitsT ∷ Lens' (PParams AlonzoEra) ExUnits Source #
ppMaxValSizeT ∷ Lens' (PParams AlonzoEra) Natural Source #
mkScriptIntegrityHash ∷ PParams AlonzoEra → [Language] → TxWits AlonzoEra → StrictMaybe ScriptIntegrityHash Source #
setValidity ∷ ValidityInterval → TxBody BabbageEra → TxBody BabbageEra Source #
setReferenceInputs ∷ Set TxIn → TxBody BabbageEra → TxBody BabbageEra Source #
setCollateralInputs ∷ Set TxIn → TxBody BabbageEra → TxBody BabbageEra Source #
setTotalCollateral ∷ StrictMaybe Coin → TxBody BabbageEra → TxBody BabbageEra Source #
setCollateralReturn ∷ StrictMaybe (TxOut BabbageEra) → TxBody BabbageEra → TxBody BabbageEra Source #
addRedeemers ∷ Redeemers BabbageEra → TxWits BabbageEra → TxWits BabbageEra Source #
setScriptIntegrityHash ∷ StrictMaybe ScriptIntegrityHash → TxBody BabbageEra → TxBody BabbageEra Source #
setNetworkIdTxBody ∷ StrictMaybe Network → TxBody BabbageEra → TxBody BabbageEra Source #
genExUnits ∷ Int → GenRS BabbageEra [ExUnits] Source #
genPParams ∷ GenSize → Gen (PParams BabbageEra) Source #
ppMaxCollateralInputsT ∷ Lens' (PParams BabbageEra) Natural Source #
ppCollateralPercentageT ∷ Lens' (PParams BabbageEra) Natural Source #
ppCostModelsT ∷ Lens' (PParams BabbageEra) CostModels Source #
ppMaxTxExUnitsT ∷ Lens' (PParams BabbageEra) ExUnits Source #
ppMaxBlockExUnitsT ∷ Lens' (PParams BabbageEra) ExUnits Source #
ppMaxValSizeT ∷ Lens' (PParams BabbageEra) Natural Source #
mkScriptIntegrityHash ∷ PParams BabbageEra → [Language] → TxWits BabbageEra → StrictMaybe ScriptIntegrityHash Source #
setValidity ∷ ValidityInterval → TxBody ConwayEra → TxBody ConwayEra Source #
setReferenceInputs ∷ Set TxIn → TxBody ConwayEra → TxBody ConwayEra Source #
setCollateralInputs ∷ Set TxIn → TxBody ConwayEra → TxBody ConwayEra Source #
setTotalCollateral ∷ StrictMaybe Coin → TxBody ConwayEra → TxBody ConwayEra Source #
setCollateralReturn ∷ StrictMaybe (TxOut ConwayEra) → TxBody ConwayEra → TxBody ConwayEra Source #
addRedeemers ∷ Redeemers ConwayEra → TxWits ConwayEra → TxWits ConwayEra Source #
setScriptIntegrityHash ∷ StrictMaybe ScriptIntegrityHash → TxBody ConwayEra → TxBody ConwayEra Source #
setNetworkIdTxBody ∷ StrictMaybe Network → TxBody ConwayEra → TxBody ConwayEra Source #
genExUnits ∷ Int → GenRS ConwayEra [ExUnits] Source #
genPParams ∷ GenSize → Gen (PParams ConwayEra) Source #
ppMaxCollateralInputsT ∷ Lens' (PParams ConwayEra) Natural Source #
ppCollateralPercentageT ∷ Lens' (PParams ConwayEra) Natural Source #
ppCostModelsT ∷ Lens' (PParams ConwayEra) CostModels Source #
ppMaxTxExUnitsT ∷ Lens' (PParams ConwayEra) ExUnits Source #
ppMaxBlockExUnitsT ∷ Lens' (PParams ConwayEra) ExUnits Source #
ppMaxValSizeT ∷ Lens' (PParams ConwayEra) Natural Source #
mkScriptIntegrityHash ∷ PParams ConwayEra → [Language] → TxWits ConwayEra → StrictMaybe ScriptIntegrityHash Source #
setValidity ∷ ValidityInterval → TxBody MaryEra → TxBody MaryEra Source #
setReferenceInputs ∷ Set TxIn → TxBody MaryEra → TxBody MaryEra Source #
setCollateralInputs ∷ Set TxIn → TxBody MaryEra → TxBody MaryEra Source #
setTotalCollateral ∷ StrictMaybe Coin → TxBody MaryEra → TxBody MaryEra Source #
setCollateralReturn ∷ StrictMaybe (TxOut MaryEra) → TxBody MaryEra → TxBody MaryEra Source #
addRedeemers ∷ Redeemers MaryEra → TxWits MaryEra → TxWits MaryEra Source #
setScriptIntegrityHash ∷ StrictMaybe ScriptIntegrityHash → TxBody MaryEra → TxBody MaryEra Source #
setNetworkIdTxBody ∷ StrictMaybe Network → TxBody MaryEra → TxBody MaryEra Source #
genExUnits ∷ Int → GenRS MaryEra [ExUnits] Source #
genPParams ∷ GenSize → Gen (PParams MaryEra) Source #
ppMaxCollateralInputsT ∷ Lens' (PParams MaryEra) Natural Source #
ppCollateralPercentageT ∷ Lens' (PParams MaryEra) Natural Source #
ppCostModelsT ∷ Lens' (PParams MaryEra) CostModels Source #
ppMaxTxExUnitsT ∷ Lens' (PParams MaryEra) ExUnits Source #
ppMaxBlockExUnitsT ∷ Lens' (PParams MaryEra) ExUnits Source #
ppMaxValSizeT ∷ Lens' (PParams MaryEra) Natural Source #
mkScriptIntegrityHash ∷ PParams MaryEra → [Language] → TxWits MaryEra → StrictMaybe ScriptIntegrityHash Source #
setValidity ∷ ValidityInterval → TxBody ShelleyEra → TxBody ShelleyEra Source #
setReferenceInputs ∷ Set TxIn → TxBody ShelleyEra → TxBody ShelleyEra Source #
setCollateralInputs ∷ Set TxIn → TxBody ShelleyEra → TxBody ShelleyEra Source #
setTotalCollateral ∷ StrictMaybe Coin → TxBody ShelleyEra → TxBody ShelleyEra Source #
setCollateralReturn ∷ StrictMaybe (TxOut ShelleyEra) → TxBody ShelleyEra → TxBody ShelleyEra Source #
addRedeemers ∷ Redeemers ShelleyEra → TxWits ShelleyEra → TxWits ShelleyEra Source #
setScriptIntegrityHash ∷ StrictMaybe ScriptIntegrityHash → TxBody ShelleyEra → TxBody ShelleyEra Source #
setNetworkIdTxBody ∷ StrictMaybe Network → TxBody ShelleyEra → TxBody ShelleyEra Source #
genExUnits ∷ Int → GenRS ShelleyEra [ExUnits] Source #
genPParams ∷ GenSize → Gen (PParams ShelleyEra) Source #
ppMaxCollateralInputsT ∷ Lens' (PParams ShelleyEra) Natural Source #
ppCollateralPercentageT ∷ Lens' (PParams ShelleyEra) Natural Source #
ppCostModelsT ∷ Lens' (PParams ShelleyEra) CostModels Source #
ppMaxTxExUnitsT ∷ Lens' (PParams ShelleyEra) ExUnits Source #
ppMaxBlockExUnitsT ∷ Lens' (PParams ShelleyEra) ExUnits Source #
ppMaxValSizeT ∷ Lens' (PParams ShelleyEra) Natural Source #
mkScriptIntegrityHash ∷ PParams ShelleyEra → [Language] → TxWits ShelleyEra → StrictMaybe ScriptIntegrityHash Source #