Orphan instances

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 #

Methods

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 #

Methods

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 #

Methods

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 #

Methods

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 #

Methods

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 #

Methods

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 #

Methods

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 #

Methods

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 #

Methods

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 #

Methods

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 #

Methods

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 #