Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Api.Era

Contents

Eras
Crypto
Protocol version
- Value level
- Type level constraints

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
- type PreviousEra era = (r ∷ Type) | r → era
- type ProtVerLow era ∷ Nat
- type ProtVerHigh era ∷ Nat
eraName ∷ Era era ⇒ String
data ByronEra c
type Shelley = ShelleyEra StandardCrypto
data ShelleyEra c
type Allegra = AllegraEra StandardCrypto
data AllegraEra c
type Mary = MaryEra StandardCrypto
data MaryEra era
type Alonzo = AlonzoEra StandardCrypto
data AlonzoEra c
type Babbage = BabbageEra StandardCrypto
data BabbageEra c
type Conway = ConwayEra StandardCrypto
data ConwayEra c
type LatestKnownEra c = ConwayEra c
data StandardCrypto
class (HashAlgorithm (HASH c), HashAlgorithm (ADDRHASH c), DSIGNAlgorithm (DSIGN c), KESAlgorithm (KES c), VRFAlgorithm (VRF c), ContextDSIGN (DSIGN c) ~ (), ContextKES (KES c) ~ (), ContextVRF (VRF c) ~ (), Typeable c) ⇒ Crypto c where
- type HASH c
- type ADDRHASH c
- type DSIGN c
- type KES c
- type VRF c
eraProtVerHigh ∷ Era era ⇒ Version
eraProtVerLow ∷ Era era ⇒ Version
type AtLeastEra (eraName ∷ Type → Type) era = ProtVerAtLeast era (ProtVerLow (eraName (EraCrypto era)))
type AtMostEra (eraName ∷ Type → Type) era = ProtVerAtMost era (ProtVerHigh (eraName (EraCrypto era)))
type ExactEra (inEra ∷ Type → Type) era = ProtVerInBounds era (ProtVerLow (inEra (EraCrypto era))) (ProtVerHigh (inEra (EraCrypto era)))
type family ProtVerAtLeast era (l ∷ Nat) where ...
type family ProtVerAtMost era (h ∷ Nat) where ...
type ProtVerInBounds era (l ∷ Nat) (h ∷ Nat) = (ProtVerAtLeast era l, ProtVerAtMost era h)
atLeastEra ∷ ∀ (eraName ∷ Type → Type) era. AtLeastEra eraName era ⇒ ()
atMostEra ∷ ∀ (eraName ∷ Type → Type) era. AtMostEra eraName era ⇒ ()

Eras

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 #

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

Map an era to its predecessor.

For example:

type instance PreviousEra (AllegraEra c) = ShelleyEra c

type ProtVerLow era ∷ Nat Source #

Lowest major protocol version for this era

type ProtVerHigh era ∷ Nat Source #

Highest major protocol version for this era. By default se to ProtVerLow

type ProtVerHigh era = ProtVerLow era

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 #

eraName ∷ Era era ⇒ String Source #

Textual name of the current era.

Designed to be used with TypeApplications:

>>> eraName @(ByronEra StandardCrypto)
Byron

Byron

data ByronEra c Source #

This is the era that preceded Shelley era. It cannot have any other class instances, except for Era type class.

Instances

Instances details

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 #
type EraCrypto (ByronEra c)
Instance details Defined in Cardano.Ledger.Core.Era type EraCrypto (ByronEra c) = c
type PreviousEra (ByronEra c)
Instance details Defined in Cardano.Ledger.Core.Era type PreviousEra (ByronEra c) = VoidEra c
type ProtVerHigh (ByronEra c)
Instance details Defined in Cardano.Ledger.Core.Era type ProtVerHigh (ByronEra c) = 1
type ProtVerLow (ByronEra c)
Instance details Defined in Cardano.Ledger.Core.Era type ProtVerLow (ByronEra c) = 0

Shelley

type Shelley = ShelleyEra StandardCrypto Source #

data ShelleyEra c Source #

Instances

Instances details

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyBbodyPredFailure (ShelleyEra c) → EraRuleFailure "BBODY" (ShelleyEra c) Source #
InjectRuleFailure "DELEG" ShelleyDelegPredFailure (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg Methods injectFailure ∷ ShelleyDelegPredFailure (ShelleyEra c) → EraRuleFailure "DELEG" (ShelleyEra c) Source #
InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods injectFailure ∷ ShelleyDelegsPredFailure (ShelleyEra c) → EraRuleFailure "DELEGS" (ShelleyEra c) Source #
InjectRuleFailure "DELPL" ShelleyDelplPredFailure (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods injectFailure ∷ ShelleyDelplPredFailure (ShelleyEra c) → EraRuleFailure "DELPL" (ShelleyEra c) Source #
InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyLedgerPredFailure (ShelleyEra c) → EraRuleFailure "LEDGER" (ShelleyEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgersPredFailure (ShelleyEra c) → EraRuleFailure "LEDGERS" (ShelleyEra c) Source #
InjectRuleFailure "POOL" ShelleyPoolPredFailure (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool Methods injectFailure ∷ ShelleyPoolPredFailure (ShelleyEra c) → EraRuleFailure "POOL" (ShelleyEra c) Source #
InjectRuleFailure "PPUP" ShelleyPpupPredFailure (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup Methods injectFailure ∷ ShelleyPpupPredFailure (ShelleyEra c) → EraRuleFailure "PPUP" (ShelleyEra c) Source #
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo Methods injectFailure ∷ ShelleyUtxoPredFailure (ShelleyEra c) → EraRuleFailure "UTXO" (ShelleyEra c) Source #
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods injectFailure ∷ ShelleyUtxowPredFailure (ShelleyEra c) → EraRuleFailure "UTXOW" (ShelleyEra c) Source #
Crypto c ⇒ FromJSON (TransitionConfig (ShelleyEra c))
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods parseJSON ∷ Value → Parser (TransitionConfig (ShelleyEra c)) Source # parseJSONList ∷ Value → Parser [TransitionConfig (ShelleyEra c)] Source # omittedField ∷ Maybe (TransitionConfig (ShelleyEra c)) Source #
Crypto c ⇒ ToJSON (TransitionConfig (ShelleyEra c))
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods toJSON ∷ TransitionConfig (ShelleyEra c) → Value Source # toEncoding ∷ TransitionConfig (ShelleyEra c) → Encoding Source # toJSONList ∷ [TransitionConfig (ShelleyEra c)] → Value Source # toEncodingList ∷ [TransitionConfig (ShelleyEra c)] → Encoding Source # omitField ∷ TransitionConfig (ShelleyEra c) → Bool Source #
Generic (TransitionConfig (ShelleyEra c))
Instance details Defined in Cardano.Ledger.Shelley.Transition Associated Types type Rep (TransitionConfig (ShelleyEra c)) ∷ Type → Type Source # Methods from ∷ TransitionConfig (ShelleyEra c) → Rep (TransitionConfig (ShelleyEra c)) x Source # to ∷ Rep (TransitionConfig (ShelleyEra c)) x → TransitionConfig (ShelleyEra c) Source #
Crypto c ⇒ Show (TransitionConfig (ShelleyEra c))
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods showsPrec ∷ Int → TransitionConfig (ShelleyEra c) → ShowS Source # show ∷ TransitionConfig (ShelleyEra c) → String Source # showList ∷ [TransitionConfig (ShelleyEra c)] → ShowS 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 #
(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyBlock (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.API.Validation Methods applyTickOpts ∷ ∀ (ep ∷ EventPolicy). ApplySTSOpts ep → Globals → NewEpochState (ShelleyEra c) → SlotNo → EventReturnType ep (EraRule "TICK" (ShelleyEra c)) (NewEpochState (ShelleyEra c)) Source # applyBlockOpts ∷ ∀ (ep ∷ EventPolicy) m. (EventReturnTypeRep ep, MonadError (BlockTransitionError (ShelleyEra c)) m) ⇒ ApplySTSOpts ep → Globals → NewEpochState (ShelleyEra c) → Block (BHeaderView (EraCrypto (ShelleyEra c))) (ShelleyEra c) → m (EventReturnType ep (EraRule "BBODY" (ShelleyEra c)) (NewEpochState (ShelleyEra c))) Source # reapplyBlock ∷ Globals → NewEpochState (ShelleyEra c) → Block (BHeaderView (EraCrypto (ShelleyEra c))) (ShelleyEra c) → NewEpochState (ShelleyEra c) Source #
Crypto c ⇒ EraGov (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Governance Associated Types type GovState (ShelleyEra c) = (r ∷ Type) Source # Methods emptyGovState ∷ GovState (ShelleyEra c) Source # getProposedPPUpdates ∷ GovState (ShelleyEra c) → Maybe (ProposedPPUpdates (ShelleyEra c)) Source # curPParamsGovStateL ∷ Lens' (GovState (ShelleyEra c)) (PParams (ShelleyEra c)) Source # prevPParamsGovStateL ∷ Lens' (GovState (ShelleyEra c)) (PParams (ShelleyEra c)) Source # futurePParamsGovStateL ∷ Lens' (GovState (ShelleyEra c)) (FuturePParams (ShelleyEra c)) Source # obligationGovState ∷ GovState (ShelleyEra c) → Obligations Source #
Crypto c ⇒ ShelleyEraScript (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Scripts Methods mkRequireSignature ∷ KeyHash 'Witness (EraCrypto (ShelleyEra c)) → NativeScript (ShelleyEra c) Source # getRequireSignature ∷ NativeScript (ShelleyEra c) → Maybe (KeyHash 'Witness (EraCrypto (ShelleyEra c))) Source # mkRequireAllOf ∷ StrictSeq (NativeScript (ShelleyEra c)) → NativeScript (ShelleyEra c) Source # getRequireAllOf ∷ NativeScript (ShelleyEra c) → Maybe (StrictSeq (NativeScript (ShelleyEra c))) Source # mkRequireAnyOf ∷ StrictSeq (NativeScript (ShelleyEra c)) → NativeScript (ShelleyEra c) Source # getRequireAnyOf ∷ NativeScript (ShelleyEra c) → Maybe (StrictSeq (NativeScript (ShelleyEra c))) Source # mkRequireMOf ∷ Int → StrictSeq (NativeScript (ShelleyEra c)) → NativeScript (ShelleyEra c) Source # getRequireMOf ∷ NativeScript (ShelleyEra c) → Maybe (Int, StrictSeq (NativeScript (ShelleyEra c))) Source #
Crypto c ⇒ EraTransition (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Transition Associated Types data TransitionConfig (ShelleyEra c) Source # Methods mkTransitionConfig ∷ TranslationContext (ShelleyEra c) → TransitionConfig (PreviousEra (ShelleyEra c)) → TransitionConfig (ShelleyEra c) Source # injectIntoTestState ∷ TransitionConfig (ShelleyEra c) → NewEpochState (ShelleyEra c) → NewEpochState (ShelleyEra c) Source # tcPreviousEraConfigL ∷ Lens' (TransitionConfig (ShelleyEra c)) (TransitionConfig (PreviousEra (ShelleyEra c))) Source # tcTranslationContextL ∷ Lens' (TransitionConfig (ShelleyEra c)) (TranslationContext (ShelleyEra c)) Source # tcShelleyGenesisL ∷ Lens' (TransitionConfig (ShelleyEra c)) (ShelleyGenesis (EraCrypto (ShelleyEra c))) Source # tcInitialPParamsG ∷ SimpleGetter (TransitionConfig (ShelleyEra c)) (PParams (ShelleyEra c)) Source #
Crypto c ⇒ ShelleyEraTxBody (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) (StrictMaybe (Update (ShelleyEra c))) Source #
Crypto c ⇒ ShelleyEraTxCert (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods mkRegTxCert ∷ StakeCredential (EraCrypto (ShelleyEra c)) → TxCert (ShelleyEra c) Source # getRegTxCert ∷ TxCert (ShelleyEra c) → Maybe (StakeCredential (EraCrypto (ShelleyEra c))) Source # mkUnRegTxCert ∷ StakeCredential (EraCrypto (ShelleyEra c)) → TxCert (ShelleyEra c) Source # getUnRegTxCert ∷ TxCert (ShelleyEra c) → Maybe (StakeCredential (EraCrypto (ShelleyEra c))) Source # mkDelegStakeTxCert ∷ StakeCredential (EraCrypto (ShelleyEra c)) → KeyHash 'StakePool (EraCrypto (ShelleyEra c)) → TxCert (ShelleyEra c) Source # getDelegStakeTxCert ∷ TxCert (ShelleyEra c) → Maybe (StakeCredential (EraCrypto (ShelleyEra c)), KeyHash 'StakePool (EraCrypto (ShelleyEra c))) Source # mkGenesisDelegTxCert ∷ GenesisDelegCert (EraCrypto (ShelleyEra c)) → TxCert (ShelleyEra c) Source # getGenesisDelegTxCert ∷ TxCert (ShelleyEra c) → Maybe (GenesisDelegCert (EraCrypto (ShelleyEra c))) Source # mkMirTxCert ∷ MIRCert (EraCrypto (ShelleyEra c)) → TxCert (ShelleyEra c) Source # getMirTxCert ∷ TxCert (ShelleyEra c) → Maybe (MIRCert (EraCrypto (ShelleyEra c))) Source #
Crypto c ⇒ Eq (TransitionConfig (ShelleyEra c))
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods (==) ∷ TransitionConfig (ShelleyEra c) → TransitionConfig (ShelleyEra c) → Bool Source # (/=) ∷ TransitionConfig (ShelleyEra c) → TransitionConfig (ShelleyEra c) → Bool Source #
Crypto c ⇒ NoThunks (TransitionConfig (ShelleyEra c))
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods noThunks ∷ Context → TransitionConfig (ShelleyEra c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig (ShelleyEra c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig (ShelleyEra c)) → String Source #
type EraRule "BBODY" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "BBODY" (ShelleyEra c) = ShelleyBBODY (ShelleyEra c)
type EraRule "DELEG" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "DELEG" (ShelleyEra c) = ShelleyDELEG (ShelleyEra c)
type EraRule "DELEGS" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "DELEGS" (ShelleyEra c) = ShelleyDELEGS (ShelleyEra c)
type EraRule "DELPL" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "DELPL" (ShelleyEra c) = ShelleyDELPL (ShelleyEra c)
type EraRule "EPOCH" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "EPOCH" (ShelleyEra c) = ShelleyEPOCH (ShelleyEra c)
type EraRule "LEDGER" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "LEDGER" (ShelleyEra c) = ShelleyLEDGER (ShelleyEra c)
type EraRule "LEDGERS" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "LEDGERS" (ShelleyEra c) = ShelleyLEDGERS (ShelleyEra c)
type EraRule "MIR" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "MIR" (ShelleyEra c) = ShelleyMIR (ShelleyEra c)
type EraRule "NEWEPOCH" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "NEWEPOCH" (ShelleyEra c) = ShelleyNEWEPOCH (ShelleyEra c)
type EraRule "NEWPP" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "NEWPP" (ShelleyEra c) = ShelleyNEWPP (ShelleyEra c)
type EraRule "POOL" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "POOL" (ShelleyEra c) = ShelleyPOOL (ShelleyEra c)
type EraRule "POOLREAP" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "POOLREAP" (ShelleyEra c) = ShelleyPOOLREAP (ShelleyEra c)
type EraRule "PPUP" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "PPUP" (ShelleyEra c) = ShelleyPPUP (ShelleyEra c)
type EraRule "RUPD" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "RUPD" (ShelleyEra c) = ShelleyRUPD (ShelleyEra c)
type EraRule "SNAP" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "SNAP" (ShelleyEra c) = ShelleySNAP (ShelleyEra c)
type EraRule "TICK" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "TICK" (ShelleyEra c) = ShelleyTICK (ShelleyEra c)
type EraRule "TICKF" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "TICKF" (ShelleyEra c) = ShelleyTICKF (ShelleyEra c)
type EraRule "UPEC" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "UPEC" (ShelleyEra c) = ShelleyUPEC (ShelleyEra c)
type EraRule "UTXO" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "UTXO" (ShelleyEra c) = ShelleyUTXO (ShelleyEra c)
type EraRule "UTXOW" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "UTXOW" (ShelleyEra c) = ShelleyUTXOW (ShelleyEra c)
type EraRuleEvent "LEDGER" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type EraRuleEvent "LEDGER" (ShelleyEra c) = ShelleyLedgerEvent (ShelleyEra c)
type EraRuleEvent "LEDGERS" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type EraRuleEvent "LEDGERS" (ShelleyEra c) = ShelleyLedgersEvent (ShelleyEra c)
type EraRuleEvent "NEWEPOCH" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type EraRuleEvent "NEWEPOCH" (ShelleyEra c) = ShelleyNewEpochEvent (ShelleyEra c)
type EraRuleEvent "POOLREAP" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type EraRuleEvent "POOLREAP" (ShelleyEra c) = ShelleyPoolreapEvent (ShelleyEra c)
type EraRuleEvent "TICK" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type EraRuleEvent "TICK" (ShelleyEra c) = ShelleyTickEvent (ShelleyEra c)
type EraRuleFailure "BBODY" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type EraRuleFailure "BBODY" (ShelleyEra c) = ShelleyBbodyPredFailure (ShelleyEra c)
type EraRuleFailure "DELEG" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type EraRuleFailure "DELEG" (ShelleyEra c) = ShelleyDelegPredFailure (ShelleyEra c)
type EraRuleFailure "DELEGS" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type EraRuleFailure "DELEGS" (ShelleyEra c) = ShelleyDelegsPredFailure (ShelleyEra c)
type EraRuleFailure "DELPL" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type EraRuleFailure "DELPL" (ShelleyEra c) = ShelleyDelplPredFailure (ShelleyEra c)
type EraRuleFailure "LEDGER" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type EraRuleFailure "LEDGER" (ShelleyEra c) = ShelleyLedgerPredFailure (ShelleyEra c)
type EraRuleFailure "LEDGERS" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type EraRuleFailure "LEDGERS" (ShelleyEra c) = ShelleyLedgersPredFailure (ShelleyEra c)
type EraRuleFailure "POOL" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type EraRuleFailure "POOL" (ShelleyEra c) = ShelleyPoolPredFailure (ShelleyEra c)
type EraRuleFailure "PPUP" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type EraRuleFailure "PPUP" (ShelleyEra c) = ShelleyPpupPredFailure (ShelleyEra c)
type EraRuleFailure "UTXO" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type EraRuleFailure "UTXO" (ShelleyEra c) = ShelleyUtxoPredFailure (ShelleyEra c)
type EraRuleFailure "UTXOW" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type EraRuleFailure "UTXOW" (ShelleyEra c) = ShelleyUtxowPredFailure (ShelleyEra c)
type DowngradePParams f (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.PParams type DowngradePParams f (ShelleyEra c) = Void
type PParamsHKD f (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.PParams type PParamsHKD f (ShelleyEra c) = ShelleyPParams f (ShelleyEra c)
type UpgradePParams f (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.PParams type UpgradePParams f (ShelleyEra c) = Void
type Rep (TransitionConfig (ShelleyEra c))
Instance details Defined in Cardano.Ledger.Shelley.Transition type Rep (TransitionConfig (ShelleyEra c)) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Shelley.Transition" "cardano-ledger-shelley-1.15.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyGenesis c))))
type NativeScript (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Scripts type NativeScript (ShelleyEra c) = MultiSig (ShelleyEra c)
type Script (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Scripts type Script (ShelleyEra c) = MultiSig (ShelleyEra c)
type Tx (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal type Tx (ShelleyEra c) = ShelleyTx (ShelleyEra c)
type TxAuxData (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData type TxAuxData (ShelleyEra c) = ShelleyTxAuxData (ShelleyEra c)
type TxBody (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type TxBody (ShelleyEra c) = ShelleyTxBody (ShelleyEra c)
type TxBodyUpgradeError (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type TxBodyUpgradeError (ShelleyEra c) = Void
type TxOut (ShelleyEra crypto)
Instance details Defined in Cardano.Ledger.Shelley.TxOut type TxOut (ShelleyEra crypto) = ShelleyTxOut (ShelleyEra crypto)
type TxSeq (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.BlockChain type TxSeq (ShelleyEra c) = ShelleyTxSeq (ShelleyEra c)
type TxUpgradeError (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal type TxUpgradeError (ShelleyEra c) = Void
type TxWits (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.TxWits type TxWits (ShelleyEra c) = ShelleyTxWits (ShelleyEra c)
type Value (ShelleyEra _c)
Instance details Defined in Cardano.Ledger.Shelley.Era type Value (ShelleyEra _c) = Coin
type EraCrypto (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era type EraCrypto (ShelleyEra c) = c
type PreviousEra (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era type PreviousEra (ShelleyEra c) = ByronEra c
type ProtVerHigh (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era type ProtVerHigh (ShelleyEra c) = ProtVerLow (ShelleyEra c)
type ProtVerLow (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Era type ProtVerLow (ShelleyEra c) = 2
type TranslationContext (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Translation type TranslationContext (ShelleyEra c) = FromByronTranslationContext c
type TxCert (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.TxCert type TxCert (ShelleyEra c) = ShelleyTxCert (ShelleyEra c)
type TxCertUpgradeError (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.TxCert type TxCertUpgradeError (ShelleyEra c) = Void
type Genesis (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis type Genesis (ShelleyEra c) = ShelleyGenesis c
type ScriptsNeeded (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.UTxO type ScriptsNeeded (ShelleyEra c) = ShelleyScriptsNeeded (ShelleyEra c)
type GovState (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Governance type GovState (ShelleyEra c) = ShelleyGovState (ShelleyEra c)
newtype TransitionConfig (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Transition newtype TransitionConfig (ShelleyEra c) = ShelleyTransitionConfig { stcShelleyGenesis ∷ ShelleyGenesis c }

Allegra

type Allegra = AllegraEra StandardCrypto Source #

data AllegraEra c Source #

The Allegra era

Instances

Instances details

InjectRuleFailure "UTXO" AllegraUtxoPredFailure (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo Methods injectFailure ∷ AllegraUtxoPredFailure (AllegraEra c) → EraRuleFailure "UTXO" (AllegraEra c) Source #
Crypto c ⇒ AllegraEraScript (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods mkTimeStart ∷ SlotNo → NativeScript (AllegraEra c) Source # getTimeStart ∷ NativeScript (AllegraEra c) → Maybe SlotNo Source # mkTimeExpire ∷ SlotNo → NativeScript (AllegraEra c) Source # getTimeExpire ∷ NativeScript (AllegraEra c) → Maybe SlotNo Source #
Crypto c ⇒ AllegraEraTxAuxData (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData (AllegraEra c)) (StrictSeq (Timelock (AllegraEra c))) Source #
Crypto c ⇒ AllegraEraTxBody (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods vldtTxBodyL ∷ Lens' (TxBody (AllegraEra c)) ValidityInterval Source #
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 ⇒ EraGenesis (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era Associated Types type Genesis (AllegraEra c) Source #
type EraRule "BBODY" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "BBODY" (AllegraEra c) = ShelleyBBODY (AllegraEra c)
type EraRule "DELEG" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "DELEG" (AllegraEra c) = ShelleyDELEG (AllegraEra c)
type EraRule "DELEGS" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "DELEGS" (AllegraEra c) = ShelleyDELEGS (AllegraEra c)
type EraRule "DELPL" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "DELPL" (AllegraEra c) = ShelleyDELPL (AllegraEra c)
type EraRule "EPOCH" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "EPOCH" (AllegraEra c) = ShelleyEPOCH (AllegraEra c)
type EraRule "LEDGER" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "LEDGER" (AllegraEra c) = ShelleyLEDGER (AllegraEra c)
type EraRule "LEDGERS" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "LEDGERS" (AllegraEra c) = ShelleyLEDGERS (AllegraEra c)
type EraRule "MIR" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "MIR" (AllegraEra c) = ShelleyMIR (AllegraEra c)
type EraRule "NEWEPOCH" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "NEWEPOCH" (AllegraEra c) = ShelleyNEWEPOCH (AllegraEra c)
type EraRule "NEWPP" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "NEWPP" (AllegraEra c) = ShelleyNEWPP (AllegraEra c)
type EraRule "POOL" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "POOL" (AllegraEra c) = ShelleyPOOL (AllegraEra c)
type EraRule "POOLREAP" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "POOLREAP" (AllegraEra c) = ShelleyPOOLREAP (AllegraEra c)
type EraRule "PPUP" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "PPUP" (AllegraEra c) = ShelleyPPUP (AllegraEra c)
type EraRule "RUPD" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "RUPD" (AllegraEra c) = ShelleyRUPD (AllegraEra c)
type EraRule "SNAP" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "SNAP" (AllegraEra c) = ShelleySNAP (AllegraEra c)
type EraRule "TICK" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "TICK" (AllegraEra c) = ShelleyTICK (AllegraEra c)
type EraRule "TICKF" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "TICKF" (AllegraEra c) = ShelleyTICKF (AllegraEra c)
type EraRule "UPEC" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "UPEC" (AllegraEra c) = ShelleyUPEC (AllegraEra c)
type EraRule "UTXO" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "UTXO" (AllegraEra c) = AllegraUTXO (AllegraEra c)
type EraRule "UTXOW" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "UTXOW" (AllegraEra c) = AllegraUTXOW (AllegraEra c)
type EraRuleEvent "LEDGER" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledger type EraRuleEvent "LEDGER" (AllegraEra c) = ShelleyLedgerEvent (AllegraEra c)
type EraRuleEvent "TICK" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Rules type EraRuleEvent "TICK" (AllegraEra c) = ShelleyTickEvent (AllegraEra c)
type EraRuleFailure "BBODY" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Bbody type EraRuleFailure "BBODY" (AllegraEra c) = ShelleyBbodyPredFailure (AllegraEra c)
type EraRuleFailure "DELEG" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Deleg type EraRuleFailure "DELEG" (AllegraEra c) = ShelleyDelegPredFailure (AllegraEra c)
type EraRuleFailure "DELEGS" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Delegs type EraRuleFailure "DELEGS" (AllegraEra c) = ShelleyDelegsPredFailure (AllegraEra c)
type EraRuleFailure "DELPL" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Delpl type EraRuleFailure "DELPL" (AllegraEra c) = ShelleyDelplPredFailure (AllegraEra c)
type EraRuleFailure "LEDGER" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledger type EraRuleFailure "LEDGER" (AllegraEra c) = ShelleyLedgerPredFailure (AllegraEra c)
type EraRuleFailure "LEDGERS" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledgers type EraRuleFailure "LEDGERS" (AllegraEra c) = ShelleyLedgersPredFailure (AllegraEra c)
type EraRuleFailure "POOL" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Pool type EraRuleFailure "POOL" (AllegraEra c) = ShelleyPoolPredFailure (AllegraEra c)
type EraRuleFailure "PPUP" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ppup type EraRuleFailure "PPUP" (AllegraEra c) = ShelleyPpupPredFailure (AllegraEra c)
type EraRuleFailure "UTXO" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo type EraRuleFailure "UTXO" (AllegraEra c) = AllegraUtxoPredFailure (AllegraEra c)
type EraRuleFailure "UTXOW" (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type EraRuleFailure "UTXOW" (AllegraEra c) = ShelleyUtxowPredFailure (AllegraEra c)
type DowngradePParams f (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.PParams type DowngradePParams f (AllegraEra c) = ()
type PParamsHKD f (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.PParams type PParamsHKD f (AllegraEra c) = ShelleyPParams f (AllegraEra c)
type UpgradePParams f (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.PParams type UpgradePParams f (AllegraEra c) = ()
type NativeScript (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Scripts type NativeScript (AllegraEra c) = Timelock (AllegraEra c)
type Script (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Scripts type Script (AllegraEra c) = Timelock (AllegraEra c)
type Tx (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Tx type Tx (AllegraEra c) = ShelleyTx (AllegraEra c)
type TxAuxData (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData type TxAuxData (AllegraEra c) = AllegraTxAuxData (AllegraEra c)
type TxBody (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal type TxBody (AllegraEra c) = AllegraTxBody (AllegraEra c)
type TxBodyUpgradeError (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal type TxBodyUpgradeError (AllegraEra c) = Void
type TxOut (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.TxOut type TxOut (AllegraEra c) = ShelleyTxOut (AllegraEra c)
type TxSeq (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.TxSeq type TxSeq (AllegraEra c) = ShelleyTxSeq (AllegraEra c)
type TxUpgradeError (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Tx type TxUpgradeError (AllegraEra c) = Void
type TxWits (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.TxWits type TxWits (AllegraEra c) = ShelleyTxWits (AllegraEra c)
type Value (AllegraEra _1)
Instance details Defined in Cardano.Ledger.Allegra.Era type Value (AllegraEra _1) = Coin
type EraCrypto (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type EraCrypto (AllegraEra c) = c
type PreviousEra (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type PreviousEra (AllegraEra c) = ShelleyEra c
type ProtVerHigh (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type ProtVerHigh (AllegraEra c) = ProtVerLow (AllegraEra c)
type ProtVerLow (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type ProtVerLow (AllegraEra c) = 3
type TranslationContext (AllegraEra c)	No context is needed to translate from Shelley to Allegra.
Instance details Defined in Cardano.Ledger.Allegra.Era type TranslationContext (AllegraEra c) = NoGenesis (AllegraEra c)
type TxCert (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.TxCert type TxCert (AllegraEra c) = ShelleyTxCert (AllegraEra c)
type TxCertUpgradeError (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.TxCert type TxCertUpgradeError (AllegraEra c) = Void
type Genesis (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Era type Genesis (AllegraEra c) = NoGenesis (AllegraEra c)
type ScriptsNeeded (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.UTxO type ScriptsNeeded (AllegraEra c) = ShelleyScriptsNeeded (AllegraEra c)
type GovState (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.PParams type GovState (AllegraEra c) = ShelleyGovState (AllegraEra c)
newtype TransitionConfig (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Transition newtype TransitionConfig (AllegraEra c) = AllegraTransitionConfig { atcShelleyTransitionConfig ∷ TransitionConfig (ShelleyEra c) }
type TranslationError (AllegraEra c) CertState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) CertState = Void
type TranslationError (AllegraEra c) CommitteeState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) CommitteeState = Void
type TranslationError (AllegraEra c) DState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) DState = Void
type TranslationError (AllegraEra c) PState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) PState = Void
type TranslationError (AllegraEra c) VState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) VState = Void
type TranslationError (AllegraEra c) PParams
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) PParams = Void
type TranslationError (AllegraEra c) PParamsUpdate
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) PParamsUpdate = Void
type TranslationError (AllegraEra c) UTxO
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) UTxO = Void
type TranslationError (AllegraEra c) FuturePParams
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) FuturePParams = Void
type TranslationError (AllegraEra c) ShelleyGovState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) ShelleyGovState = Void
type TranslationError (AllegraEra c) EpochState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) EpochState = Void
type TranslationError (AllegraEra c) LedgerState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) LedgerState = Void
type TranslationError (AllegraEra c) NewEpochState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) NewEpochState = Void
type TranslationError (AllegraEra c) UTxOState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) UTxOState = Void
type TranslationError (AllegraEra c) ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) ProposedPPUpdates = Void
type TranslationError (AllegraEra c) Update
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) Update = Void
type TranslationError (AllegraEra c) ShelleyTx
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) ShelleyTx = DecoderError
type TranslationError (AllegraEra c) ShelleyTxOut
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) ShelleyTxOut = Void
type TranslationError (AllegraEra c) ShelleyTxWits
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) ShelleyTxWits = DecoderError

Mary

type Mary = MaryEra StandardCrypto Source #

data MaryEra era Source #

Instances

Instances details

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 ⇒ EraGenesis (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era Associated Types type Genesis (MaryEra c) Source #
Crypto c ⇒ MaryEraTxBody (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal 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 #
type EraRule "BBODY" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "BBODY" (MaryEra c) = ShelleyBBODY (MaryEra c)
type EraRule "DELEG" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "DELEG" (MaryEra c) = ShelleyDELEG (MaryEra c)
type EraRule "DELEGS" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "DELEGS" (MaryEra c) = ShelleyDELEGS (MaryEra c)
type EraRule "DELPL" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "DELPL" (MaryEra c) = ShelleyDELPL (MaryEra c)
type EraRule "EPOCH" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "EPOCH" (MaryEra c) = ShelleyEPOCH (MaryEra c)
type EraRule "LEDGER" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "LEDGER" (MaryEra c) = ShelleyLEDGER (MaryEra c)
type EraRule "LEDGERS" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "LEDGERS" (MaryEra c) = ShelleyLEDGERS (MaryEra c)
type EraRule "MIR" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "MIR" (MaryEra c) = ShelleyMIR (MaryEra c)
type EraRule "NEWEPOCH" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "NEWEPOCH" (MaryEra c) = ShelleyNEWEPOCH (MaryEra c)
type EraRule "NEWPP" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "NEWPP" (MaryEra c) = ShelleyNEWPP (MaryEra c)
type EraRule "POOL" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "POOL" (MaryEra c) = ShelleyPOOL (MaryEra c)
type EraRule "POOLREAP" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "POOLREAP" (MaryEra c) = ShelleyPOOLREAP (MaryEra c)
type EraRule "PPUP" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "PPUP" (MaryEra c) = ShelleyPPUP (MaryEra c)
type EraRule "RUPD" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "RUPD" (MaryEra c) = ShelleyRUPD (MaryEra c)
type EraRule "SNAP" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "SNAP" (MaryEra c) = ShelleySNAP (MaryEra c)
type EraRule "TICK" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "TICK" (MaryEra c) = ShelleyTICK (MaryEra c)
type EraRule "TICKF" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "TICKF" (MaryEra c) = ShelleyTICKF (MaryEra c)
type EraRule "UPEC" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "UPEC" (MaryEra c) = ShelleyUPEC (MaryEra c)
type EraRule "UTXO" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "UTXO" (MaryEra c) = AllegraUTXO (MaryEra c)
type EraRule "UTXOW" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "UTXOW" (MaryEra c) = AllegraUTXOW (MaryEra c)
type EraRuleEvent "LEDGER" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger type EraRuleEvent "LEDGER" (MaryEra c) = ShelleyLedgerEvent (MaryEra c)
type EraRuleEvent "TICK" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Rules type EraRuleEvent "TICK" (MaryEra c) = ShelleyTickEvent (MaryEra c)
type EraRuleFailure "BBODY" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody type EraRuleFailure "BBODY" (MaryEra c) = ShelleyBbodyPredFailure (MaryEra c)
type EraRuleFailure "DELEG" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Rules.Deleg type EraRuleFailure "DELEG" (MaryEra c) = ShelleyDelegPredFailure (MaryEra c)
type EraRuleFailure "DELEGS" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Rules.Delegs type EraRuleFailure "DELEGS" (MaryEra c) = ShelleyDelegsPredFailure (MaryEra c)
type EraRuleFailure "DELPL" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Rules.Delpl type EraRuleFailure "DELPL" (MaryEra c) = ShelleyDelplPredFailure (MaryEra c)
type EraRuleFailure "LEDGER" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger type EraRuleFailure "LEDGER" (MaryEra c) = ShelleyLedgerPredFailure (MaryEra c)
type EraRuleFailure "LEDGERS" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledgers type EraRuleFailure "LEDGERS" (MaryEra c) = ShelleyLedgersPredFailure (MaryEra c)
type EraRuleFailure "POOL" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Rules.Pool type EraRuleFailure "POOL" (MaryEra c) = ShelleyPoolPredFailure (MaryEra c)
type EraRuleFailure "PPUP" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Rules.Ppup type EraRuleFailure "PPUP" (MaryEra c) = ShelleyPpupPredFailure (MaryEra c)
type EraRuleFailure "UTXO" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Rules.Utxo type EraRuleFailure "UTXO" (MaryEra c) = AllegraUtxoPredFailure (MaryEra c)
type EraRuleFailure "UTXOW" (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Rules.Utxow type EraRuleFailure "UTXOW" (MaryEra c) = ShelleyUtxowPredFailure (MaryEra c)
type DowngradePParams f (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.PParams type DowngradePParams f (MaryEra c) = ()
type PParamsHKD f (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.PParams type PParamsHKD f (MaryEra c) = ShelleyPParams f (MaryEra c)
type UpgradePParams f (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.PParams type UpgradePParams f (MaryEra c) = ()
type NativeScript (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Scripts type NativeScript (MaryEra c) = Timelock (MaryEra c)
type Script (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Scripts type Script (MaryEra c) = Timelock (MaryEra c)
type Tx (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Tx type Tx (MaryEra c) = ShelleyTx (MaryEra c)
type TxAuxData (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.TxAuxData type TxAuxData (MaryEra c) = AllegraTxAuxData (MaryEra c)
type TxBody (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal type TxBody (MaryEra c) = MaryTxBody (MaryEra c)
type TxBodyUpgradeError (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal type TxBodyUpgradeError (MaryEra c) = Void
type TxOut (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.TxOut type TxOut (MaryEra c) = ShelleyTxOut (MaryEra c)
type TxSeq (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.TxSeq type TxSeq (MaryEra c) = ShelleyTxSeq (MaryEra c)
type TxUpgradeError (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Tx type TxUpgradeError (MaryEra c) = Void
type TxWits (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.TxWits type TxWits (MaryEra c) = ShelleyTxWits (MaryEra c)
type Value (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type Value (MaryEra c) = MaryValue c
type EraCrypto (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type EraCrypto (MaryEra c) = c
type PreviousEra (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type PreviousEra (MaryEra c) = AllegraEra c
type ProtVerHigh (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type ProtVerHigh (MaryEra c) = ProtVerLow (MaryEra c)
type ProtVerLow (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type ProtVerLow (MaryEra c) = 4
type TranslationContext (MaryEra c)	No context is needed to translate from Allegra to Mary.
Instance details Defined in Cardano.Ledger.Mary.Era type TranslationContext (MaryEra c) = NoGenesis (MaryEra c)
type TxCert (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.TxCert type TxCert (MaryEra c) = ShelleyTxCert (MaryEra c)
type TxCertUpgradeError (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.TxCert type TxCertUpgradeError (MaryEra c) = Void
type Genesis (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type Genesis (MaryEra c) = NoGenesis (MaryEra c)
type ScriptsNeeded (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.UTxO type ScriptsNeeded (MaryEra c) = ShelleyScriptsNeeded (MaryEra c)
type GovState (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.PParams type GovState (MaryEra c) = ShelleyGovState (MaryEra c)
newtype TransitionConfig (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Transition newtype TransitionConfig (MaryEra c) = MaryTransitionConfig { mtcAllegraTransitionConfig ∷ TransitionConfig (AllegraEra c) }
type TranslationError (MaryEra c) Timelock
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) Timelock = Void
type TranslationError (MaryEra c) AllegraTxAuxData
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) AllegraTxAuxData = Void
type TranslationError (MaryEra c) CertState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) CertState = Void
type TranslationError (MaryEra c) CommitteeState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) CommitteeState = Void
type TranslationError (MaryEra c) DState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) DState = Void
type TranslationError (MaryEra c) PState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) PState = Void
type TranslationError (MaryEra c) VState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) VState = Void
type TranslationError (MaryEra c) PParams
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) PParams = Void
type TranslationError (MaryEra c) PParamsUpdate
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) PParamsUpdate = Void
type TranslationError (MaryEra c) UTxO
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) UTxO = Void
type TranslationError (MaryEra c) FuturePParams
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) FuturePParams = Void
type TranslationError (MaryEra c) ShelleyGovState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) ShelleyGovState = Void
type TranslationError (MaryEra c) EpochState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) EpochState = Void
type TranslationError (MaryEra c) LedgerState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) LedgerState = Void
type TranslationError (MaryEra c) NewEpochState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) NewEpochState = Void
type TranslationError (MaryEra c) UTxOState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) UTxOState = Void
type TranslationError (MaryEra c) ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) ProposedPPUpdates = Void
type TranslationError (MaryEra c) Update
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) Update = Void
type TranslationError (MaryEra c) ShelleyTx
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) ShelleyTx = DecoderError
type TranslationError (MaryEra c) ShelleyTxOut
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) ShelleyTxOut = Void
type TranslationError (MaryEra c) ShelleyTxWits
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) ShelleyTxWits = DecoderError

Alonzo

type Alonzo = AlonzoEra StandardCrypto Source #

data AlonzoEra c Source #

The Alonzo era

Instances

Instances details

InjectRuleFailure "BBODY" AlonzoBbodyPredFailure (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ AlonzoBbodyPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "UTXO" AlonzoUtxoPredFailure (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo Methods injectFailure ∷ AlonzoUtxoPredFailure (AlonzoEra c) → EraRuleFailure "UTXO" (AlonzoEra c) Source #
InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos Methods injectFailure ∷ AlonzoUtxosPredFailure (AlonzoEra c) → EraRuleFailure "UTXOS" (AlonzoEra c) Source #
InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow Methods injectFailure ∷ AlonzoUtxowPredFailure (AlonzoEra c) → EraRuleFailure "UTXOW" (AlonzoEra c) Source #
Generic (PlutusScript (AlonzoEra c))
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Associated Types type Rep (PlutusScript (AlonzoEra c)) ∷ Type → Type Source # Methods from ∷ PlutusScript (AlonzoEra c) → Rep (PlutusScript (AlonzoEra c)) x Source # to ∷ Rep (PlutusScript (AlonzoEra c)) x → PlutusScript (AlonzoEra c) Source #
Show (PlutusScript (AlonzoEra c))
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods showsPrec ∷ Int → PlutusScript (AlonzoEra c) → ShowS Source # show ∷ PlutusScript (AlonzoEra c) → String Source # showList ∷ [PlutusScript (AlonzoEra c)] → ShowS Source #
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 #
Crypto c ⇒ AlonzoEraScript (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Associated Types data PlutusScript (AlonzoEra c) Source # type PlutusPurpose f (AlonzoEra c) = (r ∷ Type) Source # Methods eraMaxLanguage ∷ Language Source # toPlutusScript ∷ Script (AlonzoEra c) → Maybe (PlutusScript (AlonzoEra c)) Source # fromPlutusScript ∷ PlutusScript (AlonzoEra c) → Script (AlonzoEra c) Source # mkPlutusScript ∷ ∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → Maybe (PlutusScript (AlonzoEra c)) Source # withPlutusScript ∷ PlutusScript (AlonzoEra c) → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → a Source # hoistPlutusPurpose ∷ (∀ ix it. g ix it → f ix it) → PlutusPurpose g (AlonzoEra c) → PlutusPurpose f (AlonzoEra c) Source # mkSpendingPurpose ∷ f Word32 (TxIn (EraCrypto (AlonzoEra c))) → PlutusPurpose f (AlonzoEra c) Source # toSpendingPurpose ∷ PlutusPurpose f (AlonzoEra c) → Maybe (f Word32 (TxIn (EraCrypto (AlonzoEra c)))) Source # mkMintingPurpose ∷ f Word32 (PolicyID (EraCrypto (AlonzoEra c))) → PlutusPurpose f (AlonzoEra c) Source # toMintingPurpose ∷ PlutusPurpose f (AlonzoEra c) → Maybe (f Word32 (PolicyID (EraCrypto (AlonzoEra c)))) Source # mkCertifyingPurpose ∷ f Word32 (TxCert (AlonzoEra c)) → PlutusPurpose f (AlonzoEra c) Source # toCertifyingPurpose ∷ PlutusPurpose f (AlonzoEra c) → Maybe (f Word32 (TxCert (AlonzoEra c))) Source # mkRewardingPurpose ∷ f Word32 (RewardAccount (EraCrypto (AlonzoEra c))) → PlutusPurpose f (AlonzoEra c) Source # toRewardingPurpose ∷ PlutusPurpose f (AlonzoEra c) → Maybe (f Word32 (RewardAccount (EraCrypto (AlonzoEra c)))) Source # upgradePlutusPurposeAsIx ∷ PlutusPurpose AsIx (PreviousEra (AlonzoEra c)) → PlutusPurpose AsIx (AlonzoEra c) Source #
Crypto c ⇒ AlonzoEraTx (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods isValidTxL ∷ Lens' (Tx (AlonzoEra c)) IsValid Source #
Crypto c ⇒ AlonzoEraTxAuxData (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData (AlonzoEra c)) (Map Language (NonEmpty PlutusBinary)) Source #
Crypto c ⇒ AlonzoEraTxBody (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal 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 #
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 #
(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 #
Crypto c ⇒ AlonzoEraUTxO (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.UTxO Methods getSupplementalDataHashes ∷ UTxO (AlonzoEra c) → TxBody (AlonzoEra c) → Set (DataHash (EraCrypto (AlonzoEra c))) Source # getSpendingDatum ∷ UTxO (AlonzoEra c) → Tx (AlonzoEra c) → PlutusPurpose AsItem (AlonzoEra c) → Maybe (Data (AlonzoEra c)) 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 #
SafeToHash (PlutusScript (AlonzoEra c))
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods originalBytes ∷ PlutusScript (AlonzoEra c) → ByteString Source # originalBytesSize ∷ PlutusScript (AlonzoEra c) → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c0) ⇒ Proxy c0 → Proxy index → PlutusScript (AlonzoEra c) → SafeHash c0 index Source #
NFData (PlutusScript (AlonzoEra c))
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods rnf ∷ PlutusScript (AlonzoEra c) → () Source #
Eq (PlutusScript (AlonzoEra c))
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods (==) ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → Bool Source # (/=) ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → Bool Source #
Ord (PlutusScript (AlonzoEra c))
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods compare ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → Ordering Source # (<) ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → Bool Source # (<=) ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → Bool Source # (>) ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → Bool Source # (>=) ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → Bool Source # max ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) Source # min ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) Source #
NoThunks (PlutusScript (AlonzoEra c))
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods noThunks ∷ Context → PlutusScript (AlonzoEra c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PlutusScript (AlonzoEra c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PlutusScript (AlonzoEra c)) → String Source #
Crypto c ⇒ TranslateEra (AlonzoEra c) Tx
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError (AlonzoEra c) Tx Source # Methods translateEra ∷ TranslationContext (AlonzoEra c) → Tx (PreviousEra (AlonzoEra c)) → Except (TranslationError (AlonzoEra c) Tx) (Tx (AlonzoEra c)) Source #
Crypto c ⇒ ToJSON (AlonzoPParams Identity (AlonzoEra c))
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods toJSON ∷ AlonzoPParams Identity (AlonzoEra c) → Value Source # toEncoding ∷ AlonzoPParams Identity (AlonzoEra c) → Encoding Source # toJSONList ∷ [AlonzoPParams Identity (AlonzoEra c)] → Value Source # toEncodingList ∷ [AlonzoPParams Identity (AlonzoEra c)] → Encoding Source # omitField ∷ AlonzoPParams Identity (AlonzoEra c) → Bool Source #
Crypto c ⇒ ToJSON (AlonzoPParams StrictMaybe (AlonzoEra c))
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods toJSON ∷ AlonzoPParams StrictMaybe (AlonzoEra c) → Value Source # toEncoding ∷ AlonzoPParams StrictMaybe (AlonzoEra c) → Encoding Source # toJSONList ∷ [AlonzoPParams StrictMaybe (AlonzoEra c)] → Value Source # toEncodingList ∷ [AlonzoPParams StrictMaybe (AlonzoEra c)] → Encoding Source # omitField ∷ AlonzoPParams StrictMaybe (AlonzoEra c) → Bool Source #
type PlutusPurpose f (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type PlutusPurpose f (AlonzoEra c) = AlonzoPlutusPurpose f (AlonzoEra c)
type EraRule "BBODY" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "BBODY" (AlonzoEra c) = AlonzoBBODY (AlonzoEra c)
type EraRule "DELEG" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "DELEG" (AlonzoEra c) = ShelleyDELEG (AlonzoEra c)
type EraRule "DELEGS" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "DELEGS" (AlonzoEra c) = ShelleyDELEGS (AlonzoEra c)
type EraRule "DELPL" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "DELPL" (AlonzoEra c) = ShelleyDELPL (AlonzoEra c)
type EraRule "EPOCH" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "EPOCH" (AlonzoEra c) = ShelleyEPOCH (AlonzoEra c)
type EraRule "LEDGER" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "LEDGER" (AlonzoEra c) = AlonzoLEDGER (AlonzoEra c)
type EraRule "LEDGERS" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "LEDGERS" (AlonzoEra c) = ShelleyLEDGERS (AlonzoEra c)
type EraRule "MIR" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "MIR" (AlonzoEra c) = ShelleyMIR (AlonzoEra c)
type EraRule "NEWEPOCH" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "NEWEPOCH" (AlonzoEra c) = ShelleyNEWEPOCH (AlonzoEra c)
type EraRule "NEWPP" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "NEWPP" (AlonzoEra c) = ShelleyNEWPP (AlonzoEra c)
type EraRule "POOL" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "POOL" (AlonzoEra c) = ShelleyPOOL (AlonzoEra c)
type EraRule "POOLREAP" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "POOLREAP" (AlonzoEra c) = ShelleyPOOLREAP (AlonzoEra c)
type EraRule "PPUP" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "PPUP" (AlonzoEra c) = ShelleyPPUP (AlonzoEra c)
type EraRule "RUPD" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "RUPD" (AlonzoEra c) = ShelleyRUPD (AlonzoEra c)
type EraRule "SNAP" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "SNAP" (AlonzoEra c) = ShelleySNAP (AlonzoEra c)
type EraRule "TICK" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "TICK" (AlonzoEra c) = ShelleyTICK (AlonzoEra c)
type EraRule "TICKF" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "TICKF" (AlonzoEra c) = ShelleyTICKF (AlonzoEra c)
type EraRule "UPEC" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "UPEC" (AlonzoEra c) = ShelleyUPEC (AlonzoEra c)
type EraRule "UTXO" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "UTXO" (AlonzoEra c) = AlonzoUTXO (AlonzoEra c)
type EraRule "UTXOS" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "UTXOS" (AlonzoEra c) = AlonzoUTXOS (AlonzoEra c)
type EraRule "UTXOW" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "UTXOW" (AlonzoEra c) = AlonzoUTXOW (AlonzoEra c)
type EraRuleEvent "LEDGER" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Rules type EraRuleEvent "LEDGER" (AlonzoEra c) = ShelleyLedgerEvent (AlonzoEra c)
type EraRuleEvent "PPUP" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ppup type EraRuleEvent "PPUP" (AlonzoEra c) = PpupEvent (AlonzoEra c)
type EraRuleEvent "TICK" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Rules type EraRuleEvent "TICK" (AlonzoEra c) = ShelleyTickEvent (AlonzoEra c)
type EraRuleFailure "BBODY" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type EraRuleFailure "BBODY" (AlonzoEra c) = AlonzoBbodyPredFailure (AlonzoEra c)
type EraRuleFailure "DELEG" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Deleg type EraRuleFailure "DELEG" (AlonzoEra c) = ShelleyDelegPredFailure (AlonzoEra c)
type EraRuleFailure "DELEGS" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Delegs type EraRuleFailure "DELEGS" (AlonzoEra c) = ShelleyDelegsPredFailure (AlonzoEra c)
type EraRuleFailure "DELPL" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Delpl type EraRuleFailure "DELPL" (AlonzoEra c) = ShelleyDelplPredFailure (AlonzoEra c)
type EraRuleFailure "LEDGER" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type EraRuleFailure "LEDGER" (AlonzoEra c) = ShelleyLedgerPredFailure (AlonzoEra c)
type EraRuleFailure "LEDGERS" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers type EraRuleFailure "LEDGERS" (AlonzoEra c) = ShelleyLedgersPredFailure (AlonzoEra c)
type EraRuleFailure "POOL" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Pool type EraRuleFailure "POOL" (AlonzoEra c) = ShelleyPoolPredFailure (AlonzoEra c)
type EraRuleFailure "PPUP" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ppup type EraRuleFailure "PPUP" (AlonzoEra c) = ShelleyPpupPredFailure (AlonzoEra c)
type EraRuleFailure "UTXO" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type EraRuleFailure "UTXO" (AlonzoEra c) = AlonzoUtxoPredFailure (AlonzoEra c)
type EraRuleFailure "UTXOS" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type EraRuleFailure "UTXOS" (AlonzoEra c) = AlonzoUtxosPredFailure (AlonzoEra c)
type EraRuleFailure "UTXOW" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type EraRuleFailure "UTXOW" (AlonzoEra c) = AlonzoUtxowPredFailure (AlonzoEra c)
type DowngradePParams f (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.PParams type DowngradePParams f (AlonzoEra c) = DowngradeAlonzoPParams f
type PParamsHKD f (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.PParams type PParamsHKD f (AlonzoEra c) = AlonzoPParams f (AlonzoEra c)
type UpgradePParams f (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.PParams type UpgradePParams f (AlonzoEra c) = UpgradeAlonzoPParams f
type Rep (PlutusScript (AlonzoEra c))
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Rep (PlutusScript (AlonzoEra c)) = Rep (Plutus 'PlutusV1)
type Rep (TransitionConfig (AlonzoEra c))
Instance details Defined in Cardano.Ledger.Alonzo.Transition type Rep (TransitionConfig (AlonzoEra c)) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Alonzo.Transition" "cardano-ledger-alonzo-1.12.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "atcAlonzoGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AlonzoGenesis) :*: S1 ('MetaSel ('Just "atcMaryTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig (MaryEra c)))))
type ContextError (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo type ContextError (AlonzoEra c) = AlonzoContextError (AlonzoEra c)
newtype PlutusScript (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts newtype PlutusScript (AlonzoEra c) = AlonzoPlutusV1 (Plutus 'PlutusV1)
type NativeScript (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type NativeScript (AlonzoEra c) = Timelock (AlonzoEra c)
type Script (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Script (AlonzoEra c) = AlonzoScript (AlonzoEra c)
type Tx (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Tx type Tx (AlonzoEra c) = AlonzoTx (AlonzoEra c)
type TxAuxData (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type TxAuxData (AlonzoEra c) = AlonzoTxAuxData (AlonzoEra c)
type TxBody (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal type TxBody (AlonzoEra c) = AlonzoTxBody (AlonzoEra c)
type TxBodyUpgradeError (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal type TxBodyUpgradeError (AlonzoEra c) = AlonzoTxBodyUpgradeError
type TxOut (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.TxOut type TxOut (AlonzoEra c) = AlonzoTxOut (AlonzoEra c)
type TxSeq (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.TxSeq.Internal type TxSeq (AlonzoEra c) = AlonzoTxSeq (AlonzoEra c)
type TxUpgradeError (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Tx type TxUpgradeError (AlonzoEra c) = AlonzoTxUpgradeError
type TxWits (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type TxWits (AlonzoEra c) = AlonzoTxWits (AlonzoEra c)
type Value (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type Value (AlonzoEra c) = MaryValue c
type EraCrypto (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraCrypto (AlonzoEra c) = c
type PreviousEra (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type PreviousEra (AlonzoEra c) = MaryEra c
type ProtVerHigh (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type ProtVerHigh (AlonzoEra c) = 6
type ProtVerLow (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type ProtVerLow (AlonzoEra c) = 5
type TranslationContext (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationContext (AlonzoEra c) = AlonzoGenesis
type TxCert (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.TxCert type TxCert (AlonzoEra c) = ShelleyTxCert (AlonzoEra c)
type TxCertUpgradeError (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.TxCert type TxCertUpgradeError (AlonzoEra c) = Void
type Genesis (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Genesis type Genesis (AlonzoEra c) = AlonzoGenesis
type ScriptsNeeded (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.UTxO type ScriptsNeeded (AlonzoEra c) = AlonzoScriptsNeeded (AlonzoEra c)
type GovState (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.PParams type GovState (AlonzoEra c) = ShelleyGovState (AlonzoEra c)
data TransitionConfig (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Transition data TransitionConfig (AlonzoEra c) = AlonzoTransitionConfig { atcAlonzoGenesis ∷ !AlonzoGenesis atcMaryTransitionConfig ∷ !(TransitionConfig (MaryEra c)) }
type TranslationError (AlonzoEra c) Tx
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) Tx = DecoderError
type TranslationError (AlonzoEra c) CertState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) CertState = Void
type TranslationError (AlonzoEra c) CommitteeState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) CommitteeState = Void
type TranslationError (AlonzoEra c) DState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) DState = Void
type TranslationError (AlonzoEra c) PState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) PState = Void
type TranslationError (AlonzoEra c) VState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) VState = Void
type TranslationError (AlonzoEra c) PParams
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) PParams = Void
type TranslationError (AlonzoEra c) UTxO
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) UTxO = Void
type TranslationError (AlonzoEra c) FuturePParams
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) FuturePParams = Void
type TranslationError (AlonzoEra c) ShelleyGovState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) ShelleyGovState = Void
type TranslationError (AlonzoEra c) EpochState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) EpochState = Void
type TranslationError (AlonzoEra c) LedgerState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) LedgerState = Void
type TranslationError (AlonzoEra c) NewEpochState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) NewEpochState = Void
type TranslationError (AlonzoEra c) UTxOState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) UTxOState = Void
type TranslationError (AlonzoEra c) ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) ProposedPPUpdates = Void

Babbage

type Babbage = BabbageEra StandardCrypto Source #

data BabbageEra c Source #

The Babbage era

Instances

Instances details

InjectRuleFailure "UTXO" BabbageUtxoPredFailure (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo Methods injectFailure ∷ BabbageUtxoPredFailure (BabbageEra c) → EraRuleFailure "UTXO" (BabbageEra c) Source #
InjectRuleFailure "UTXOW" BabbageUtxowPredFailure (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods injectFailure ∷ BabbageUtxowPredFailure (BabbageEra c) → EraRuleFailure "UTXOW" (BabbageEra c) Source #
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 #
Crypto c ⇒ BabbageEraTxBody (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods sizedOutputsTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictSeq (Sized (TxOut (BabbageEra c)))) Source # referenceInputsTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (Set (TxIn (EraCrypto (BabbageEra c)))) Source # totalCollateralTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictMaybe Coin) Source # collateralReturnTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictMaybe (TxOut (BabbageEra c))) Source # sizedCollateralReturnTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictMaybe (Sized (TxOut (BabbageEra c)))) Source # allSizedOutputsTxBodyF ∷ SimpleGetter (TxBody (BabbageEra c)) (StrictSeq (Sized (TxOut (BabbageEra c)))) Source #
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 #
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 ⇒ EraGenesis (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era Associated Types type Genesis (BabbageEra c) Source #
Crypto c ⇒ TranslateEra (BabbageEra c) Tx
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError (BabbageEra c) Tx Source # Methods translateEra ∷ TranslationContext (BabbageEra c) → Tx (PreviousEra (BabbageEra c)) → Except (TranslationError (BabbageEra c) Tx) (Tx (BabbageEra c)) Source #
type PlutusPurpose f (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Scripts type PlutusPurpose f (BabbageEra c) = AlonzoPlutusPurpose f (BabbageEra c)
type EraRule "BBODY" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "BBODY" (BabbageEra c) = AlonzoBBODY (BabbageEra c)
type EraRule "DELEG" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "DELEG" (BabbageEra c) = ShelleyDELEG (BabbageEra c)
type EraRule "DELEGS" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "DELEGS" (BabbageEra c) = ShelleyDELEGS (BabbageEra c)
type EraRule "DELPL" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "DELPL" (BabbageEra c) = ShelleyDELPL (BabbageEra c)
type EraRule "EPOCH" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "EPOCH" (BabbageEra c) = ShelleyEPOCH (BabbageEra c)
type EraRule "LEDGER" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "LEDGER" (BabbageEra c) = BabbageLEDGER (BabbageEra c)
type EraRule "LEDGERS" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "LEDGERS" (BabbageEra c) = ShelleyLEDGERS (BabbageEra c)
type EraRule "MIR" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "MIR" (BabbageEra c) = ShelleyMIR (BabbageEra c)
type EraRule "NEWEPOCH" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "NEWEPOCH" (BabbageEra c) = ShelleyNEWEPOCH (BabbageEra c)
type EraRule "NEWPP" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "NEWPP" (BabbageEra c) = ShelleyNEWPP (BabbageEra c)
type EraRule "POOL" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "POOL" (BabbageEra c) = ShelleyPOOL (BabbageEra c)
type EraRule "POOLREAP" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "POOLREAP" (BabbageEra c) = ShelleyPOOLREAP (BabbageEra c)
type EraRule "PPUP" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "PPUP" (BabbageEra c) = ShelleyPPUP (BabbageEra c)
type EraRule "RUPD" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "RUPD" (BabbageEra c) = ShelleyRUPD (BabbageEra c)
type EraRule "SNAP" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "SNAP" (BabbageEra c) = ShelleySNAP (BabbageEra c)
type EraRule "TICK" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "TICK" (BabbageEra c) = ShelleyTICK (BabbageEra c)
type EraRule "TICKF" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "TICKF" (BabbageEra c) = ShelleyTICKF (BabbageEra c)
type EraRule "UPEC" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "UPEC" (BabbageEra c) = ShelleyUPEC (BabbageEra c)
type EraRule "UTXO" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "UTXO" (BabbageEra c) = BabbageUTXO (BabbageEra c)
type EraRule "UTXOS" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "UTXOS" (BabbageEra c) = BabbageUTXOS (BabbageEra c)
type EraRule "UTXOW" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "UTXOW" (BabbageEra c) = BabbageUTXOW (BabbageEra c)
type EraRuleEvent "LEDGER" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Rules type EraRuleEvent "LEDGER" (BabbageEra c) = ShelleyLedgerEvent (BabbageEra c)
type EraRuleEvent "PPUP" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Rules type EraRuleEvent "PPUP" (BabbageEra c) = PpupEvent (BabbageEra c)
type EraRuleEvent "TICK" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Rules type EraRuleEvent "TICK" (BabbageEra c) = ShelleyTickEvent (BabbageEra c)
type EraRuleEvent "UTXOS" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type EraRuleEvent "UTXOS" (BabbageEra c) = AlonzoUtxosEvent (BabbageEra c)
type EraRuleFailure "BBODY" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody type EraRuleFailure "BBODY" (BabbageEra c) = AlonzoBbodyPredFailure (BabbageEra c)
type EraRuleFailure "DELEG" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Deleg type EraRuleFailure "DELEG" (BabbageEra c) = ShelleyDelegPredFailure (BabbageEra c)
type EraRuleFailure "DELEGS" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Delegs type EraRuleFailure "DELEGS" (BabbageEra c) = ShelleyDelegsPredFailure (BabbageEra c)
type EraRuleFailure "DELPL" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Delpl type EraRuleFailure "DELPL" (BabbageEra c) = ShelleyDelplPredFailure (BabbageEra c)
type EraRuleFailure "LEDGER" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type EraRuleFailure "LEDGER" (BabbageEra c) = ShelleyLedgerPredFailure (BabbageEra c)
type EraRuleFailure "LEDGERS" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers type EraRuleFailure "LEDGERS" (BabbageEra c) = ShelleyLedgersPredFailure (BabbageEra c)
type EraRuleFailure "POOL" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Pool type EraRuleFailure "POOL" (BabbageEra c) = ShelleyPoolPredFailure (BabbageEra c)
type EraRuleFailure "PPUP" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ppup type EraRuleFailure "PPUP" (BabbageEra c) = ShelleyPpupPredFailure (BabbageEra c)
type EraRuleFailure "UTXO" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type EraRuleFailure "UTXO" (BabbageEra c) = BabbageUtxoPredFailure (BabbageEra c)
type EraRuleFailure "UTXOS" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type EraRuleFailure "UTXOS" (BabbageEra c) = AlonzoUtxosPredFailure (BabbageEra c)
type EraRuleFailure "UTXOW" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type EraRuleFailure "UTXOW" (BabbageEra c) = BabbageUtxowPredFailure (BabbageEra c)
type DowngradePParams f (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.PParams type DowngradePParams f (BabbageEra c) = DowngradeBabbagePParams f
type PParamsHKD f (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.PParams type PParamsHKD f (BabbageEra c) = BabbagePParams f (BabbageEra c)
type UpgradePParams f (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.PParams type UpgradePParams f (BabbageEra c) = ()
type Rep (PlutusScript (BabbageEra c))
Instance details Defined in Cardano.Ledger.Babbage.Scripts type Rep (PlutusScript (BabbageEra c)) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Babbage.Scripts" "cardano-ledger-babbage-1.10.1.0-inplace" 'False) (C1 ('MetaCons "BabbagePlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "BabbagePlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))))
type ContextError (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.TxInfo type ContextError (BabbageEra c) = BabbageContextError (BabbageEra c)
data PlutusScript (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Scripts data PlutusScript (BabbageEra c) = BabbagePlutusV1 !(Plutus 'PlutusV1) \| BabbagePlutusV2 !(Plutus 'PlutusV2)
type NativeScript (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Scripts type NativeScript (BabbageEra c) = Timelock (BabbageEra c)
type Script (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Scripts type Script (BabbageEra c) = AlonzoScript (BabbageEra c)
type Tx (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Tx type Tx (BabbageEra c) = AlonzoTx (BabbageEra c)
type TxAuxData (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.TxAuxData type TxAuxData (BabbageEra c) = AlonzoTxAuxData (BabbageEra c)
type TxBody (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal type TxBody (BabbageEra c) = BabbageTxBody (BabbageEra c)
type TxBodyUpgradeError (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal type TxBodyUpgradeError (BabbageEra c) = BabbageTxBodyUpgradeError
type TxOut (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.TxOut type TxOut (BabbageEra c) = BabbageTxOut (BabbageEra c)
type TxSeq (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Tx type TxSeq (BabbageEra c) = AlonzoTxSeq (BabbageEra c)
type TxUpgradeError (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Tx type TxUpgradeError (BabbageEra c) = BabbageTxUpgradeError
type TxWits (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.TxWits type TxWits (BabbageEra c) = AlonzoTxWits (BabbageEra c)
type Value (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type Value (BabbageEra c) = MaryValue c
type EraCrypto (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type EraCrypto (BabbageEra c) = c
type PreviousEra (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type PreviousEra (BabbageEra c) = AlonzoEra c
type ProtVerHigh (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type ProtVerHigh (BabbageEra c) = 8
type ProtVerLow (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type ProtVerLow (BabbageEra c) = 7
type TranslationContext (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type TranslationContext (BabbageEra c) = NoGenesis (BabbageEra c)
type TxCert (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.TxCert type TxCert (BabbageEra c) = ShelleyTxCert (BabbageEra c)
type TxCertUpgradeError (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.TxCert type TxCertUpgradeError (BabbageEra c) = Void
type Genesis (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type Genesis (BabbageEra c) = NoGenesis (BabbageEra c)
type ScriptsNeeded (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.UTxO type ScriptsNeeded (BabbageEra c) = AlonzoScriptsNeeded (BabbageEra c)
type GovState (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.PParams type GovState (BabbageEra c) = ShelleyGovState (BabbageEra c)
newtype TransitionConfig (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Transition newtype TransitionConfig (BabbageEra c) = BabbageTransitionConfig { btcAlonzoTransitionConfig ∷ TransitionConfig (AlonzoEra c) }
type TranslationError (BabbageEra c) Tx
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) Tx = DecoderError
type TranslationError (BabbageEra c) CertState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) CertState = Void
type TranslationError (BabbageEra c) CommitteeState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) CommitteeState = Void
type TranslationError (BabbageEra c) DState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) DState = Void
type TranslationError (BabbageEra c) PState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) PState = Void
type TranslationError (BabbageEra c) VState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) VState = Void
type TranslationError (BabbageEra c) PParams
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) PParams = Void
type TranslationError (BabbageEra c) UTxO
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) UTxO = Void
type TranslationError (BabbageEra c) FuturePParams
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) FuturePParams = Void
type TranslationError (BabbageEra c) ShelleyGovState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) ShelleyGovState = Void
type TranslationError (BabbageEra c) EpochState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) EpochState = Void
type TranslationError (BabbageEra c) LedgerState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) LedgerState = Void
type TranslationError (BabbageEra c) NewEpochState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) NewEpochState = Void
type TranslationError (BabbageEra c) UTxOState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) UTxOState = Void
type TranslationError (BabbageEra c) ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) ProposedPPUpdates = Void

Conway

type Conway = ConwayEra StandardCrypto Source #

data ConwayEra c Source #

The Conway era

Instances

Instances details

InjectRuleEvent "UTXOS" ConwayUtxosEvent (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods injectEvent ∷ ConwayUtxosEvent (ConwayEra c) → EraRuleEvent "UTXOS" (ConwayEra c) Source #
InjectRuleFailure "BBODY" ConwayBbodyPredFailure (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayBbodyPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "CERT" ConwayCertPredFailure (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods injectFailure ∷ ConwayCertPredFailure (ConwayEra c) → EraRuleFailure "CERT" (ConwayEra c) Source #
InjectRuleFailure "CERTS" ConwayCertsPredFailure (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods injectFailure ∷ ConwayCertsPredFailure (ConwayEra c) → EraRuleFailure "CERTS" (ConwayEra c) Source #
InjectRuleFailure "DELEG" ConwayDelegPredFailure (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg Methods injectFailure ∷ ConwayDelegPredFailure (ConwayEra c) → EraRuleFailure "DELEG" (ConwayEra c) Source #
InjectRuleFailure "GOV" ConwayGovPredFailure (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods injectFailure ∷ ConwayGovPredFailure (ConwayEra c) → EraRuleFailure "GOV" (ConwayEra c) Source #
InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert Methods injectFailure ∷ ConwayGovCertPredFailure (ConwayEra c) → EraRuleFailure "GOVCERT" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayLedgerPredFailure (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayLedgerPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "MEMPOOL" ConwayMempoolPredFailure (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool Methods injectFailure ∷ ConwayMempoolPredFailure (ConwayEra c) → EraRuleFailure "MEMPOOL" (ConwayEra c) Source #
InjectRuleFailure "UTXO" ConwayUtxoPredFailure (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods injectFailure ∷ ConwayUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXO" (ConwayEra c) Source #
InjectRuleFailure "UTXOS" ConwayUtxosPredFailure (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods injectFailure ∷ ConwayUtxosPredFailure (ConwayEra c) → EraRuleFailure "UTXOS" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" ConwayUtxowPredFailure (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ ConwayUtxowPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
Crypto c ⇒ ConwayEraGov (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Governance Methods constitutionGovStateL ∷ Lens' (GovState (ConwayEra c)) (Constitution (ConwayEra c)) Source # proposalsGovStateL ∷ Lens' (GovState (ConwayEra c)) (Proposals (ConwayEra c)) Source # drepPulsingStateGovStateL ∷ Lens' (GovState (ConwayEra c)) (DRepPulsingState (ConwayEra c)) Source # committeeGovStateL ∷ Lens' (GovState (ConwayEra c)) (StrictMaybe (Committee (ConwayEra c))) Source #
Crypto c ⇒ ConwayEraPParams (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods modifiedPPGroups ∷ PParamsUpdate (ConwayEra c) → Set PPGroups Source # ppuWellFormed ∷ ProtVer → 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 #
Crypto c ⇒ ConwayEraScript (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Scripts Methods mkVotingPurpose ∷ f Word32 (Voter (EraCrypto (ConwayEra c))) → PlutusPurpose f (ConwayEra c) Source # toVotingPurpose ∷ PlutusPurpose f (ConwayEra c) → Maybe (f Word32 (Voter (EraCrypto (ConwayEra c)))) Source # mkProposingPurpose ∷ f Word32 (ProposalProcedure (ConwayEra c)) → PlutusPurpose f (ConwayEra c) Source # toProposingPurpose ∷ PlutusPurpose f (ConwayEra c) → Maybe (f Word32 (ProposalProcedure (ConwayEra c))) Source #
Crypto c ⇒ ConwayEraTransition (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Transition Methods tcDelegsL ∷ Lens' (TransitionConfig (ConwayEra c)) (ListMap (Credential 'Staking (EraCrypto (ConwayEra c))) (Delegatee (EraCrypto (ConwayEra c)))) Source # tcInitialDRepsL ∷ Lens' (TransitionConfig (ConwayEra c)) (ListMap (Credential 'DRepRole (EraCrypto (ConwayEra c))) (DRepState (EraCrypto (ConwayEra c)))) Source # tcConwayGenesisL ∷ Lens' (TransitionConfig (ConwayEra c)) (ConwayGenesis (EraCrypto (ConwayEra c))) Source #
Crypto c ⇒ ConwayEraTxBody (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal 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 #
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 #
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 ⇒ TranslateEra (ConwayEra c) Tx
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError (ConwayEra c) Tx Source # Methods translateEra ∷ TranslationContext (ConwayEra c) → Tx (PreviousEra (ConwayEra c)) → Except (TranslationError (ConwayEra c) Tx) (Tx (ConwayEra c)) Source #
Crypto c ⇒ ToJSON (ConwayPParams Identity (ConwayEra c))
Instance details Defined in Cardano.Ledger.Conway.PParams Methods toJSON ∷ ConwayPParams Identity (ConwayEra c) → Value Source # toEncoding ∷ ConwayPParams Identity (ConwayEra c) → Encoding Source # toJSONList ∷ [ConwayPParams Identity (ConwayEra c)] → Value Source # toEncodingList ∷ [ConwayPParams Identity (ConwayEra c)] → Encoding Source # omitField ∷ ConwayPParams Identity (ConwayEra c) → Bool Source #
type PlutusPurpose f (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Scripts type PlutusPurpose f (ConwayEra c) = ConwayPlutusPurpose f (ConwayEra c)
type EraRule "BBODY" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "BBODY" (ConwayEra c) = ConwayBBODY (ConwayEra c)
type EraRule "CERT" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "CERT" (ConwayEra c) = ConwayCERT (ConwayEra c)
type EraRule "CERTS" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "CERTS" (ConwayEra c) = ConwayCERTS (ConwayEra c)
type EraRule "DELEG" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "DELEG" (ConwayEra c) = ConwayDELEG (ConwayEra c)
type EraRule "DELEGS" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "DELEGS" (ConwayEra c) = VoidEraRule "DELEGS" (ConwayEra c)
type EraRule "ENACT" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "ENACT" (ConwayEra c) = ConwayENACT (ConwayEra c)
type EraRule "EPOCH" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "EPOCH" (ConwayEra c) = ConwayEPOCH (ConwayEra c)
type EraRule "GOV" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "GOV" (ConwayEra c) = ConwayGOV (ConwayEra c)
type EraRule "GOVCERT" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "GOVCERT" (ConwayEra c) = ConwayGOVCERT (ConwayEra c)
type EraRule "HARDFORK" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "HARDFORK" (ConwayEra c) = ConwayHARDFORK (ConwayEra c)
type EraRule "LEDGER" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "LEDGER" (ConwayEra c) = ConwayLEDGER (ConwayEra c)
type EraRule "LEDGERS" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "LEDGERS" (ConwayEra c) = ShelleyLEDGERS (ConwayEra c)
type EraRule "MEMPOOL" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "MEMPOOL" (ConwayEra c) = ConwayMEMPOOL (ConwayEra c)
type EraRule "MIR" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "MIR" (ConwayEra c) = VoidEraRule "MIR" (ConwayEra c)
type EraRule "NEWEPOCH" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "NEWEPOCH" (ConwayEra c) = ConwayNEWEPOCH (ConwayEra c)
type EraRule "NEWPP" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "NEWPP" (ConwayEra c) = VoidEraRule "NEWPP" (ConwayEra c)
type EraRule "POOL" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "POOL" (ConwayEra c) = ShelleyPOOL (ConwayEra c)
type EraRule "POOLREAP" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "POOLREAP" (ConwayEra c) = ShelleyPOOLREAP (ConwayEra c)
type EraRule "PPUP" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "PPUP" (ConwayEra c) = VoidEraRule "PPUP" (ConwayEra c)
type EraRule "RATIFY" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "RATIFY" (ConwayEra c) = ConwayRATIFY (ConwayEra c)
type EraRule "RUPD" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "RUPD" (ConwayEra c) = ShelleyRUPD (ConwayEra c)
type EraRule "SNAP" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "SNAP" (ConwayEra c) = ShelleySNAP (ConwayEra c)
type EraRule "TICK" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "TICK" (ConwayEra c) = ShelleyTICK (ConwayEra c)
type EraRule "TICKF" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "TICKF" (ConwayEra c) = ConwayTICKF (ConwayEra c)
type EraRule "UPEC" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "UPEC" (ConwayEra c) = VoidEraRule "UPEC" (ConwayEra c)
type EraRule "UTXO" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "UTXO" (ConwayEra c) = ConwayUTXO (ConwayEra c)
type EraRule "UTXOS" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "UTXOS" (ConwayEra c) = ConwayUTXOS (ConwayEra c)
type EraRule "UTXOW" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "UTXOW" (ConwayEra c) = ConwayUTXOW (ConwayEra c)
type EraRuleEvent "BBODY" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type EraRuleEvent "BBODY" (ConwayEra c) = AlonzoBbodyEvent (ConwayEra c)
type EraRuleEvent "CERT" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type EraRuleEvent "CERT" (ConwayEra c) = ConwayCertEvent (ConwayEra c)
type EraRuleEvent "CERTS" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type EraRuleEvent "CERTS" (ConwayEra c) = ConwayCertsEvent (ConwayEra c)
type EraRuleEvent "DELEG" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type EraRuleEvent "DELEG" (ConwayEra c) = VoidEraRule "DELEG" (ConwayEra c)
type EraRuleEvent "DELEGS" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleEvent "DELEGS" (ConwayEra c) = VoidEraRule "DELEGS" (ConwayEra c)
type EraRuleEvent "ENACT" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type EraRuleEvent "ENACT" (ConwayEra c) = VoidEraRule "ENACT" (ConwayEra c)
type EraRuleEvent "EPOCH" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type EraRuleEvent "EPOCH" (ConwayEra c) = ConwayEpochEvent (ConwayEra c)
type EraRuleEvent "GOV" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type EraRuleEvent "GOV" (ConwayEra c) = ConwayGovEvent (ConwayEra c)
type EraRuleEvent "GOVCERT" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type EraRuleEvent "GOVCERT" (ConwayEra c) = VoidEraRule "GOVCERT" (ConwayEra c)
type EraRuleEvent "HARDFORK" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type EraRuleEvent "HARDFORK" (ConwayEra c) = ConwayHardForkEvent (ConwayEra c)
type EraRuleEvent "LEDGER" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type EraRuleEvent "LEDGER" (ConwayEra c) = ConwayLedgerEvent (ConwayEra c)
type EraRuleEvent "LEDGERS" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers type EraRuleEvent "LEDGERS" (ConwayEra c) = ShelleyLedgersEvent (ConwayEra c)
type EraRuleEvent "MEMPOOL" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type EraRuleEvent "MEMPOOL" (ConwayEra c) = ConwayMempoolEvent (ConwayEra c)
type EraRuleEvent "MIR" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleEvent "MIR" (ConwayEra c) = VoidEraRule "MIR" (ConwayEra c)
type EraRuleEvent "NEWEPOCH" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type EraRuleEvent "NEWEPOCH" (ConwayEra c) = ConwayNewEpochEvent (ConwayEra c)
type EraRuleEvent "NEWPP" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleEvent "NEWPP" (ConwayEra c) = VoidEraRule "NEWPP" (ConwayEra c)
type EraRuleEvent "POOL" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Pool type EraRuleEvent "POOL" (ConwayEra c) = PoolEvent (ConwayEra c)
type EraRuleEvent "PPUP" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleEvent "PPUP" (ConwayEra c) = VoidEraRule "PPUP" (ConwayEra c)
type EraRuleEvent "TICK" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules type EraRuleEvent "TICK" (ConwayEra c) = ShelleyTickEvent (ConwayEra c)
type EraRuleEvent "UPEC" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleEvent "UPEC" (ConwayEra c) = VoidEraRule "UPEC" (ConwayEra c)
type EraRuleEvent "UTXO" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type EraRuleEvent "UTXO" (ConwayEra c) = AlonzoUtxoEvent (ConwayEra c)
type EraRuleEvent "UTXOS" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type EraRuleEvent "UTXOS" (ConwayEra c) = ConwayUtxosEvent (ConwayEra c)
type EraRuleEvent "UTXOW" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type EraRuleEvent "UTXOW" (ConwayEra c) = AlonzoUtxowEvent (ConwayEra c)
type EraRuleFailure "BBODY" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type EraRuleFailure "BBODY" (ConwayEra c) = ConwayBbodyPredFailure (ConwayEra c)
type EraRuleFailure "CERT" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type EraRuleFailure "CERT" (ConwayEra c) = ConwayCertPredFailure (ConwayEra c)
type EraRuleFailure "CERTS" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type EraRuleFailure "CERTS" (ConwayEra c) = ConwayCertsPredFailure (ConwayEra c)
type EraRuleFailure "DELEG" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type EraRuleFailure "DELEG" (ConwayEra c) = ConwayDelegPredFailure (ConwayEra c)
type EraRuleFailure "DELEGS" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleFailure "DELEGS" (ConwayEra c) = VoidEraRule "DELEGS" (ConwayEra c)
type EraRuleFailure "GOV" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type EraRuleFailure "GOV" (ConwayEra c) = ConwayGovPredFailure (ConwayEra c)
type EraRuleFailure "GOVCERT" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type EraRuleFailure "GOVCERT" (ConwayEra c) = ConwayGovCertPredFailure (ConwayEra c)
type EraRuleFailure "LEDGER" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type EraRuleFailure "LEDGER" (ConwayEra c) = ConwayLedgerPredFailure (ConwayEra c)
type EraRuleFailure "LEDGERS" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers type EraRuleFailure "LEDGERS" (ConwayEra c) = ShelleyLedgersPredFailure (ConwayEra c)
type EraRuleFailure "MEMPOOL" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type EraRuleFailure "MEMPOOL" (ConwayEra c) = ConwayMempoolPredFailure (ConwayEra c)
type EraRuleFailure "MIR" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleFailure "MIR" (ConwayEra c) = VoidEraRule "MIR" (ConwayEra c)
type EraRuleFailure "NEWPP" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleFailure "NEWPP" (ConwayEra c) = VoidEraRule "NEWPP" (ConwayEra c)
type EraRuleFailure "POOL" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Pool type EraRuleFailure "POOL" (ConwayEra c) = ShelleyPoolPredFailure (ConwayEra c)
type EraRuleFailure "PPUP" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleFailure "PPUP" (ConwayEra c) = VoidEraRule "PPUP" (ConwayEra c)
type EraRuleFailure "UPEC" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleFailure "UPEC" (ConwayEra c) = VoidEraRule "UPEC" (ConwayEra c)
type EraRuleFailure "UTXO" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type EraRuleFailure "UTXO" (ConwayEra c) = ConwayUtxoPredFailure (ConwayEra c)
type EraRuleFailure "UTXOS" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type EraRuleFailure "UTXOS" (ConwayEra c) = ConwayUtxosPredFailure (ConwayEra c)
type EraRuleFailure "UTXOW" (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type EraRuleFailure "UTXOW" (ConwayEra c) = ConwayUtxowPredFailure (ConwayEra c)
type DowngradePParams f (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.PParams type DowngradePParams f (ConwayEra c) = ()
type PParamsHKD f (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.PParams type PParamsHKD f (ConwayEra c) = ConwayPParams f (ConwayEra c)
type UpgradePParams f (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.PParams type UpgradePParams f (ConwayEra c) = UpgradeConwayPParams f
type Rep (PlutusScript (ConwayEra c))
Instance details Defined in Cardano.Ledger.Conway.Scripts type Rep (PlutusScript (ConwayEra c)) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.18.0.0-inplace" 'False) (C1 ('MetaCons "ConwayPlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: (C1 ('MetaCons "ConwayPlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))) :+: C1 ('MetaCons "ConwayPlutusV3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV3)))))
type Rep (TransitionConfig (ConwayEra c))
Instance details Defined in Cardano.Ledger.Conway.Transition type Rep (TransitionConfig (ConwayEra c)) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Conway.Transition" "cardano-ledger-conway-1.18.0.0-inplace" 'False) (C1 ('MetaCons "ConwayTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "ctcConwayGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ConwayGenesis c)) :*: S1 ('MetaSel ('Just "ctcBabbageTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig (BabbageEra c)))))
type ContextError (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.TxInfo type ContextError (ConwayEra c) = ConwayContextError (ConwayEra c)
data PlutusScript (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Scripts data PlutusScript (ConwayEra c) = ConwayPlutusV1 !(Plutus 'PlutusV1) \| ConwayPlutusV2 !(Plutus 'PlutusV2) \| ConwayPlutusV3 !(Plutus 'PlutusV3)
type NativeScript (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Scripts type NativeScript (ConwayEra c) = Timelock (ConwayEra c)
type Script (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Scripts type Script (ConwayEra c) = AlonzoScript (ConwayEra c)
type Tx (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Tx type Tx (ConwayEra c) = AlonzoTx (ConwayEra c)
type TxAuxData (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.TxAuxData type TxAuxData (ConwayEra c) = AlonzoTxAuxData (ConwayEra c)
type TxBody (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal type TxBody (ConwayEra c) = ConwayTxBody (ConwayEra c)
type TxBodyUpgradeError (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal type TxBodyUpgradeError (ConwayEra c) = ConwayTxBodyUpgradeError c
type TxOut (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.TxOut type TxOut (ConwayEra c) = BabbageTxOut (ConwayEra c)
type TxSeq (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Tx type TxSeq (ConwayEra c) = AlonzoTxSeq (ConwayEra c)
type TxUpgradeError (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Tx type TxUpgradeError (ConwayEra c) = TxBodyUpgradeError (ConwayEra c)
type TxWits (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.TxWits type TxWits (ConwayEra c) = AlonzoTxWits (ConwayEra c)
type Value (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type Value (ConwayEra c) = MaryValue c
type EraCrypto (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type EraCrypto (ConwayEra c) = c
type PreviousEra (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type PreviousEra (ConwayEra c) = BabbageEra c
type ProtVerHigh (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type ProtVerHigh (ConwayEra c) = 10
type ProtVerLow (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type ProtVerLow (ConwayEra c) = 9
type TranslationContext (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationContext (ConwayEra c) = ConwayGenesis c
type TxCert (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.TxCert type TxCert (ConwayEra c) = ConwayTxCert (ConwayEra c)
type TxCertUpgradeError (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.TxCert type TxCertUpgradeError (ConwayEra c) = ConwayTxCertUpgradeError
type Genesis (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Genesis type Genesis (ConwayEra c) = ConwayGenesis c
type ScriptsNeeded (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.UTxO type ScriptsNeeded (ConwayEra c) = AlonzoScriptsNeeded (ConwayEra c)
type GovState (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Governance type GovState (ConwayEra c) = ConwayGovState (ConwayEra c)
data TransitionConfig (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Transition data TransitionConfig (ConwayEra c) = ConwayTransitionConfig { ctcConwayGenesis ∷ !(ConwayGenesis c) ctcBabbageTransitionConfig ∷ !(TransitionConfig (BabbageEra c)) }
type TranslationError (ConwayEra c) Tx
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) Tx = DecoderError
type TranslationError (ConwayEra c) CertState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) CertState = Void
type TranslationError (ConwayEra c) CommitteeState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) CommitteeState = Void
type TranslationError (ConwayEra c) DState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) DState = Void
type TranslationError (ConwayEra c) PState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) PState = Void
type TranslationError (ConwayEra c) VState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) VState = Void
type TranslationError (ConwayEra c) PParams
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) PParams = Void
type TranslationError (ConwayEra c) UTxO
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) UTxO = Void
type TranslationError (ConwayEra c) FuturePParams
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) FuturePParams = Void
type TranslationError (ConwayEra c) EpochState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) EpochState = Void
type TranslationError (ConwayEra c) LedgerState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) LedgerState = Void
type TranslationError (ConwayEra c) NewEpochState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) NewEpochState = Void
type TranslationError (ConwayEra c) UTxOState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) UTxOState = Void

Latest Known

type LatestKnownEra c = ConwayEra c Source #

Sometimes it is useful to specify that a type corresponds to a latest era that is currently implemented

Crypto

data StandardCrypto Source #

The same crypto used on the net

Instances

Instances details

Crypto StandardCrypto
Instance details Defined in Cardano.Ledger.Crypto Associated Types type HASH StandardCrypto Source # type ADDRHASH StandardCrypto Source # type DSIGN StandardCrypto Source # type KES StandardCrypto Source # type VRF StandardCrypto Source #
type ADDRHASH StandardCrypto
Instance details Defined in Cardano.Ledger.Crypto type ADDRHASH StandardCrypto = Blake2b_224
type DSIGN StandardCrypto
Instance details Defined in Cardano.Ledger.Crypto type DSIGN StandardCrypto = Ed25519DSIGN
type HASH StandardCrypto
Instance details Defined in Cardano.Ledger.Crypto type HASH StandardCrypto = Blake2b_256
type KES StandardCrypto
Instance details Defined in Cardano.Ledger.Crypto type KES StandardCrypto = Sum6KES Ed25519DSIGN Blake2b_256
type VRF StandardCrypto
Instance details Defined in Cardano.Ledger.Crypto type VRF StandardCrypto = PraosVRF

class (HashAlgorithm (HASH c), HashAlgorithm (ADDRHASH c), DSIGNAlgorithm (DSIGN c), KESAlgorithm (KES c), VRFAlgorithm (VRF c), ContextDSIGN (DSIGN c) ~ (), ContextKES (KES c) ~ (), ContextVRF (VRF c) ~ (), Typeable c) ⇒ Crypto c Source #

Associated Types

type HASH c Source #

type ADDRHASH c Source #

type DSIGN c Source #

type KES c Source #

type VRF c Source #

Instances

Instances details

Crypto StandardCrypto
Instance details Defined in Cardano.Ledger.Crypto Associated Types type HASH StandardCrypto Source # type ADDRHASH StandardCrypto Source # type DSIGN StandardCrypto Source # type KES StandardCrypto Source # type VRF StandardCrypto Source #

Protocol version

Value level

eraProtVerHigh ∷ Era era ⇒ Version Source #

Get the value level Version of the highest major protocol version for the supplied era.

eraProtVerLow ∷ Era era ⇒ Version Source #

Get the value level Version of the lowest major protocol version for the supplied era.

Type level constraints

type AtLeastEra (eraName ∷ Type → Type) era = ProtVerAtLeast era (ProtVerLow (eraName (EraCrypto era))) Source #

Restrict the era to equal to eraName or come after it

type AtMostEra (eraName ∷ Type → Type) era = ProtVerAtMost era (ProtVerHigh (eraName (EraCrypto era))) Source #

Restrict the era to equal to eraName or come before it.

type ExactEra (inEra ∷ Type → Type) era = ProtVerInBounds era (ProtVerLow (inEra (EraCrypto era))) (ProtVerHigh (inEra (EraCrypto era))) Source #

Restrict an era to the specific era through the protocol version. This is equivalent to (inEra (Crypto era) ~ era)

type family ProtVerAtLeast era (l ∷ Nat) where ... Source #

Requirement for the era's highest protocol version to be higher or equal to the supplied value

Equations

ProtVerAtLeast era l = ProtVerIsInBounds "at least" era l (l <=? ProtVerHigh era)

type family ProtVerAtMost era (h ∷ Nat) where ... Source #

Requirement for the era's lowest protocol version to be lower or equal to the supplied value

Equations

ProtVerAtMost era h = ProtVerIsInBounds "at most" era h (ProtVerLow era <=? h)

type ProtVerInBounds era (l ∷ Nat) (h ∷ Nat) = (ProtVerAtLeast era l, ProtVerAtMost era h) Source #

Restrict a lower and upper bounds of the protocol version for the particular era

atLeastEra ∷ ∀ (eraName ∷ Type → Type) era. AtLeastEra eraName era ⇒ () Source #

Enforce era to be at least the specified era at the type level. In other words compiler will produce type error when applied to eras prior to the specified era. This function should be used in order to avoid redundant constraints warning.

For example these will type check

>>> atLeastEra @BabbageEra @(ConwayEra StandardCrypto)
>>> atLeastEra @BabbageEra @(BabbageEra StandardCrypto)

However this will result in a type error

>>> atLeastEra @BabbageEra @(AlonzoEra StandardCrypto)

atMostEra ∷ ∀ (eraName ∷ Type → Type) era. AtMostEra eraName era ⇒ () Source #

Enforce era to be at most the specified era at the type level. In other words compiler will produce type error when applied to eras prior to the specified era. This function should be used in order to avoid redundant constraints warning.

For example these will type check

>>> atMostEra @BabbageEra @(ShelleyEra StandardCrypto)
>>> atMostEra @AlonzoEra @(MaryEra StandardCrypto)

However this will result in a type error

>>> atMostEra @BabbageEra @(ConwayEra StandardCrypto)