Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.EraBuffet

Synopsis

type TestCrypto = C_Crypto
data StandardCrypto
data ShelleyEra c
data MaryEra era
data AllegraEra c
type family Value era
type family Script era = (r ∷ Type) | r → era
type family TxBody era = (r ∷ Type) | r → era
type family TxAuxData era = (r ∷ Type) | r → era
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

Documentation

type TestCrypto = C_Crypto Source #

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 #
PraosCrypto StandardCrypto
Instance details Defined in Cardano.Protocol.TPraos.API
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

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 ⇒ CanStartFromGenesis (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.API.Genesis Associated Types type AdditionalGenesisConfig (ShelleyEra c) Source # Methods fromShelleyPParams ∷ AdditionalGenesisConfig (ShelleyEra c) → PParams (ShelleyEra (EraCrypto (ShelleyEra c))) → PParams (ShelleyEra c) Source # initialState ∷ ShelleyGenesis (EraCrypto (ShelleyEra c)) → AdditionalGenesisConfig (ShelleyEra c) → NewEpochState (ShelleyEra c) Source #
(EraPParams (ShelleyEra c), DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyTx (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.API.Mempool Methods applyTx ∷ MonadError (ApplyTxError (ShelleyEra c)) m ⇒ Globals → MempoolEnv (ShelleyEra c) → MempoolState (ShelleyEra c) → Tx (ShelleyEra c) → m (MempoolState (ShelleyEra c), Validated (Tx (ShelleyEra c))) Source # reapplyTx ∷ MonadError (ApplyTxError (ShelleyEra c)) m ⇒ Globals → MempoolEnv (ShelleyEra c) → MempoolState (ShelleyEra c) → Validated (Tx (ShelleyEra c)) → m (MempoolState (ShelleyEra c)) 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 ⇒ 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 ⇒ GetLedgerView (ShelleyEra c)
Instance details Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView ∷ NewEpochState (ShelleyEra c) → LedgerView (EraCrypto (ShelleyEra c)) Source # futureLedgerView ∷ MonadError (FutureLedgerViewError (ShelleyEra c)) m ⇒ Globals → NewEpochState (ShelleyEra c) → SlotNo → m (LedgerView (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 "TICKN" (ShelleyEra c)
Instance details Defined in Test.Cardano.Ledger.Shelley.Rules.Chain type EraRule "TICKN" (ShelleyEra c) = TICKN
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.11.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 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 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 ScriptsNeeded (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.UTxO type ScriptsNeeded (ShelleyEra c) = ShelleyScriptsNeeded (ShelleyEra c)
type AdditionalGenesisConfig (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.API.Genesis type AdditionalGenesisConfig (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 }

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 ⇒ MaryEraTxBody (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods mintTxBodyL ∷ Lens' (TxBody (MaryEra c)) (MultiAsset (EraCrypto (MaryEra c))) Source # mintValueTxBodyF ∷ SimpleGetter (TxBody (MaryEra c)) (Value (MaryEra c)) Source # mintedTxBodyF ∷ SimpleGetter (TxBody (MaryEra c)) (Set (PolicyID (EraCrypto (MaryEra c)))) Source #
Crypto c ⇒ EraGen (MaryEra c) Source #
Instance details Defined in Test.Cardano.Ledger.MaryEraGen Methods genGenesisValue ∷ GenEnv (MaryEra c) → Gen (Value (MaryEra c)) Source # genEraTwoPhase3Arg ∷ [TwoPhase3ArgInfo (MaryEra c)] Source # genEraTwoPhase2Arg ∷ [TwoPhase2ArgInfo (MaryEra c)] Source # genEraTxBody ∷ GenEnv (MaryEra c) → UTxO (MaryEra c) → PParams (MaryEra c) → SlotNo → Set (TxIn (EraCrypto (MaryEra c))) → StrictSeq (TxOut (MaryEra c)) → StrictSeq (TxCert (MaryEra c)) → Withdrawals (EraCrypto (MaryEra c)) → Coin → StrictMaybe (Update (MaryEra c)) → StrictMaybe (AuxiliaryDataHash (EraCrypto (MaryEra c))) → Gen (TxBody (MaryEra c), [Script (MaryEra c)]) Source # genEraAuxiliaryData ∷ Constants → Gen (StrictMaybe (TxAuxData (MaryEra c))) Source # updateEraTxBody ∷ UTxO (MaryEra c) → PParams (MaryEra c) → TxWits (MaryEra c) → TxBody (MaryEra c) → Coin → Set (TxIn (EraCrypto (MaryEra c))) → TxOut (MaryEra c) → TxBody (MaryEra c) Source # addInputs ∷ TxBody (MaryEra c) → Set (TxIn (EraCrypto (MaryEra c))) → TxBody (MaryEra c) Source # genEraPParamsUpdate ∷ Constants → PParams (MaryEra c) → Gen (PParamsUpdate (MaryEra c)) Source # genEraPParams ∷ Constants → Gen (PParams (MaryEra c)) Source # genEraTxWits ∷ (UTxO (MaryEra c), TxBody (MaryEra c), ScriptInfo (MaryEra c)) → Set (WitVKey 'Witness (EraCrypto (MaryEra c))) → Map (ScriptHash (EraCrypto (MaryEra c))) (Script (MaryEra c)) → TxWits (MaryEra c) Source # genEraGoodTxOut ∷ TxOut (MaryEra c) → Bool Source # constructTx ∷ TxBody (MaryEra c) → TxWits (MaryEra c) → StrictMaybe (TxAuxData (MaryEra c)) → Tx (MaryEra c) Source # genEraScriptCost ∷ PParams (MaryEra c) → Script (MaryEra c) → Coin Source # genEraDone ∷ UTxO (MaryEra c) → PParams (MaryEra c) → Tx (MaryEra c) → Gen (Tx (MaryEra c)) Source # genEraTweakBlock ∷ PParams (MaryEra c) → Seq (Tx (MaryEra c)) → Gen (Seq (Tx (MaryEra c))) Source # hasFailedScripts ∷ Tx (MaryEra c) → Bool Source # feeOrCollateral ∷ Tx (MaryEra c) → UTxO (MaryEra c) → Coin Source #
Crypto c ⇒ MinGenTxout (MaryEra c) Source #
Instance details Defined in Test.Cardano.Ledger.MaryEraGen Methods calcEraMinUTxO ∷ TxOut (MaryEra c) → PParams (MaryEra c) → Coin Source # addValToTxOut ∷ Value (MaryEra c) → TxOut (MaryEra c) → TxOut (MaryEra c) Source # genEraTxOut ∷ GenEnv (MaryEra c) → Gen (Value (MaryEra c)) → [Addr (EraCrypto (MaryEra c))] → Gen [TxOut (MaryEra c)] Source #
Crypto c ⇒ ScriptClass (MaryEra c) Source #
Instance details Defined in Test.Cardano.Ledger.MaryEraGen Methods basescript ∷ Proxy (MaryEra c) → KeyHash 'Witness (EraCrypto (MaryEra c)) → Script (MaryEra c) Source # isKey ∷ Proxy (MaryEra c) → Script (MaryEra c) → Maybe (KeyHash 'Witness (EraCrypto (MaryEra c))) Source # isOnePhase ∷ Proxy (MaryEra c) → Script (MaryEra c) → Bool Source # quantify ∷ Proxy (MaryEra c) → Script (MaryEra c) → Quantifier (Script (MaryEra c)) Source # unQuantify ∷ Proxy (MaryEra c) → Quantifier (Script (MaryEra c)) → Script (MaryEra c) Source #
Crypto c ⇒ GetLedgerView (MaryEra c)
Instance details Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView ∷ NewEpochState (MaryEra c) → LedgerView (EraCrypto (MaryEra c)) Source # futureLedgerView ∷ MonadError (FutureLedgerViewError (MaryEra c)) m ⇒ Globals → NewEpochState (MaryEra c) → SlotNo → m (LedgerView (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 type TxBody (MaryEra c) = MaryTxBody (MaryEra c)
type TxBodyUpgradeError (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.TxBody 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) = ()
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 ScriptsNeeded (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.UTxO type ScriptsNeeded (MaryEra c) = ShelleyScriptsNeeded (MaryEra c)
type AdditionalGenesisConfig (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary type AdditionalGenesisConfig (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

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 ⇒ 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 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 ⇒ EraGen (AllegraEra c) Source #
Instance details Defined in Test.Cardano.Ledger.AllegraEraGen Methods genGenesisValue ∷ GenEnv (AllegraEra c) → Gen (Value (AllegraEra c)) Source # genEraTwoPhase3Arg ∷ [TwoPhase3ArgInfo (AllegraEra c)] Source # genEraTwoPhase2Arg ∷ [TwoPhase2ArgInfo (AllegraEra c)] Source # genEraTxBody ∷ GenEnv (AllegraEra c) → UTxO (AllegraEra c) → PParams (AllegraEra c) → SlotNo → Set (TxIn (EraCrypto (AllegraEra c))) → StrictSeq (TxOut (AllegraEra c)) → StrictSeq (TxCert (AllegraEra c)) → Withdrawals (EraCrypto (AllegraEra c)) → Coin → StrictMaybe (Update (AllegraEra c)) → StrictMaybe (AuxiliaryDataHash (EraCrypto (AllegraEra c))) → Gen (TxBody (AllegraEra c), [Script (AllegraEra c)]) Source # genEraAuxiliaryData ∷ Constants → Gen (StrictMaybe (TxAuxData (AllegraEra c))) Source # updateEraTxBody ∷ UTxO (AllegraEra c) → PParams (AllegraEra c) → TxWits (AllegraEra c) → TxBody (AllegraEra c) → Coin → Set (TxIn (EraCrypto (AllegraEra c))) → TxOut (AllegraEra c) → TxBody (AllegraEra c) Source # addInputs ∷ TxBody (AllegraEra c) → Set (TxIn (EraCrypto (AllegraEra c))) → TxBody (AllegraEra c) Source # genEraPParamsUpdate ∷ Constants → PParams (AllegraEra c) → Gen (PParamsUpdate (AllegraEra c)) Source # genEraPParams ∷ Constants → Gen (PParams (AllegraEra c)) Source # genEraTxWits ∷ (UTxO (AllegraEra c), TxBody (AllegraEra c), ScriptInfo (AllegraEra c)) → Set (WitVKey 'Witness (EraCrypto (AllegraEra c))) → Map (ScriptHash (EraCrypto (AllegraEra c))) (Script (AllegraEra c)) → TxWits (AllegraEra c) Source # genEraGoodTxOut ∷ TxOut (AllegraEra c) → Bool Source # constructTx ∷ TxBody (AllegraEra c) → TxWits (AllegraEra c) → StrictMaybe (TxAuxData (AllegraEra c)) → Tx (AllegraEra c) Source # genEraScriptCost ∷ PParams (AllegraEra c) → Script (AllegraEra c) → Coin Source # genEraDone ∷ UTxO (AllegraEra c) → PParams (AllegraEra c) → Tx (AllegraEra c) → Gen (Tx (AllegraEra c)) Source # genEraTweakBlock ∷ PParams (AllegraEra c) → Seq (Tx (AllegraEra c)) → Gen (Seq (Tx (AllegraEra c))) Source # hasFailedScripts ∷ Tx (AllegraEra c) → Bool Source # feeOrCollateral ∷ Tx (AllegraEra c) → UTxO (AllegraEra c) → Coin Source #
Crypto c ⇒ MinGenTxout (AllegraEra c) Source #
Instance details Defined in Test.Cardano.Ledger.AllegraEraGen Methods calcEraMinUTxO ∷ TxOut (AllegraEra c) → PParams (AllegraEra c) → Coin Source # addValToTxOut ∷ Value (AllegraEra c) → TxOut (AllegraEra c) → TxOut (AllegraEra c) Source # genEraTxOut ∷ GenEnv (AllegraEra c) → Gen (Value (AllegraEra c)) → [Addr (EraCrypto (AllegraEra c))] → Gen [TxOut (AllegraEra c)] Source #
Crypto c ⇒ ScriptClass (AllegraEra c) Source #
Instance details Defined in Test.Cardano.Ledger.AllegraEraGen Methods basescript ∷ Proxy (AllegraEra c) → KeyHash 'Witness (EraCrypto (AllegraEra c)) → Script (AllegraEra c) Source # isKey ∷ Proxy (AllegraEra c) → Script (AllegraEra c) → Maybe (KeyHash 'Witness (EraCrypto (AllegraEra c))) Source # isOnePhase ∷ Proxy (AllegraEra c) → Script (AllegraEra c) → Bool Source # quantify ∷ Proxy (AllegraEra c) → Script (AllegraEra c) → Quantifier (Script (AllegraEra c)) Source # unQuantify ∷ Proxy (AllegraEra c) → Quantifier (Script (AllegraEra c)) → Script (AllegraEra c) Source #
Crypto c ⇒ GetLedgerView (AllegraEra c)
Instance details Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView ∷ NewEpochState (AllegraEra c) → LedgerView (EraCrypto (AllegraEra c)) Source # futureLedgerView ∷ MonadError (FutureLedgerViewError (AllegraEra c)) m ⇒ Globals → NewEpochState (AllegraEra c) → SlotNo → m (LedgerView (EraCrypto (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 type TxBody (AllegraEra c) = AllegraTxBody (AllegraEra c)
type TxBodyUpgradeError (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.TxBody 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) = ()
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 ScriptsNeeded (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.UTxO type ScriptsNeeded (AllegraEra c) = ShelleyScriptsNeeded (AllegraEra c)
type AdditionalGenesisConfig (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra type AdditionalGenesisConfig (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

type family Value era Source #

A value is something which quantifies a transaction output.

Instances

Instances details

type Value (AllegraEra _1)
Instance details Defined in Cardano.Ledger.Allegra.Era type Value (AllegraEra _1) = Coin
type Value (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Era type Value (AlonzoEra c) = MaryValue c
type Value (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Era type Value (BabbageEra c) = MaryValue c
type Value (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Era type Value (ConwayEra c) = MaryValue c
type Value (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Era type Value (MaryEra c) = MaryValue c
type Value (ShelleyEra _c)
Instance details Defined in Cardano.Ledger.Shelley.Era type Value (ShelleyEra _c) = Coin

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

Scripts which may lock transaction outputs in this era

Instances

Instances details

type Script (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Scripts type Script (AllegraEra c) = Timelock (AllegraEra c)
type Script (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Script (AlonzoEra c) = AlonzoScript (AlonzoEra c)
type Script (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Scripts type Script (BabbageEra c) = AlonzoScript (BabbageEra c)
type Script (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Scripts type Script (ConwayEra c) = AlonzoScript (ConwayEra c)
type Script (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Scripts type Script (MaryEra c) = Timelock (MaryEra c)
type Script (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Scripts type Script (ShelleyEra c) = MultiSig (ShelleyEra c)

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

The body of a transaction.

Instances

Instances details

type TxBody (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.TxBody type TxBody (AllegraEra c) = AllegraTxBody (AllegraEra c)
type TxBody (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.TxBody type TxBody (AlonzoEra c) = AlonzoTxBody (AlonzoEra c)
type TxBody (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.TxBody type TxBody (BabbageEra c) = BabbageTxBody (BabbageEra c)
type TxBody (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.TxBody type TxBody (ConwayEra c) = ConwayTxBody (ConwayEra c)
type TxBody (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.TxBody type TxBody (MaryEra c) = MaryTxBody (MaryEra c)
type TxBody (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type TxBody (ShelleyEra c) = ShelleyTxBody (ShelleyEra c)

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

Instances

Instances details

type TxAuxData (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData type TxAuxData (AllegraEra c) = AllegraTxAuxData (AllegraEra c)
type TxAuxData (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type TxAuxData (AlonzoEra c) = AlonzoTxAuxData (AlonzoEra c)
type TxAuxData (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.TxAuxData type TxAuxData (BabbageEra c) = AlonzoTxAuxData (BabbageEra c)
type TxAuxData (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.TxAuxData type TxAuxData (ConwayEra c) = AlonzoTxAuxData (ConwayEra c)
type TxAuxData (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.TxAuxData type TxAuxData (MaryEra c) = AllegraTxAuxData (MaryEra c)
type TxAuxData (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData type TxAuxData (ShelleyEra c) = ShelleyTxAuxData (ShelleyEra c)

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

Minimal complete definition

eraName

Associated Types

type EraCrypto era Source #

Instances

Instances details

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