Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.EraClass

Description

Everything you need to build Era polymorphic transactions, all in one place

Synopsis

class (Crypto (EraCrypto era), Typeable era, KnownNat (ProtVerLow era), KnownNat (ProtVerHigh era), ProtVerLow era <= ProtVerHigh era, MinVersion <= ProtVerLow era, MinVersion <= ProtVerHigh era, CmpNat (ProtVerLow era) MaxVersion ~ 'LT, CmpNat (ProtVerHigh era) MaxVersion ~ 'LT, ProtVerLow era <= MaxVersion, ProtVerHigh era <= MaxVersion) ⇒ Era era where
- type EraCrypto era
class (EraTxBody era, EraTxWits era, EraTxAuxData era, EraPParams era, NoThunks (Tx era), DecCBOR (Annotator (Tx era)), EncCBOR (Tx era), ToCBOR (Tx era), Show (Tx era), Eq (Tx era), EqRaw (Tx era)) ⇒ EraTx era where
- type Tx era = (r ∷ Type) | r → era
- mkBasicTx ∷ TxBody era → Tx era
- bodyTxL ∷ Lens' (Tx era) (TxBody era)
- witsTxL ∷ Lens' (Tx era) (TxWits era)
class (EraTx era, AlonzoEraTxBody era, AlonzoEraTxWits era, AlonzoEraScript era) ⇒ AlonzoEraTx era where
- isValidTxL ∷ Lens' (Tx era) IsValid
class (EraTxOut era, EraTxCert era, EraPParams era, HashAnnotated (TxBody era) EraIndependentTxBody (EraCrypto era), DecCBOR (Annotator (TxBody era)), EncCBOR (TxBody era), ToCBOR (TxBody era), NoThunks (TxBody era), NFData (TxBody era), Show (TxBody era), Eq (TxBody era), EqRaw (TxBody era)) ⇒ EraTxBody era where
- type TxBody era = (r ∷ Type) | r → era
- mkBasicTxBody ∷ TxBody era
- inputsTxBodyL ∷ Lens' (TxBody era) (Set (TxIn (EraCrypto era)))
- outputsTxBodyL ∷ Lens' (TxBody era) (StrictSeq (TxOut era))
- feeTxBodyL ∷ Lens' (TxBody era) Coin
- withdrawalsTxBodyL ∷ Lens' (TxBody era) (Withdrawals (EraCrypto era))
- auxDataHashTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (AuxiliaryDataHash (EraCrypto era)))
- certsTxBodyL ∷ Lens' (TxBody era) (StrictSeq (TxCert era))
class EraTxBody era ⇒ AllegraEraTxBody era where
- vldtTxBodyL ∷ Lens' (TxBody era) ValidityInterval
class AllegraEraTxBody era ⇒ MaryEraTxBody era where
- mintTxBodyL ∷ Lens' (TxBody era) (MultiAsset (EraCrypto era))
- mintValueTxBodyF ∷ SimpleGetter (TxBody era) (Value era)
- mintedTxBodyF ∷ SimpleGetter (TxBody era) (Set (PolicyID (EraCrypto era)))
class (MaryEraTxBody era, AlonzoEraTxOut era) ⇒ AlonzoEraTxBody era where
- collateralInputsTxBodyL ∷ Lens' (TxBody era) (Set (TxIn (EraCrypto era)))
- reqSignerHashesTxBodyL ∷ Lens' (TxBody era) (Set (KeyHash 'Witness (EraCrypto era)))
- scriptIntegrityHashTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (ScriptIntegrityHash (EraCrypto era)))
- networkIdTxBodyL ∷ Lens' (TxBody era) (StrictMaybe Network)
- redeemerPointer ∷ TxBody era → PlutusPurpose AsItem era → StrictMaybe (PlutusPurpose AsIx era)
- redeemerPointerInverse ∷ TxBody era → PlutusPurpose AsIx era → StrictMaybe (PlutusPurpose AsIxItem era)
class (BabbageEraTxBody era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraScript era) ⇒ ConwayEraTxBody era where
- currentTreasuryValueTxBodyL ∷ Lens' (TxBody era) (StrictMaybe Coin)
- votingProceduresTxBodyL ∷ Lens' (TxBody era) (VotingProcedures era)
- proposalProceduresTxBodyL ∷ Lens' (TxBody era) (OSet (ProposalProcedure era))
- treasuryDonationTxBodyL ∷ Lens' (TxBody era) Coin
class (Val (Value era), ToJSON (TxOut era), DecCBOR (Value era), DecCBOR (CompactForm (Value era)), EncCBOR (Value era), ToCBOR (TxOut era), FromCBOR (TxOut era), EncCBOR (TxOut era), DecCBOR (TxOut era), DecShareCBOR (TxOut era), Share (TxOut era) ~ Interns (Credential 'Staking (EraCrypto era)), NoThunks (TxOut era), NFData (TxOut era), Show (TxOut era), Eq (TxOut era), EraPParams era) ⇒ EraTxOut era where
- type TxOut era = (r ∷ Type) | r → era
- mkBasicTxOut ∷ Addr (EraCrypto era) → Value era → TxOut era
- valueTxOutL ∷ Lens' (TxOut era) (Value era)
- compactValueTxOutL ∷ Lens' (TxOut era) (CompactForm (Value era))
- valueEitherTxOutL ∷ Lens' (TxOut era) (Either (Value era) (CompactForm (Value era)))
- addrTxOutL ∷ Lens' (TxOut era) (Addr (EraCrypto era))
- compactAddrTxOutL ∷ Lens' (TxOut era) (CompactAddr (EraCrypto era))
- addrEitherTxOutL ∷ Lens' (TxOut era) (Either (Addr (EraCrypto era)) (CompactAddr (EraCrypto era)))
class (AlonzoEraPParams era, EraTxOut era) ⇒ AlonzoEraTxOut era where
- dataHashTxOutL ∷ Lens' (TxOut era) (StrictMaybe (DataHash (EraCrypto era)))
- datumTxOutF ∷ SimpleGetter (TxOut era) (Datum era)
class (AlonzoEraTxOut era, AlonzoEraScript era) ⇒ BabbageEraTxOut era where
- referenceScriptTxOutL ∷ Lens' (TxOut era) (StrictMaybe (Script era))
- dataTxOutL ∷ Lens' (TxOut era) (StrictMaybe (Data era))
- datumTxOutL ∷ Lens' (TxOut era) (Datum era)
coinTxOutL ∷ (HasCallStack, EraTxOut era) ⇒ Lens' (TxOut era) Coin
class (EraScript era, Eq (TxWits era), EqRaw (TxWits era), Show (TxWits era), Monoid (TxWits era), NoThunks (TxWits era), ToCBOR (TxWits era), EncCBOR (TxWits era), DecCBOR (Annotator (TxWits era))) ⇒ EraTxWits era where
- type TxWits era = (r ∷ Type) | r → era
- mkBasicTxWits ∷ TxWits era
- addrTxWitsL ∷ Lens' (TxWits era) (Set (WitVKey 'Witness (EraCrypto era)))
- bootAddrTxWitsL ∷ Lens' (TxWits era) (Set (BootstrapWitness (EraCrypto era)))
- scriptTxWitsL ∷ Lens' (TxWits era) (Map (ScriptHash (EraCrypto era)) (Script era))
class (EraTxWits era, AlonzoEraScript era) ⇒ AlonzoEraTxWits era where
- datsTxWitsL ∷ Lens' (TxWits era) (TxDats era)
- rdmrsTxWitsL ∷ Lens' (TxWits era) (Redeemers era)
class (Era era, Eq (TxAuxData era), EqRaw (TxAuxData era), Show (TxAuxData era), NoThunks (TxAuxData era), ToCBOR (TxAuxData era), EncCBOR (TxAuxData era), DecCBOR (Annotator (TxAuxData era)), HashAnnotated (TxAuxData era) EraIndependentTxAuxData (EraCrypto era)) ⇒ EraTxAuxData era where
- type TxAuxData era = (r ∷ Type) | r → era
- hashTxAuxData ∷ TxAuxData era → AuxiliaryDataHash (EraCrypto era)
- validateTxAuxData ∷ ProtVer → TxAuxData era → Bool
class (Era era, ToJSON (TxCert era), DecCBOR (TxCert era), EncCBOR (TxCert era), ToCBOR (TxCert era), FromCBOR (TxCert era), NoThunks (TxCert era), NFData (TxCert era), Show (TxCert era), Eq (TxCert era)) ⇒ EraTxCert era where
- type TxCert era = (r ∷ Type) | r → era
- getVKeyWitnessTxCert ∷ TxCert era → Maybe (KeyHash 'Witness (EraCrypto era))
- getScriptWitnessTxCert ∷ TxCert era → Maybe (ScriptHash (EraCrypto era))
- mkRegPoolTxCert ∷ PoolParams (EraCrypto era) → TxCert era
- getRegPoolTxCert ∷ TxCert era → Maybe (PoolParams (EraCrypto era))
- mkRetirePoolTxCert ∷ KeyHash 'StakePool (EraCrypto era) → EpochNo → TxCert era
- getRetirePoolTxCert ∷ TxCert era → Maybe (KeyHash 'StakePool (EraCrypto era), EpochNo)
- lookupRegStakeTxCert ∷ TxCert era → Maybe (Credential 'Staking (EraCrypto era))
- lookupUnRegStakeTxCert ∷ TxCert era → Maybe (Credential 'Staking (EraCrypto era))
- getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams era → (KeyHash 'StakePool (EraCrypto era) → Bool) → f (TxCert era) → Coin
- getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams era → (Credential 'Staking (EraCrypto era) → Maybe Coin) → (Credential 'DRepRole (EraCrypto era) → Maybe Coin) → f (TxCert era) → Coin
class ShelleyEraTxCert era ⇒ ConwayEraTxCert era where
- mkRegDepositTxCert ∷ StakeCredential (EraCrypto era) → Coin → TxCert era
- getRegDepositTxCert ∷ TxCert era → Maybe (StakeCredential (EraCrypto era), Coin)
- mkUnRegDepositTxCert ∷ StakeCredential (EraCrypto era) → Coin → TxCert era
- getUnRegDepositTxCert ∷ TxCert era → Maybe (StakeCredential (EraCrypto era), Coin)
- mkDelegTxCert ∷ StakeCredential (EraCrypto era) → Delegatee (EraCrypto era) → TxCert era
- getDelegTxCert ∷ TxCert era → Maybe (StakeCredential (EraCrypto era), Delegatee (EraCrypto era))
- mkRegDepositDelegTxCert ∷ StakeCredential (EraCrypto era) → Delegatee (EraCrypto era) → Coin → TxCert era
- getRegDepositDelegTxCert ∷ TxCert era → Maybe (StakeCredential (EraCrypto era), Delegatee (EraCrypto era), Coin)
- mkAuthCommitteeHotKeyTxCert ∷ Credential 'ColdCommitteeRole (EraCrypto era) → Credential 'HotCommitteeRole (EraCrypto era) → TxCert era
- getAuthCommitteeHotKeyTxCert ∷ TxCert era → Maybe (Credential 'ColdCommitteeRole (EraCrypto era), Credential 'HotCommitteeRole (EraCrypto era))
- mkResignCommitteeColdTxCert ∷ Credential 'ColdCommitteeRole (EraCrypto era) → StrictMaybe (Anchor (EraCrypto era)) → TxCert era
- getResignCommitteeColdTxCert ∷ TxCert era → Maybe (Credential 'ColdCommitteeRole (EraCrypto era), StrictMaybe (Anchor (EraCrypto era)))
- mkRegDRepTxCert ∷ Credential 'DRepRole (EraCrypto era) → Coin → StrictMaybe (Anchor (EraCrypto era)) → TxCert era
- getRegDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole (EraCrypto era), Coin, StrictMaybe (Anchor (EraCrypto era)))
- mkUnRegDRepTxCert ∷ Credential 'DRepRole (EraCrypto era) → Coin → TxCert era
- getUnRegDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole (EraCrypto era), Coin)
- mkUpdateDRepTxCert ∷ Credential 'DRepRole (EraCrypto era) → StrictMaybe (Anchor (EraCrypto era)) → TxCert era
- getUpdateDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole (EraCrypto era), StrictMaybe (Anchor (EraCrypto era)))
class (Era era, Eq (PParamsHKD Identity era), Ord (PParamsHKD Identity era), Show (PParamsHKD Identity era), NFData (PParamsHKD Identity era), EncCBOR (PParamsHKD Identity era), DecCBOR (PParamsHKD Identity era), ToCBOR (PParamsHKD Identity era), FromCBOR (PParamsHKD Identity era), NoThunks (PParamsHKD Identity era), ToJSON (PParamsHKD Identity era), FromJSON (PParamsHKD Identity era), Eq (PParamsHKD StrictMaybe era), Ord (PParamsHKD StrictMaybe era), Show (PParamsHKD StrictMaybe era), NFData (PParamsHKD StrictMaybe era), EncCBOR (PParamsHKD StrictMaybe era), DecCBOR (PParamsHKD StrictMaybe era), ToCBOR (PParamsHKD StrictMaybe era), FromCBOR (PParamsHKD StrictMaybe era), NoThunks (PParamsHKD StrictMaybe era), ToJSON (PParamsHKD StrictMaybe era)) ⇒ EraPParams era where
- ppProtocolVersionL ∷ Lens' (PParams era) ProtVer
data PParams era
emptyPParams ∷ EraPParams era ⇒ PParams era
ppMinFeeAL ∷ EraPParams era ⇒ Lens' (PParams era) Coin
ppMinFeeBL ∷ EraPParams era ⇒ Lens' (PParams era) Coin
ppMaxBBSizeL ∷ EraPParams era ⇒ Lens' (PParams era) Word32
ppMaxTxSizeL ∷ EraPParams era ⇒ Lens' (PParams era) Word32
ppMaxBHSizeL ∷ EraPParams era ⇒ Lens' (PParams era) Word16
ppKeyDepositL ∷ EraPParams era ⇒ Lens' (PParams era) Coin
ppPoolDepositL ∷ EraPParams era ⇒ Lens' (PParams era) Coin
ppEMaxL ∷ EraPParams era ⇒ Lens' (PParams era) EpochInterval
ppNOptL ∷ EraPParams era ⇒ Lens' (PParams era) Natural
ppA0L ∷ EraPParams era ⇒ Lens' (PParams era) NonNegativeInterval
ppRhoL ∷ EraPParams era ⇒ Lens' (PParams era) UnitInterval
ppTauL ∷ EraPParams era ⇒ Lens' (PParams era) UnitInterval
ppDL ∷ (EraPParams era, ProtVerAtMost era 6) ⇒ Lens' (PParams era) UnitInterval
data PParamsUpdate era
emptyPParamsUpdate ∷ EraPParams era ⇒ PParamsUpdate era
ppuMinFeeAL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuMinFeeBL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuMaxBBSizeL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word32)
ppuMaxTxSizeL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word32)
ppuMaxBHSizeL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word16)
ppuKeyDepositL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuPoolDepositL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuEMaxL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)
ppuNOptL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural)
ppuA0L ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe NonNegativeInterval)
ppuRhoL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval)
ppuTauL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval)
ppuDL ∷ (EraPParams era, ProtVerAtMost era 6) ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval)
class EraPParams era ⇒ AlonzoEraPParams era
ppCoinsPerUTxOWordL ∷ (AlonzoEraPParams era, ExactEra AlonzoEra era) ⇒ Lens' (PParams era) CoinPerWord
ppCostModelsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) CostModels
ppPricesL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Prices
ppMaxTxExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) ExUnits
ppMaxBlockExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) ExUnits
ppMaxValSizeL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural
ppCollateralPercentageL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural
ppMaxCollateralInputsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural
ppuCoinsPerUTxOWordL ∷ (AlonzoEraPParams era, ExactEra AlonzoEra era) ⇒ Lens' (PParamsUpdate era) (StrictMaybe CoinPerWord)
ppuCostModelsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe CostModels)
ppuPricesL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Prices)
ppuMaxTxExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe ExUnits)
ppuMaxBlockExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe ExUnits)
ppuMaxValSizeL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural)
ppuCollateralPercentageL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural)
ppuMaxCollateralInputsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural)
class AlonzoEraPParams era ⇒ BabbageEraPParams era where
- hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f CoinPerByte)
ppCoinsPerUTxOByteL ∷ BabbageEraPParams era ⇒ Lens' (PParams era) CoinPerByte
ppuCoinsPerUTxOByteL ∷ BabbageEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe CoinPerByte)
class BabbageEraPParams era ⇒ ConwayEraPParams era
ppPoolVotingThresholdsL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) PoolVotingThresholds
ppDRepVotingThresholdsL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) DRepVotingThresholds
ppCommitteeMinSizeL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) Natural
ppCommitteeMaxTermLengthL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) EpochInterval
ppGovActionLifetimeL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) EpochInterval
ppGovActionDepositL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) Coin
ppDRepDepositL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) Coin
ppDRepActivityL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) EpochInterval
ppMinFeeRefScriptCostPerByteL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) NonNegativeInterval
ppuPoolVotingThresholdsL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe PoolVotingThresholds)
ppuDRepVotingThresholdsL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe DRepVotingThresholds)
ppuCommitteeMinSizeL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural)
ppuCommitteeMaxTermLengthL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)
ppuGovActionLifetimeL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)
ppuGovActionDepositL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuDRepDepositL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuDRepActivityL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)
ppuMinFeeRefScriptCostPerByteL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe NonNegativeInterval)
class (Era era, Show (Script era), Eq (Script era), EqRaw (Script era), ToCBOR (Script era), EncCBOR (Script era), DecCBOR (Annotator (Script era)), NoThunks (Script era), SafeToHash (Script era), Eq (NativeScript era), Show (NativeScript era), NFData (NativeScript era), NoThunks (NativeScript era), EncCBOR (NativeScript era), DecCBOR (Annotator (NativeScript era))) ⇒ EraScript era where
- type Script era = (r ∷ Type) | r → era
- type NativeScript era = (r ∷ Type) | r → era
- getNativeScript ∷ Script era → Maybe (NativeScript era)
- fromNativeScript ∷ NativeScript era → Script era
hashScript ∷ EraScript era ⇒ Script era → ScriptHash (EraCrypto era)

Documentation

class (Crypto (EraCrypto era), Typeable era, KnownNat (ProtVerLow era), KnownNat (ProtVerHigh era), ProtVerLow era <= ProtVerHigh era, MinVersion <= ProtVerLow era, MinVersion <= ProtVerHigh era, CmpNat (ProtVerLow era) MaxVersion ~ 'LT, CmpNat (ProtVerHigh era) MaxVersion ~ 'LT, ProtVerLow era <= MaxVersion, ProtVerHigh era <= MaxVersion) ⇒ Era era Source #

Minimal complete definition

eraName

Associated Types

type EraCrypto era Source #

Instances

Instances details

Crypto c ⇒ Era (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era Associated Types type EraCrypto (AllegraEra c) Source # type PreviousEra (AllegraEra c) = (r ∷ Type) Source # type ProtVerLow (AllegraEra c) ∷ Nat Source # type ProtVerHigh (AllegraEra c) ∷ Nat Source # Methods eraName ∷ String Source #
Crypto c ⇒ Era (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era Associated Types type EraCrypto (AlonzoEra c) Source # type PreviousEra (AlonzoEra c) = (r ∷ Type) Source # type ProtVerLow (AlonzoEra c) ∷ Nat Source # type ProtVerHigh (AlonzoEra c) ∷ Nat Source # Methods eraName ∷ String Source #
Crypto c ⇒ Era (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era Associated Types type EraCrypto (BabbageEra c) Source # type PreviousEra (BabbageEra c) = (r ∷ Type) Source # type ProtVerLow (BabbageEra c) ∷ Nat Source # type ProtVerHigh (BabbageEra c) ∷ Nat Source # Methods eraName ∷ String Source #
Crypto c ⇒ Era (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era Associated Types type EraCrypto (ConwayEra c) Source # type PreviousEra (ConwayEra c) = (r ∷ Type) Source # type ProtVerLow (ConwayEra c) ∷ Nat Source # type ProtVerHigh (ConwayEra c) ∷ Nat Source # Methods eraName ∷ String Source #
Crypto c ⇒ Era (ByronEra c)
Instance details Defined in Cardano.Ledger.Core.Era Associated Types type EraCrypto (ByronEra c) Source # type PreviousEra (ByronEra c) = (r ∷ Type) Source # type ProtVerLow (ByronEra c) ∷ Nat Source # type ProtVerHigh (ByronEra c) ∷ Nat Source # Methods eraName ∷ String Source #
Crypto c ⇒ Era (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era Associated Types type EraCrypto (MaryEra c) Source # type PreviousEra (MaryEra c) = (r ∷ Type) Source # type ProtVerLow (MaryEra c) ∷ Nat Source # type ProtVerHigh (MaryEra c) ∷ Nat Source # Methods eraName ∷ String Source #
Crypto c ⇒ Era (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era Associated Types type EraCrypto (ShelleyEra c) Source # type PreviousEra (ShelleyEra c) = (r ∷ Type) Source # type ProtVerLow (ShelleyEra c) ∷ Nat Source # type ProtVerHigh (ShelleyEra c) ∷ Nat Source # Methods eraName ∷ String Source #

class (EraTxBody era, EraTxWits era, EraTxAuxData era, EraPParams era, NoThunks (Tx era), DecCBOR (Annotator (Tx era)), EncCBOR (Tx era), ToCBOR (Tx era), Show (Tx era), Eq (Tx era), EqRaw (Tx era)) ⇒ EraTx era where Source #

A transaction.

Minimal complete definition

mkBasicTx, bodyTxL, witsTxL, auxDataTxL, sizeTxF, validateNativeScript, getMinFeeTx, upgradeTx

Associated Types

type Tx era = (r ∷ Type) | r → era Source #

Methods

mkBasicTx ∷ TxBody era → Tx era Source #

bodyTxL ∷ Lens' (Tx era) (TxBody era) Source #

witsTxL ∷ Lens' (Tx era) (TxWits era) Source #

class (EraTx era, AlonzoEraTxBody era, AlonzoEraTxWits era, AlonzoEraScript era) ⇒ AlonzoEraTx era where Source #

Methods

isValidTxL ∷ Lens' (Tx era) IsValid Source #

Instances

Instances details

Crypto c ⇒ AlonzoEraTx (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods isValidTxL ∷ Lens' (Tx (AlonzoEra c)) IsValid Source #

class (EraTxOut era, EraTxCert era, EraPParams era, HashAnnotated (TxBody era) EraIndependentTxBody (EraCrypto era), DecCBOR (Annotator (TxBody era)), EncCBOR (TxBody era), ToCBOR (TxBody era), NoThunks (TxBody era), NFData (TxBody era), Show (TxBody era), Eq (TxBody era), EqRaw (TxBody era)) ⇒ EraTxBody era where Source #

Minimal complete definition

mkBasicTxBody, inputsTxBodyL, outputsTxBodyL, feeTxBodyL, withdrawalsTxBodyL, auxDataHashTxBodyL, spendableInputsTxBodyF, allInputsTxBodyF, certsTxBodyL, upgradeTxBody

Associated Types

type TxBody era = (r ∷ Type) | r → era Source #

The body of a transaction.

Methods

mkBasicTxBody ∷ TxBody era Source #

inputsTxBodyL ∷ Lens' (TxBody era) (Set (TxIn (EraCrypto era))) Source #

outputsTxBodyL ∷ Lens' (TxBody era) (StrictSeq (TxOut era)) Source #

feeTxBodyL ∷ Lens' (TxBody era) Coin Source #

withdrawalsTxBodyL ∷ Lens' (TxBody era) (Withdrawals (EraCrypto era)) Source #

auxDataHashTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (AuxiliaryDataHash (EraCrypto era))) Source #

certsTxBodyL ∷ Lens' (TxBody era) (StrictSeq (TxCert era)) Source #

class EraTxBody era ⇒ AllegraEraTxBody era where Source #

Methods

vldtTxBodyL ∷ Lens' (TxBody era) ValidityInterval Source #

Instances

Instances details

Crypto c ⇒ AllegraEraTxBody (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.TxBody Methods vldtTxBodyL ∷ Lens' (TxBody (AllegraEra c)) ValidityInterval Source #

class AllegraEraTxBody era ⇒ MaryEraTxBody era where Source #

Methods

mintTxBodyL ∷ Lens' (TxBody era) (MultiAsset (EraCrypto era)) Source #

mintValueTxBodyF ∷ SimpleGetter (TxBody era) (Value era) Source #

mintedTxBodyF ∷ SimpleGetter (TxBody era) (Set (PolicyID (EraCrypto era))) Source #

Instances

Instances details

Crypto c ⇒ MaryEraTxBody (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods mintTxBodyL ∷ Lens' (TxBody (MaryEra c)) (MultiAsset (EraCrypto (MaryEra c))) Source # mintValueTxBodyF ∷ SimpleGetter (TxBody (MaryEra c)) (Value (MaryEra c)) Source # mintedTxBodyF ∷ SimpleGetter (TxBody (MaryEra c)) (Set (PolicyID (EraCrypto (MaryEra c)))) Source #

class (MaryEraTxBody era, AlonzoEraTxOut era) ⇒ AlonzoEraTxBody era where Source #

Methods

collateralInputsTxBodyL ∷ Lens' (TxBody era) (Set (TxIn (EraCrypto era))) Source #

reqSignerHashesTxBodyL ∷ Lens' (TxBody era) (Set (KeyHash 'Witness (EraCrypto era))) Source #

scriptIntegrityHashTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (ScriptIntegrityHash (EraCrypto era))) Source #

networkIdTxBodyL ∷ Lens' (TxBody era) (StrictMaybe Network) Source #

redeemerPointer ∷ TxBody era → PlutusPurpose AsItem era → StrictMaybe (PlutusPurpose AsIx era) Source #

This function is called rdptr in the spec. Given a TxBody and a plutus purpose with an item, we should be able to find the plutus purpose as in index

redeemerPointerInverse ∷ TxBody era → PlutusPurpose AsIx era → StrictMaybe (PlutusPurpose AsIxItem era) Source #

This is an inverse of redeemerPointer. Given purpose as an index return it as an item.

Instances

Instances details

Crypto c ⇒ AlonzoEraTxBody (AlonzoEra c)

Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

collateralInputsTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (Set (TxIn (EraCrypto (AlonzoEra c)))) Source #

reqSignerHashesTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (Set (KeyHash 'Witness (EraCrypto (AlonzoEra c)))) Source #

scriptIntegrityHashTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (StrictMaybe (ScriptIntegrityHash (EraCrypto (AlonzoEra c)))) Source #

networkIdTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (StrictMaybe Network) Source #

redeemerPointer ∷ TxBody (AlonzoEra c) → PlutusPurpose AsItem (AlonzoEra c) → StrictMaybe (PlutusPurpose AsIx (AlonzoEra c)) Source #

redeemerPointerInverse ∷ TxBody (AlonzoEra c) → PlutusPurpose AsIx (AlonzoEra c) → StrictMaybe (PlutusPurpose AsIxItem (AlonzoEra c)) Source #

class (BabbageEraTxBody era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraScript era) ⇒ ConwayEraTxBody era where Source #

Methods

currentTreasuryValueTxBodyL ∷ Lens' (TxBody era) (StrictMaybe Coin) Source #

Lens for getting and setting number of Coin that is expected to be in the Treasury at the current Epoch

votingProceduresTxBodyL ∷ Lens' (TxBody era) (VotingProcedures era) Source #

Lens for getting and setting VotingProcedures.

proposalProceduresTxBodyL ∷ Lens' (TxBody era) (OSet (ProposalProcedure era)) Source #

Lens for getting and setting ProposalProcedures.

treasuryDonationTxBodyL ∷ Lens' (TxBody era) Coin Source #

Instances

Instances details

Crypto c ⇒ ConwayEraTxBody (ConwayEra c)

Instance details

Defined in Cardano.Ledger.Conway.TxBody

Methods

currentTreasuryValueTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (StrictMaybe Coin) Source #

votingProceduresTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (VotingProcedures (ConwayEra c)) Source #

proposalProceduresTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (OSet (ProposalProcedure (ConwayEra c))) Source #

treasuryDonationTxBodyL ∷ Lens' (TxBody (ConwayEra c)) Coin Source #

class (Val (Value era), ToJSON (TxOut era), DecCBOR (Value era), DecCBOR (CompactForm (Value era)), EncCBOR (Value era), ToCBOR (TxOut era), FromCBOR (TxOut era), EncCBOR (TxOut era), DecCBOR (TxOut era), DecShareCBOR (TxOut era), Share (TxOut era) ~ Interns (Credential 'Staking (EraCrypto era)), NoThunks (TxOut era), NFData (TxOut era), Show (TxOut era), Eq (TxOut era), EraPParams era) ⇒ EraTxOut era where Source #

Abstract interface into specific fields of a TxOut

Minimal complete definition

mkBasicTxOut, upgradeTxOut, valueEitherTxOutL, addrEitherTxOutL, (getMinCoinSizedTxOut | getMinCoinTxOut)

Associated Types

type TxOut era = (r ∷ Type) | r → era Source #

The output of a UTxO for a particular era

Methods

mkBasicTxOut ∷ Addr (EraCrypto era) → Value era → TxOut era Source #

valueTxOutL ∷ Lens' (TxOut era) (Value era) Source #

compactValueTxOutL ∷ Lens' (TxOut era) (CompactForm (Value era)) Source #

valueEitherTxOutL ∷ Lens' (TxOut era) (Either (Value era) (CompactForm (Value era))) Source #

Lens for getting and setting in TxOut either an address or its compact version by doing the least amount of work.

addrTxOutL ∷ Lens' (TxOut era) (Addr (EraCrypto era)) Source #

compactAddrTxOutL ∷ Lens' (TxOut era) (CompactAddr (EraCrypto era)) Source #

addrEitherTxOutL ∷ Lens' (TxOut era) (Either (Addr (EraCrypto era)) (CompactAddr (EraCrypto era))) Source #

Lens for getting and setting in TxOut either an address or its compact version by doing the least amount of work.

The utility of this function comes from the fact that TxOut usually stores the address in either one of two forms: compacted or unpacked. In order to avoid extroneous conversions in getTxOutAddr and getTxOutCompactAddr we can define just this functionality. Also sometimes it is crucial to know at the callsite which form of address we have readily available without any conversions (eg. searching millions of TxOuts for a particular address)

class (AlonzoEraPParams era, EraTxOut era) ⇒ AlonzoEraTxOut era where Source #

Methods

dataHashTxOutL ∷ Lens' (TxOut era) (StrictMaybe (DataHash (EraCrypto era))) Source #

datumTxOutF ∷ SimpleGetter (TxOut era) (Datum era) Source #

Instances

Instances details

Crypto c ⇒ AlonzoEraTxOut (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods dataHashTxOutL ∷ Lens' (TxOut (AlonzoEra c)) (StrictMaybe (DataHash (EraCrypto (AlonzoEra c)))) Source # datumTxOutF ∷ SimpleGetter (TxOut (AlonzoEra c)) (Datum (AlonzoEra c)) Source #

class (AlonzoEraTxOut era, AlonzoEraScript era) ⇒ BabbageEraTxOut era where Source #

Methods

referenceScriptTxOutL ∷ Lens' (TxOut era) (StrictMaybe (Script era)) Source #

dataTxOutL ∷ Lens' (TxOut era) (StrictMaybe (Data era)) Source #

datumTxOutL ∷ Lens' (TxOut era) (Datum era) Source #

Instances

Instances details

Crypto c ⇒ BabbageEraTxOut (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods referenceScriptTxOutL ∷ Lens' (TxOut (BabbageEra c)) (StrictMaybe (Script (BabbageEra c))) Source # dataTxOutL ∷ Lens' (TxOut (BabbageEra c)) (StrictMaybe (Data (BabbageEra c))) Source # datumTxOutL ∷ Lens' (TxOut (BabbageEra c)) (Datum (BabbageEra c)) Source #

coinTxOutL ∷ (HasCallStack, EraTxOut era) ⇒ Lens' (TxOut era) Coin Source #

class (EraScript era, Eq (TxWits era), EqRaw (TxWits era), Show (TxWits era), Monoid (TxWits era), NoThunks (TxWits era), ToCBOR (TxWits era), EncCBOR (TxWits era), DecCBOR (Annotator (TxWits era))) ⇒ EraTxWits era where Source #

A collection of witnesses in a Tx

Minimal complete definition

addrTxWitsL, bootAddrTxWitsL, scriptTxWitsL, upgradeTxWits

Associated Types

type TxWits era = (r ∷ Type) | r → era Source #

Methods

mkBasicTxWits ∷ TxWits era Source #

addrTxWitsL ∷ Lens' (TxWits era) (Set (WitVKey 'Witness (EraCrypto era))) Source #

bootAddrTxWitsL ∷ Lens' (TxWits era) (Set (BootstrapWitness (EraCrypto era))) Source #

scriptTxWitsL ∷ Lens' (TxWits era) (Map (ScriptHash (EraCrypto era)) (Script era)) Source #

class (EraTxWits era, AlonzoEraScript era) ⇒ AlonzoEraTxWits era where Source #

Methods

datsTxWitsL ∷ Lens' (TxWits era) (TxDats era) Source #

rdmrsTxWitsL ∷ Lens' (TxWits era) (Redeemers era) Source #

Instances

Instances details

(EraScript (AlonzoEra c), Crypto c) ⇒ AlonzoEraTxWits (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods datsTxWitsL ∷ Lens' (TxWits (AlonzoEra c)) (TxDats (AlonzoEra c)) Source # rdmrsTxWitsL ∷ Lens' (TxWits (AlonzoEra c)) (Redeemers (AlonzoEra c)) Source #

class (Era era, Eq (TxAuxData era), EqRaw (TxAuxData era), Show (TxAuxData era), NoThunks (TxAuxData era), ToCBOR (TxAuxData era), EncCBOR (TxAuxData era), DecCBOR (Annotator (TxAuxData era)), HashAnnotated (TxAuxData era) EraIndependentTxAuxData (EraCrypto era)) ⇒ EraTxAuxData era where Source #

TxAuxData which may be attached to a transaction

Minimal complete definition

mkBasicTxAuxData, metadataTxAuxDataL, upgradeTxAuxData, hashTxAuxData, validateTxAuxData

Associated Types

type TxAuxData era = (r ∷ Type) | r → era Source #

Methods

hashTxAuxData ∷ TxAuxData era → AuxiliaryDataHash (EraCrypto era) Source #

validateTxAuxData ∷ ProtVer → TxAuxData era → Bool Source #

class (Era era, ToJSON (TxCert era), DecCBOR (TxCert era), EncCBOR (TxCert era), ToCBOR (TxCert era), FromCBOR (TxCert era), NoThunks (TxCert era), NFData (TxCert era), Show (TxCert era), Eq (TxCert era)) ⇒ EraTxCert era where Source #

Minimal complete definition

upgradeTxCert, getVKeyWitnessTxCert, getScriptWitnessTxCert, mkRegPoolTxCert, getRegPoolTxCert, mkRetirePoolTxCert, getRetirePoolTxCert, lookupRegStakeTxCert, lookupUnRegStakeTxCert, getTotalDepositsTxCerts, getTotalRefundsTxCerts

Associated Types

type TxCert era = (r ∷ Type) | r → era Source #

Methods

getVKeyWitnessTxCert ∷ TxCert era → Maybe (KeyHash 'Witness (EraCrypto era)) Source #

Return a witness key whenever a certificate requires one

getScriptWitnessTxCert ∷ TxCert era → Maybe (ScriptHash (EraCrypto era)) Source #

Return a ScriptHash for certificate types that require a witness

mkRegPoolTxCert ∷ PoolParams (EraCrypto era) → TxCert era Source #

getRegPoolTxCert ∷ TxCert era → Maybe (PoolParams (EraCrypto era)) Source #

mkRetirePoolTxCert ∷ KeyHash 'StakePool (EraCrypto era) → EpochNo → TxCert era Source #

getRetirePoolTxCert ∷ TxCert era → Maybe (KeyHash 'StakePool (EraCrypto era), EpochNo) Source #

lookupRegStakeTxCert ∷ TxCert era → Maybe (Credential 'Staking (EraCrypto era)) Source #

Extract staking credential from any certificate that can register such credential

lookupUnRegStakeTxCert ∷ TxCert era → Maybe (Credential 'Staking (EraCrypto era)) Source #

Extract staking credential from any certificate that can unregister such credential

getTotalDepositsTxCerts Source #

Arguments

∷ Foldable f
⇒ PParams era
→ (KeyHash 'StakePool (EraCrypto era) → Bool)	Check whether stake pool is registered or not
→ f (TxCert era)
→ Coin

Compute the total deposits from a list of certificates.

getTotalRefundsTxCerts Source #

Arguments

∷ Foldable f
⇒ PParams era
→ (Credential 'Staking (EraCrypto era) → Maybe Coin)	Lookup current deposit for Staking credential if one is registered
→ (Credential 'DRepRole (EraCrypto era) → Maybe Coin)	Lookup current deposit for DRep credential if one is registered
→ f (TxCert era)
→ Coin

Compute the total refunds from a list of certificates.

class ShelleyEraTxCert era ⇒ ConwayEraTxCert era where Source #

Methods

mkRegDepositTxCert ∷ StakeCredential (EraCrypto era) → Coin → TxCert era Source #

getRegDepositTxCert ∷ TxCert era → Maybe (StakeCredential (EraCrypto era), Coin) Source #

mkUnRegDepositTxCert ∷ StakeCredential (EraCrypto era) → Coin → TxCert era Source #

getUnRegDepositTxCert ∷ TxCert era → Maybe (StakeCredential (EraCrypto era), Coin) Source #

mkDelegTxCert ∷ StakeCredential (EraCrypto era) → Delegatee (EraCrypto era) → TxCert era Source #

getDelegTxCert ∷ TxCert era → Maybe (StakeCredential (EraCrypto era), Delegatee (EraCrypto era)) Source #

mkRegDepositDelegTxCert ∷ StakeCredential (EraCrypto era) → Delegatee (EraCrypto era) → Coin → TxCert era Source #

getRegDepositDelegTxCert ∷ TxCert era → Maybe (StakeCredential (EraCrypto era), Delegatee (EraCrypto era), Coin) Source #

mkAuthCommitteeHotKeyTxCert ∷ Credential 'ColdCommitteeRole (EraCrypto era) → Credential 'HotCommitteeRole (EraCrypto era) → TxCert era Source #

getAuthCommitteeHotKeyTxCert ∷ TxCert era → Maybe (Credential 'ColdCommitteeRole (EraCrypto era), Credential 'HotCommitteeRole (EraCrypto era)) Source #

mkResignCommitteeColdTxCert ∷ Credential 'ColdCommitteeRole (EraCrypto era) → StrictMaybe (Anchor (EraCrypto era)) → TxCert era Source #

getResignCommitteeColdTxCert ∷ TxCert era → Maybe (Credential 'ColdCommitteeRole (EraCrypto era), StrictMaybe (Anchor (EraCrypto era))) Source #

mkRegDRepTxCert ∷ Credential 'DRepRole (EraCrypto era) → Coin → StrictMaybe (Anchor (EraCrypto era)) → TxCert era Source #

getRegDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole (EraCrypto era), Coin, StrictMaybe (Anchor (EraCrypto era))) Source #

mkUnRegDRepTxCert ∷ Credential 'DRepRole (EraCrypto era) → Coin → TxCert era Source #

getUnRegDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole (EraCrypto era), Coin) Source #

mkUpdateDRepTxCert ∷ Credential 'DRepRole (EraCrypto era) → StrictMaybe (Anchor (EraCrypto era)) → TxCert era Source #

getUpdateDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole (EraCrypto era), StrictMaybe (Anchor (EraCrypto era))) Source #

Instances

Instances details

Crypto c ⇒ ConwayEraTxCert (ConwayEra c)

Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

mkRegDepositTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → Coin → TxCert (ConwayEra c) Source #

getRegDepositTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Coin) Source #

mkUnRegDepositTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → Coin → TxCert (ConwayEra c) Source #

getUnRegDepositTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Coin) Source #

mkDelegTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → Delegatee (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source #

getDelegTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Delegatee (EraCrypto (ConwayEra c))) Source #

mkRegDepositDelegTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → Delegatee (EraCrypto (ConwayEra c)) → Coin → TxCert (ConwayEra c) Source #

getRegDepositDelegTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Delegatee (EraCrypto (ConwayEra c)), Coin) Source #

mkAuthCommitteeHotKeyTxCert ∷ Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)) → Credential 'HotCommitteeRole (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source #

getAuthCommitteeHotKeyTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)), Credential 'HotCommitteeRole (EraCrypto (ConwayEra c))) Source #

mkResignCommitteeColdTxCert ∷ Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)) → StrictMaybe (Anchor (EraCrypto (ConwayEra c))) → TxCert (ConwayEra c) Source #

getResignCommitteeColdTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)), StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) Source #

mkRegDRepTxCert ∷ Credential 'DRepRole (EraCrypto (ConwayEra c)) → Coin → StrictMaybe (Anchor (EraCrypto (ConwayEra c))) → TxCert (ConwayEra c) Source #

getRegDRepTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), Coin, StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) Source #

mkUnRegDRepTxCert ∷ Credential 'DRepRole (EraCrypto (ConwayEra c)) → Coin → TxCert (ConwayEra c) Source #

getUnRegDRepTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), Coin) Source #

mkUpdateDRepTxCert ∷ Credential 'DRepRole (EraCrypto (ConwayEra c)) → StrictMaybe (Anchor (EraCrypto (ConwayEra c))) → TxCert (ConwayEra c) Source #

getUpdateDRepTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) Source #

Methods

ppProtocolVersionL ∷ Lens' (PParams era) ProtVer Source #

data PParams era Source #

Protocol parameters

Instances

Instances details

IsConwayUniv fn ⇒ HasSpec fn (PParams (ConwayEra StandardCrypto)) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances Associated Types type TypeSpec fn (PParams (ConwayEra StandardCrypto)) Source # type Prerequisites fn (PParams (ConwayEra StandardCrypto)) Source # Methods emptySpec ∷ TypeSpec fn (PParams (ConwayEra StandardCrypto)) Source # combineSpec ∷ TypeSpec fn (PParams (ConwayEra StandardCrypto)) → TypeSpec fn (PParams (ConwayEra StandardCrypto)) → Specification fn (PParams (ConwayEra StandardCrypto)) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (PParams (ConwayEra StandardCrypto)) → GenT m (PParams (ConwayEra StandardCrypto)) Source # conformsTo ∷ PParams (ConwayEra StandardCrypto) → TypeSpec fn (PParams (ConwayEra StandardCrypto)) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn (PParams (ConwayEra StandardCrypto)) → PParams (ConwayEra StandardCrypto) → [PParams (ConwayEra StandardCrypto)] Source # toPreds ∷ Term fn (PParams (ConwayEra StandardCrypto)) → TypeSpec fn (PParams (ConwayEra StandardCrypto)) → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn (PParams (ConwayEra StandardCrypto)) → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecOpt ∷ TypeSpec fn (PParams (ConwayEra StandardCrypto)) → [PParams (ConwayEra StandardCrypto)] → Specification fn (PParams (ConwayEra StandardCrypto)) Source # prerequisites ∷ Evidence (Prerequisites fn (PParams (ConwayEra StandardCrypto))) Source #
FromJSON (PParamsHKD Identity era) ⇒ FromJSON (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods parseJSON ∷ Value → Parser (PParams era) Source # parseJSONList ∷ Value → Parser [PParams era] Source # omittedField ∷ Maybe (PParams era) Source #
ToJSON (PParamsHKD Identity era) ⇒ ToJSON (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods toJSON ∷ PParams era → Value Source # toEncoding ∷ PParams era → Encoding Source # toJSONList ∷ [PParams era] → Value Source # toEncodingList ∷ [PParams era] → Encoding Source # omitField ∷ PParams era → Bool Source #
Generic (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Associated Types type Rep (PParams era) ∷ Type → Type Source # Methods from ∷ PParams era → Rep (PParams era) x Source # to ∷ Rep (PParams era) x → PParams era Source #
Show (PParamsHKD Identity era) ⇒ Show (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods showsPrec ∷ Int → PParams era → ShowS Source # show ∷ PParams era → String Source # showList ∷ [PParams era] → ShowS Source #
(Typeable era, FromCBOR (PParamsHKD Identity era)) ⇒ FromCBOR (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods fromCBOR ∷ Decoder s (PParams era) Source # label ∷ Proxy (PParams era) → Text Source #
(Typeable era, ToCBOR (PParamsHKD Identity era)) ⇒ ToCBOR (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods toCBOR ∷ PParams era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PParams era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PParams era] → Size Source #
(Typeable era, DecCBOR (PParamsHKD Identity era)) ⇒ DecCBOR (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods decCBOR ∷ Decoder s (PParams era) Source # dropCBOR ∷ Proxy (PParams era) → Decoder s () Source # label ∷ Proxy (PParams era) → Text Source #
(Typeable era, EncCBOR (PParamsHKD Identity era)) ⇒ EncCBOR (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods encCBOR ∷ PParams era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (PParams era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [PParams era] → Size Source #
Reflect era ⇒ PrettyA (PParams era) Source #	Unike other type families, PParams CAN have a PrettyA instance, as they are a newtype wrapped around a type family.
Instance details Defined in Test.Cardano.Ledger.Generic.PrettyCore Methods prettyA ∷ PParams era → PDoc Source #
HasSimpleRep (PParams (ConwayEra StandardCrypto)) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances Associated Types type SimpleRep (PParams (ConwayEra StandardCrypto)) Source # type TheSop (PParams (ConwayEra StandardCrypto)) ∷ [Type] Source # Methods toSimpleRep ∷ PParams (ConwayEra StandardCrypto) → SimpleRep (PParams (ConwayEra StandardCrypto)) Source # fromSimpleRep ∷ SimpleRep (PParams (ConwayEra StandardCrypto)) → PParams (ConwayEra StandardCrypto) Source #
EraPParams era ⇒ Default (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods def ∷ PParams era Source #
NFData (PParamsHKD Identity era) ⇒ NFData (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods rnf ∷ PParams era → () Source #
Eq (PParamsHKD Identity era) ⇒ Eq (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods (==) ∷ PParams era → PParams era → Bool Source # (/=) ∷ PParams era → PParams era → Bool Source #
Ord (PParamsHKD Identity era) ⇒ Ord (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods compare ∷ PParams era → PParams era → Ordering Source # (<) ∷ PParams era → PParams era → Bool Source # (<=) ∷ PParams era → PParams era → Bool Source # (>) ∷ PParams era → PParams era → Bool Source # (>=) ∷ PParams era → PParams era → Bool Source # max ∷ PParams era → PParams era → PParams era Source # min ∷ PParams era → PParams era → PParams era Source #
NoThunks (PParamsHKD Identity era) ⇒ NoThunks (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods noThunks ∷ Context → PParams era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PParams era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PParams era) → String Source #
type Prerequisites fn (PParams (ConwayEra StandardCrypto)) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances type Prerequisites fn (PParams (ConwayEra StandardCrypto)) = ()
type TypeSpec fn (PParams (ConwayEra StandardCrypto)) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances type TypeSpec fn (PParams (ConwayEra StandardCrypto)) = TypeSpec fn (SimpleRep (PParams (ConwayEra StandardCrypto)))
type Rep (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams type Rep (PParams era) = D1 ('MetaData "PParams" "Cardano.Ledger.Core.PParams" "cardano-ledger-core-1.12.0.0-inplace" 'True) (C1 ('MetaCons "PParams" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParamsHKD Identity era))))
type SimpleRep (PParams (ConwayEra StandardCrypto)) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances type SimpleRep (PParams (ConwayEra StandardCrypto)) = SOP (TheSop (PParams (ConwayEra StandardCrypto)))
type TheSop (PParams (ConwayEra StandardCrypto)) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances type TheSop (PParams (ConwayEra StandardCrypto)) = SOPOf (Rep (PParams (ConwayEra StandardCrypto)))
type TranslationError (AllegraEra c) PParams
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) PParams = Void
type TranslationError (AlonzoEra c) PParams
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) PParams = Void
type TranslationError (BabbageEra c) PParams
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) PParams = Void
type TranslationError (ConwayEra c) PParams
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) PParams = Void
type TranslationError (MaryEra c) PParams
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) PParams = Void

emptyPParams ∷ EraPParams era ⇒ PParams era Source #

ppMinFeeAL ∷ EraPParams era ⇒ Lens' (PParams era) Coin Source #

The linear factor for the minimum fee calculation

ppMinFeeBL ∷ EraPParams era ⇒ Lens' (PParams era) Coin Source #

The constant factor for the minimum fee calculation

ppMaxBBSizeL ∷ EraPParams era ⇒ Lens' (PParams era) Word32 Source #

Maximal block body size

ppMaxTxSizeL ∷ EraPParams era ⇒ Lens' (PParams era) Word32 Source #

Maximal transaction size

ppMaxBHSizeL ∷ EraPParams era ⇒ Lens' (PParams era) Word16 Source #

Maximal block header size

ppKeyDepositL ∷ EraPParams era ⇒ Lens' (PParams era) Coin Source #

The amount of a key registration deposit

ppPoolDepositL ∷ EraPParams era ⇒ Lens' (PParams era) Coin Source #

The amount of a pool registration deposit

ppEMaxL ∷ EraPParams era ⇒ Lens' (PParams era) EpochInterval Source #

epoch bound on pool retirement

ppNOptL ∷ EraPParams era ⇒ Lens' (PParams era) Natural Source #

Desired number of pools

ppA0L ∷ EraPParams era ⇒ Lens' (PParams era) NonNegativeInterval Source #

Pool influence

ppRhoL ∷ EraPParams era ⇒ Lens' (PParams era) UnitInterval Source #

Monetary expansion

ppTauL ∷ EraPParams era ⇒ Lens' (PParams era) UnitInterval Source #

Treasury expansion

ppDL ∷ (EraPParams era, ProtVerAtMost era 6) ⇒ Lens' (PParams era) UnitInterval Source #

Decentralization parameter

data PParamsUpdate era Source #

The type of updates to Protocol parameters

Instances

Instances details

(IsConwayUniv fn, EraPParams era, HasSimpleRep (PParamsHKD StrictMaybe era), TypeSpec fn (SimpleRep (PParamsHKD StrictMaybe era)) ~ TypeSpec fn (PParamsHKD StrictMaybe era), HasSpec fn (SimpleRep (PParamsHKD StrictMaybe era)), Show (TypeSpec fn (PParamsHKD StrictMaybe era))) ⇒ HasSpec fn (PParamsUpdate era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances Associated Types type TypeSpec fn (PParamsUpdate era) Source # type Prerequisites fn (PParamsUpdate era) Source # Methods emptySpec ∷ TypeSpec fn (PParamsUpdate era) Source # combineSpec ∷ TypeSpec fn (PParamsUpdate era) → TypeSpec fn (PParamsUpdate era) → Specification fn (PParamsUpdate era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (PParamsUpdate era) → GenT m (PParamsUpdate era) Source # conformsTo ∷ PParamsUpdate era → TypeSpec fn (PParamsUpdate era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn (PParamsUpdate era) → PParamsUpdate era → [PParamsUpdate era] Source # toPreds ∷ Term fn (PParamsUpdate era) → TypeSpec fn (PParamsUpdate era) → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn (PParamsUpdate era) → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecOpt ∷ TypeSpec fn (PParamsUpdate era) → [PParamsUpdate era] → Specification fn (PParamsUpdate era) Source # prerequisites ∷ Evidence (Prerequisites fn (PParamsUpdate era)) Source #
FromJSON (PParamsHKD StrictMaybe era) ⇒ FromJSON (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods parseJSON ∷ Value → Parser (PParamsUpdate era) Source # parseJSONList ∷ Value → Parser [PParamsUpdate era] Source # omittedField ∷ Maybe (PParamsUpdate era) Source #
ToJSON (PParamsHKD StrictMaybe era) ⇒ ToJSON (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods toJSON ∷ PParamsUpdate era → Value Source # toEncoding ∷ PParamsUpdate era → Encoding Source # toJSONList ∷ [PParamsUpdate era] → Value Source # toEncodingList ∷ [PParamsUpdate era] → Encoding Source # omitField ∷ PParamsUpdate era → Bool Source #
Generic (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Associated Types type Rep (PParamsUpdate era) ∷ Type → Type Source # Methods from ∷ PParamsUpdate era → Rep (PParamsUpdate era) x Source # to ∷ Rep (PParamsUpdate era) x → PParamsUpdate era Source #
Show (PParamsHKD StrictMaybe era) ⇒ Show (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods showsPrec ∷ Int → PParamsUpdate era → ShowS Source # show ∷ PParamsUpdate era → String Source # showList ∷ [PParamsUpdate era] → ShowS Source #
(Typeable era, FromCBOR (PParamsHKD StrictMaybe era)) ⇒ FromCBOR (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods fromCBOR ∷ Decoder s (PParamsUpdate era) Source # label ∷ Proxy (PParamsUpdate era) → Text Source #
(Typeable era, ToCBOR (PParamsHKD StrictMaybe era)) ⇒ ToCBOR (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods toCBOR ∷ PParamsUpdate era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PParamsUpdate era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PParamsUpdate era] → Size Source #
(Typeable era, DecCBOR (PParamsHKD StrictMaybe era)) ⇒ DecCBOR (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods decCBOR ∷ Decoder s (PParamsUpdate era) Source # dropCBOR ∷ Proxy (PParamsUpdate era) → Decoder s () Source # label ∷ Proxy (PParamsUpdate era) → Text Source #
(Typeable era, EncCBOR (PParamsHKD StrictMaybe era)) ⇒ EncCBOR (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods encCBOR ∷ PParamsUpdate era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (PParamsUpdate era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [PParamsUpdate era] → Size Source #
Terse (PParamsUpdate (AllegraEra c)) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Same Methods terse ∷ PParamsUpdate (AllegraEra c) → String Source #
Terse (PParamsUpdate (AlonzoEra c)) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Same Methods terse ∷ PParamsUpdate (AlonzoEra c) → String Source #
Terse (PParamsUpdate (BabbageEra c)) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Same Methods terse ∷ PParamsUpdate (BabbageEra c) → String Source #
Terse (PParamsUpdate (ConwayEra c)) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Same Methods terse ∷ PParamsUpdate (ConwayEra c) → String Source #
Terse (PParamsUpdate (MaryEra c)) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Same Methods terse ∷ PParamsUpdate (MaryEra c) → String Source #
Terse (PParamsUpdate (ShelleyEra c)) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Same Methods terse ∷ PParamsUpdate (ShelleyEra c) → String Source #
Crypto c ⇒ PrettyA (PParamsUpdate (AllegraEra c)) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.PrettyCore Methods prettyA ∷ PParamsUpdate (AllegraEra c) → PDoc Source #
Crypto c ⇒ PrettyA (PParamsUpdate (MaryEra c)) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.PrettyCore Methods prettyA ∷ PParamsUpdate (MaryEra c) → PDoc Source #
Crypto c ⇒ PrettyA (PParamsUpdate (ShelleyEra c)) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.PrettyCore Methods prettyA ∷ PParamsUpdate (ShelleyEra c) → PDoc Source #
HasSimpleRep (PParamsHKD StrictMaybe era) ⇒ HasSimpleRep (PParamsUpdate era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances Associated Types type SimpleRep (PParamsUpdate era) Source # type TheSop (PParamsUpdate era) ∷ [Type] Source # Methods toSimpleRep ∷ PParamsUpdate era → SimpleRep (PParamsUpdate era) Source # fromSimpleRep ∷ SimpleRep (PParamsUpdate era) → PParamsUpdate era Source #
EraPParams era ⇒ Default (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods def ∷ PParamsUpdate era Source #
NFData (PParamsHKD StrictMaybe era) ⇒ NFData (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods rnf ∷ PParamsUpdate era → () Source #
Eq (PParamsHKD StrictMaybe era) ⇒ Eq (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods (==) ∷ PParamsUpdate era → PParamsUpdate era → Bool Source # (/=) ∷ PParamsUpdate era → PParamsUpdate era → Bool Source #
Ord (PParamsHKD StrictMaybe era) ⇒ Ord (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods compare ∷ PParamsUpdate era → PParamsUpdate era → Ordering Source # (<) ∷ PParamsUpdate era → PParamsUpdate era → Bool Source # (<=) ∷ PParamsUpdate era → PParamsUpdate era → Bool Source # (>) ∷ PParamsUpdate era → PParamsUpdate era → Bool Source # (>=) ∷ PParamsUpdate era → PParamsUpdate era → Bool Source # max ∷ PParamsUpdate era → PParamsUpdate era → PParamsUpdate era Source # min ∷ PParamsUpdate era → PParamsUpdate era → PParamsUpdate era Source #
NoThunks (PParamsHKD StrictMaybe era) ⇒ NoThunks (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods noThunks ∷ Context → PParamsUpdate era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PParamsUpdate era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PParamsUpdate era) → String Source #
type Prerequisites fn (PParamsUpdate era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances type Prerequisites fn (PParamsUpdate era) = ()
type TypeSpec fn (PParamsUpdate era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances type TypeSpec fn (PParamsUpdate era) = TypeSpec fn (SimpleRep (PParamsUpdate era))
type Rep (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams type Rep (PParamsUpdate era) = D1 ('MetaData "PParamsUpdate" "Cardano.Ledger.Core.PParams" "cardano-ledger-core-1.12.0.0-inplace" 'True) (C1 ('MetaCons "PParamsUpdate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParamsHKD StrictMaybe era))))
type SimpleRep (PParamsUpdate era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances type SimpleRep (PParamsUpdate era) = SimpleRep (PParamsHKD StrictMaybe era)
type TheSop (PParamsUpdate era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances type TheSop (PParamsUpdate era) = SOPOf (Rep (PParamsUpdate era))
type TranslationError (AllegraEra c) PParamsUpdate
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) PParamsUpdate = Void
type TranslationError (MaryEra c) PParamsUpdate
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) PParamsUpdate = Void

emptyPParamsUpdate ∷ EraPParams era ⇒ PParamsUpdate era Source #

ppuMinFeeAL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

The linear factor for the minimum fee calculation

ppuMinFeeBL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

The constant factor for the minimum fee calculation

ppuMaxBBSizeL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word32) Source #

Maximal block body size

ppuMaxTxSizeL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word32) Source #

Maximal transaction size

ppuMaxBHSizeL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word16) Source #

Maximal block header size

ppuKeyDepositL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

The amount of a key registration deposit

ppuPoolDepositL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

The amount of a pool registration deposit

ppuEMaxL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval) Source #

epoch bound on pool retirement

ppuNOptL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural) Source #

Desired number of pools

ppuA0L ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe NonNegativeInterval) Source #

Pool influence

ppuRhoL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval) Source #

Monetary expansion

ppuTauL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval) Source #

Treasury expansion

ppuDL ∷ (EraPParams era, ProtVerAtMost era 6) ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval) Source #

Decentralization parameter

class EraPParams era ⇒ AlonzoEraPParams era Source #

Minimal complete definition

hkdCoinsPerUTxOWordL, hkdCostModelsL, hkdPricesL, hkdMaxTxExUnitsL, hkdMaxBlockExUnitsL, hkdMaxValSizeL, hkdCollateralPercentageL, hkdMaxCollateralInputsL

Instances

Instances details

Crypto c ⇒ AlonzoEraPParams (AlonzoEra c)

Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

hkdCoinsPerUTxOWordL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ExactEra AlonzoEra (AlonzoEra c)) ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f CoinPerWord) Source #

hkdCostModelsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f CostModels) Source #

hkdPricesL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Prices) Source #

hkdMaxTxExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f ExUnits) Source #

hkdMaxBlockExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f ExUnits) Source #

hkdMaxValSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Natural) Source #

hkdCollateralPercentageL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Natural) Source #

hkdMaxCollateralInputsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Natural) Source #

ppCoinsPerUTxOWordL ∷ (AlonzoEraPParams era, ExactEra AlonzoEra era) ⇒ Lens' (PParams era) CoinPerWord Source #

ppCostModelsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) CostModels Source #

ppPricesL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Prices Source #

ppMaxTxExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) ExUnits Source #

ppMaxBlockExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) ExUnits Source #

ppMaxValSizeL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural Source #

ppCollateralPercentageL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural Source #

ppMaxCollateralInputsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural Source #

ppuCoinsPerUTxOWordL ∷ (AlonzoEraPParams era, ExactEra AlonzoEra era) ⇒ Lens' (PParamsUpdate era) (StrictMaybe CoinPerWord) Source #

ppuCostModelsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe CostModels) Source #

ppuPricesL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Prices) Source #

ppuMaxTxExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe ExUnits) Source #

ppuMaxBlockExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe ExUnits) Source #

ppuMaxValSizeL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural) Source #

ppuCollateralPercentageL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural) Source #

ppuMaxCollateralInputsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural) Source #

class AlonzoEraPParams era ⇒ BabbageEraPParams era where Source #

Methods

hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f CoinPerByte) Source #

Instances

Instances details

Crypto c ⇒ BabbageEraPParams (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f CoinPerByte) Source #

ppCoinsPerUTxOByteL ∷ BabbageEraPParams era ⇒ Lens' (PParams era) CoinPerByte Source #

ppuCoinsPerUTxOByteL ∷ BabbageEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe CoinPerByte) Source #

class BabbageEraPParams era ⇒ ConwayEraPParams era Source #

Minimal complete definition

modifiedPPGroups, ppuWellFormed, hkdPoolVotingThresholdsL, hkdDRepVotingThresholdsL, hkdCommitteeMinSizeL, hkdCommitteeMaxTermLengthL, hkdGovActionLifetimeL, hkdGovActionDepositL, hkdDRepDepositL, hkdDRepActivityL, hkdMinFeeRefScriptCostPerByteL

Instances

Instances details

Crypto c ⇒ ConwayEraPParams (ConwayEra c)

Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

modifiedPPGroups ∷ PParamsUpdate (ConwayEra c) → Set PPGroups Source #

ppuWellFormed ∷ PParamsUpdate (ConwayEra c) → Bool Source #

hkdPoolVotingThresholdsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f PoolVotingThresholds) Source #

hkdDRepVotingThresholdsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f DRepVotingThresholds) Source #

hkdCommitteeMinSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Natural) Source #

hkdCommitteeMaxTermLengthL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f EpochInterval) Source #

hkdGovActionLifetimeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f EpochInterval) Source #

hkdGovActionDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source #

hkdDRepDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source #

hkdDRepActivityL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f EpochInterval) Source #

hkdMinFeeRefScriptCostPerByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f NonNegativeInterval) Source #

ppPoolVotingThresholdsL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) PoolVotingThresholds Source #

ppDRepVotingThresholdsL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) DRepVotingThresholds Source #

ppCommitteeMinSizeL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) Natural Source #

ppCommitteeMaxTermLengthL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) EpochInterval Source #

ppGovActionLifetimeL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) EpochInterval Source #

ppGovActionDepositL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) Coin Source #

ppDRepDepositL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) Coin Source #

ppDRepActivityL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) EpochInterval Source #

ppMinFeeRefScriptCostPerByteL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) NonNegativeInterval Source #

ppuPoolVotingThresholdsL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe PoolVotingThresholds) Source #

ppuDRepVotingThresholdsL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe DRepVotingThresholds) Source #

ppuCommitteeMinSizeL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural) Source #

ppuCommitteeMaxTermLengthL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval) Source #

ppuGovActionLifetimeL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval) Source #

ppuGovActionDepositL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

ppuDRepDepositL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

ppuDRepActivityL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval) Source #

ppuMinFeeRefScriptCostPerByteL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe NonNegativeInterval) Source #

class (Era era, Show (Script era), Eq (Script era), EqRaw (Script era), ToCBOR (Script era), EncCBOR (Script era), DecCBOR (Annotator (Script era)), NoThunks (Script era), SafeToHash (Script era), Eq (NativeScript era), Show (NativeScript era), NFData (NativeScript era), NoThunks (NativeScript era), EncCBOR (NativeScript era), DecCBOR (Annotator (NativeScript era))) ⇒ EraScript era where Source #

Typeclass for script data types. Allows for script validation and hashing. You must understand the role of SafeToHash and scriptPrefixTag to make new instances. scriptPrefixTag is a magic number representing the tag of the script language. For each new script language defined, a new tag is chosen and the tag is included in the script hash for a script. The safeToHash constraint ensures that Scripts are never reserialised.

Minimal complete definition

upgradeScript, scriptPrefixTag, getNativeScript, fromNativeScript

Associated Types

type Script era = (r ∷ Type) | r → era Source #

Scripts which may lock transaction outputs in this era

type NativeScript era = (r ∷ Type) | r → era Source #

Methods

getNativeScript ∷ Script era → Maybe (NativeScript era) Source #

fromNativeScript ∷ NativeScript era → Script era Source #

hashScript ∷ EraScript era ⇒ Script era → ScriptHash (EraCrypto era) Source #

Compute ScriptHash of a Script for a particular era.