cardano-ledger-test-9.9.9.9: Testing harness, tests and benchmarks for Shelley style cardano ledgers
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Generic.Proof

Synopsis

Documentation

data Proof era where Source #

Proof of a valid (predefined) era

Instances

Instances details
Singleton Proof Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

testEql ∷ ∀ (i ∷ k) (j ∷ k). Proof i → Proof j → Maybe (i :~: j) Source #

cmpIndex ∷ ∀ (a ∷ k) (b ∷ k). Proof a → Proof b → Ordering Source #

Shaped Proof any Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

shape ∷ ∀ (i ∷ k). Proof i → Shape any Source #

Show (Proof e) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

showsPrecIntProof e → ShowS #

showProof e → String #

showList ∷ [Proof e] → ShowS #

Eq (Proof e) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Env

Methods

(==)Proof e → Proof e → Bool #

(/=)Proof e → Proof e → Bool #

Hashable (Proof e) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Env

Methods

hashWithSaltIntProof e → Int Source #

hashProof e → Int Source #

Show (Some Proof) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

showsPrecIntSome ProofShowS #

showSome ProofString #

showList ∷ [Some Proof] → ShowS #

class (EraGov era, EraTx era, EraUTxO era, EraTxAuxData era, EraScript era, ShelleyEraTxCert era) ⇒ Reflect era where Source #

Minimal complete definition

reify

Methods

reifyProof era Source #

lift ∷ ∀ a. (Proof era → a) → a Source #

Instances

Instances details
Reflect AllegraEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

reifyProof AllegraEra Source #

lift ∷ (Proof AllegraEra → a) → a Source #

Reflect AlonzoEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

reifyProof AlonzoEra Source #

lift ∷ (Proof AlonzoEra → a) → a Source #

Reflect BabbageEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

reifyProof BabbageEra Source #

lift ∷ (Proof BabbageEra → a) → a Source #

Reflect ConwayEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

reifyProof ConwayEra Source #

lift ∷ (Proof ConwayEra → a) → a Source #

Reflect MaryEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

reifyProof MaryEra Source #

lift ∷ (Proof MaryEra → a) → a Source #

Reflect ShelleyEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

reifyProof ShelleyEra Source #

lift ∷ (Proof ShelleyEra → a) → a Source #

data Some (t ∷ k → Type) where Source #

Hide the index for a singleton type t

Constructors

Some ∷ ∀ {k} (t ∷ k → Type) (i ∷ k). Singleton t ⇒ t i → Some t 

Instances

Instances details
Show (Some Proof) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

showsPrecIntSome ProofShowS #

showSome ProofString #

showList ∷ [Some Proof] → ShowS #

Eq (Some r) 
Instance details

Defined in Data.Universe

Methods

(==)Some r → Some r → Bool #

(/=)Some r → Some r → Bool #

Ord (Some r) 
Instance details

Defined in Data.Universe

Methods

compareSome r → Some r → Ordering #

(<)Some r → Some r → Bool #

(<=)Some r → Some r → Bool #

(>)Some r → Some r → Bool #

(>=)Some r → Some r → Bool #

maxSome r → Some r → Some r #

minSome r → Some r → Some r #

data WitRule (s ∷ Symbol) (e ∷ Type) where Source #

Constructors

UTXOProof era → WitRule "UTXO" era 
UTXOWProof era → WitRule "UTXOW" era 
LEDGERProof era → WitRule "LEDGER" era 
BBODYProof era → WitRule "BBODY" era 
LEDGERSProof era → WitRule "LEDGERS" era 
MOCKCHAINProof era → WitRule "MOCKCHAIN" era 
RATIFYProof era → WitRule "RATIFY" era 
ENACTProof era → WitRule "ENACT" era 
TALLYProof era → WitRule "TALLY" era 
EPOCHProof era → WitRule "EPOCH" era 
NEWEPOCHProof era → WitRule "NEWEPOCH" era 
CERTProof era → WitRule "CERT" era 
CERTSProof era → WitRule "CERTS" era 
DELEGProof era → WitRule "DELEG" era 
POOLProof era → WitRule "POOL" era 
GOVCERTProof era → WitRule "GOVCERT" era 
GOVProof era → WitRule "GOV" era 

runSTS ∷ ∀ s e ans. (BaseM (EraRule s e) ~ ShelleyBase, STS (EraRule s e)) ⇒ WitRule s e → TRC (EraRule s e) → (Either (NonEmpty (PredicateFailure (EraRule s e))) (State (EraRule s e)) → ans) → ans Source #

goSTS ∷ ∀ s e ans env state sig. (BaseM (EraRule s e) ~ ShelleyBase, STS (EraRule s e), env ~ Environment (EraRule s e), state ~ State (EraRule s e), sig ~ Signal (EraRule s e)) ⇒ WitRule s e → env → state → sig → (Either (NonEmpty (PredicateFailure (EraRule s e))) (State (EraRule s e)) → ans) → ans Source #

Like runSTS, but makes the components of the TRC triple explicit. in case you can't remember, in ghci type @@ :t goSTS (UTXOW Babbage) goSTS (LEDGER Babbage) :: LedgerEnv (BabbageEra ) -> (UTxOState (BabbageEra ), CertState ) -> Cardano.Ledger.Alonzo.Tx.AlonzoTx (BabbageEra ) -> (Either [LedgerPredicateFailure (BabbageEra )] (UTxOState (BabbageEra ), CertState ) -> ans) -> ans @@ it will tell you what type env state and sig are for Babbage

data ShelleyEra Source #

Instances

Instances details
Era ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

Methods

eraNameString Source #

ApplyTx ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.API.Mempool

ApplyBlock ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.API.Validation

EraGov ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Associated Types

type GovState ShelleyEra = (r ∷ Type) Source #

ShelleyEraScript ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

EraTransition ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Associated Types

data TransitionConfig ShelleyEra Source #

ShelleyEraTxBody ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

ShelleyEraTxCert ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

EraSpecDeleg ShelleyEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg

Methods

hasGenDelegs ∷ proxy ShelleyEraBool Source #

EraSpecPParams ShelleyEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams

EraUniverse ShelleyEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse

GenScript ShelleyEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse

Reflect ShelleyEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

reifyProof ShelleyEra Source #

lift ∷ (Proof ShelleyEra → a) → a Source #

Scriptic ShelleyEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Scriptic

GetLedgerView ShelleyEra 
Instance details

Defined in Cardano.Protocol.TPraos.API

IsConwayUniv fn ⇒ EraSpecCert ShelleyEra fn Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Cert

IsConwayUniv fn ⇒ EraSpecLedger ShelleyEra fn Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs

IsConwayUniv fn ⇒ EraSpecTxOut ShelleyEra fn Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.ParametricSpec

IsConwayUniv fn ⇒ EraSpecTxCert fn ShelleyEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "DELEG" ShelleyDelegPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

InjectRuleFailure "DELPL" ShelleyDelplPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "POOL" ShelleyPoolPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

InjectRuleFailure "PPUP" ShelleyPpupPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

FromJSON (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

ToJSON (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Generic (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Associated Types

type Rep (TransitionConfig ShelleyEra) ∷ TypeType #

Show (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Terse (PParamsUpdate ShelleyEra) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Same

Eq (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

NoThunks (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

type NativeScript ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type Script ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type Tx ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Tx.Internal

type TxAuxData ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type TxBody ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type TxBodyUpgradeError ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type TxOut ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

type TxSeq ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.BlockChain

type TxUpgradeError ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Tx.Internal

type TxWits ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

type Value ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type PreviousEra ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type ProtVerHigh ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type ProtVerLow ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type TranslationContext ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Translation

type TxCert ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type TxCertUpgradeError ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Genesis ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type ScriptsNeeded ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

type GovState ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

newtype TransitionConfig ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

type EraRule "BBODY" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "DELEG" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "DELEGS" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "DELPL" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "EPOCH" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "LEDGER" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "LEDGERS" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "MIR" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "NEWEPOCH" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "NEWPP" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "POOL" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "POOLREAP" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "PPUP" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "RUPD" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "SNAP" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "TICK" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "TICKF" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "TICKN" ShelleyEra 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

type EraRule "TICKN" ShelleyEra = TICKN
type EraRule "UPEC" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "UTXO" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "UTXOW" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRuleEvent "LEDGER" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type EraRuleEvent "LEDGERS" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type EraRuleEvent "NEWEPOCH" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type EraRuleEvent "POOLREAP" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type EraRuleEvent "TICK" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type EraRuleFailure "BBODY" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type EraRuleFailure "DELEG" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type EraRuleFailure "DELEGS" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type EraRuleFailure "DELPL" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type EraRuleFailure "LEDGER" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type EraRuleFailure "LEDGERS" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type EraRuleFailure "POOL" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type EraRuleFailure "PPUP" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type EraRuleFailure "UTXO" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type EraRuleFailure "UTXOW" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type DowngradePParams f ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type PParamsHKD f ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type UpgradePParams f ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type Rep (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

type Rep (TransitionConfig ShelleyEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Shelley.Transition" "cardano-ledger-shelley-1.16.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesis)))

data AllegraEra Source #

The Allegra era

Instances

Instances details
AllegraEraScript AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

AllegraEraTxAuxData AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

AllegraEraTxBody AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody.Internal

Era AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

Methods

eraNameString Source #

EraGenesis AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

Associated Types

type Genesis AllegraEra Source #

EraSpecDeleg AllegraEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg

Methods

hasGenDelegs ∷ proxy AllegraEraBool Source #

EraSpecPParams AllegraEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams

EraUniverse AllegraEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse

GenScript AllegraEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse

Reflect AllegraEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

reifyProof AllegraEra Source #

lift ∷ (Proof AllegraEra → a) → a Source #

PostShelley AllegraEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Scriptic

Scriptic AllegraEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Scriptic

GetLedgerView AllegraEra 
Instance details

Defined in Cardano.Protocol.TPraos.API

IsConwayUniv fn ⇒ EraSpecCert AllegraEra fn Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Cert

IsConwayUniv fn ⇒ EraSpecLedger AllegraEra fn Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs

IsConwayUniv fn ⇒ EraSpecTxOut AllegraEra fn Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.ParametricSpec

IsConwayUniv fn ⇒ EraSpecTxCert fn AllegraEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse

InjectRuleFailure "UTXO" AllegraUtxoPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Terse (PParamsUpdate AllegraEra) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Same

type NativeScript AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Script AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Tx AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

type TxAuxData AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

type TxBody AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody.Internal

type TxBodyUpgradeError AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody.Internal

type TxOut AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxOut

type TxSeq AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxSeq

type TxUpgradeError AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

type TxWits AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxWits

type Value AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type PreviousEra AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type ProtVerHigh AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type ProtVerLow AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type TranslationContext AllegraEra

No context is needed to translate from Shelley to Allegra.

Instance details

Defined in Cardano.Ledger.Allegra.Era

type TxCert AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

type TxCertUpgradeError AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

type Genesis AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type ScriptsNeeded AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.UTxO

type GovState AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

newtype TransitionConfig AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

type EraRule "BBODY" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "DELEG" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "DELEGS" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "DELPL" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "EPOCH" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "LEDGER" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "LEDGERS" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "MIR" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "NEWEPOCH" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "NEWPP" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "POOL" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "POOLREAP" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "PPUP" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "RUPD" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "SNAP" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "TICK" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "TICKF" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "UPEC" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "UTXO" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "UTXOW" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRuleEvent "LEDGER" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

type EraRuleEvent "TICK" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules

type EraRuleFailure "BBODY" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

type EraRuleFailure "DELEG" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Deleg

type EraRuleFailure "DELEGS" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delegs

type EraRuleFailure "DELPL" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delpl

type EraRuleFailure "LEDGER" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

type EraRuleFailure "LEDGERS" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

type EraRuleFailure "POOL" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Pool

type EraRuleFailure "PPUP" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ppup

type EraRuleFailure "UTXO" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type EraRuleFailure "UTXOW" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type DowngradePParams f AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type PParamsHKD f AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type UpgradePParams f AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type TranslationError AllegraEra CertState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra CommitteeState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra DState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra PState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra VState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra PParams 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra PParamsUpdate 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra UTxO 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra FuturePParams 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra EpochState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra LedgerState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra NewEpochState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra UTxOState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra Update 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyTx 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyTxOut 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyTxWits 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

data MaryEra Source #

Instances

Instances details
Era MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

Associated Types

type PreviousEra MaryEra = (r ∷ Type) Source #

type ProtVerLow MaryEraNat Source #

type ProtVerHigh MaryEraNat Source #

Methods

eraNameString Source #

EraGenesis MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

Associated Types

type Genesis MaryEra Source #

MaryEraTxBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody.Internal

EraSpecDeleg MaryEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg

Methods

hasGenDelegs ∷ proxy MaryEraBool Source #

EraSpecPParams MaryEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams

EraUniverse MaryEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse

GenScript MaryEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse

Reflect MaryEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

reifyProof MaryEra Source #

lift ∷ (Proof MaryEra → a) → a Source #

HasTokens MaryEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Scriptic

PostShelley MaryEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Scriptic

Scriptic MaryEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Scriptic

GetLedgerView MaryEra 
Instance details

Defined in Cardano.Protocol.TPraos.API

IsConwayUniv fn ⇒ EraSpecCert MaryEra fn Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Cert

IsConwayUniv fn ⇒ EraSpecLedger MaryEra fn Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs

IsConwayUniv fn ⇒ EraSpecTxOut MaryEra fn Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.ParametricSpec

IsConwayUniv fn ⇒ EraSpecTxCert fn MaryEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse

Terse (PParamsUpdate MaryEra) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Same

type NativeScript MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Scripts

type Script MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Scripts

type Tx MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Tx

type TxAuxData MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxAuxData

type TxBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody.Internal

type TxBodyUpgradeError MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody.Internal

type TxOut MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxOut

type TxSeq MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxSeq

type TxUpgradeError MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Tx

type TxWits MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxWits

type Value MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type PreviousEra MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type ProtVerHigh MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type ProtVerLow MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type TranslationContext MaryEra

No context is needed to translate from Allegra to Mary.

Instance details

Defined in Cardano.Ledger.Mary.Era

type TxCert MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxCert

type TxCertUpgradeError MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxCert

type Genesis MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type ScriptsNeeded MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.UTxO

type GovState MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

newtype TransitionConfig MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Transition

type EraRule "BBODY" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "DELEG" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "DELEGS" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "DELPL" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "EPOCH" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "LEDGER" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "LEDGERS" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "MIR" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "NEWEPOCH" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "NEWPP" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "POOL" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "POOLREAP" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "PPUP" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "RUPD" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "SNAP" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "TICK" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "TICKF" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "UPEC" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "UTXO" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "UTXOW" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRuleEvent "LEDGER" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

type EraRuleEvent "TICK" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules

type EraRuleFailure "BBODY" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

type EraRuleFailure "DELEG" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Deleg

type EraRuleFailure "DELEGS" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delegs

type EraRuleFailure "DELPL" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delpl

type EraRuleFailure "LEDGER" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

type EraRuleFailure "LEDGERS" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

type EraRuleFailure "POOL" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Pool

type EraRuleFailure "PPUP" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ppup

type EraRuleFailure "UTXO" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxo

type EraRuleFailure "UTXOW" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxow

type DowngradePParams f MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

type PParamsHKD f MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

type UpgradePParams f MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

type TranslationError MaryEra AllegraTxAuxData 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra CertState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra CommitteeState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra DState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra PState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra VState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra PParams 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra PParamsUpdate 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra UTxO 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra FuturePParams 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra EpochState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra LedgerState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra NewEpochState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra UTxOState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra Update 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra ShelleyTx 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra ShelleyTxOut 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra ShelleyTxWits 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra (TimelockType → TYPE LiftedRep) 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra (TimelockType → TYPE LiftedRep) = Void

data AlonzoEra Source #

The Alonzo era

Instances

Instances details
AlonzoEraPParams AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

AlonzoEraScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

data PlutusScript AlonzoEra Source #

type PlutusPurpose f AlonzoEra = (r ∷ Type) Source #

AlonzoEraTx AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

AlonzoEraTxAuxData AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

AlonzoEraTxBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

AlonzoEraTxOut AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

EraScript AlonzoEraAlonzoEraTxWits AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

AlonzoEraUTxO AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

Era AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

Associated Types

type PreviousEra AlonzoEra = (r ∷ Type) Source #

type ProtVerLow AlonzoEraNat Source #

type ProtVerHigh AlonzoEraNat Source #

Methods

eraNameString Source #

EraSpecDeleg AlonzoEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg

Methods

hasGenDelegs ∷ proxy AlonzoEraBool Source #

EraSpecPParams AlonzoEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams

EraUniverse AlonzoEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse

GenScript AlonzoEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse

Reflect AlonzoEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

reifyProof AlonzoEra Source #

lift ∷ (Proof AlonzoEra → a) → a Source #

HasTokens AlonzoEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Scriptic

PostShelley AlonzoEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Scriptic

Scriptic AlonzoEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Scriptic

GetLedgerView AlonzoEra 
Instance details

Defined in Cardano.Protocol.TPraos.API

TranslateEra AlonzoEra Tx 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError AlonzoEra Tx Source #

IsConwayUniv fn ⇒ EraSpecCert AlonzoEra fn Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Cert

IsConwayUniv fn ⇒ EraSpecLedger AlonzoEra fn Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs

IsConwayUniv fn ⇒ EraSpecTxOut AlonzoEra fn Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.ParametricSpec

IsConwayUniv fn ⇒ EraSpecTxCert fn AlonzoEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse

InjectRuleFailure "BBODY" AlonzoBbodyPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "UTXO" AlonzoUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Generic (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (PlutusScript AlonzoEra) ∷ TypeType #

Show (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

SafeToHash (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Terse (PParamsUpdate AlonzoEra) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Same

NFData (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnfPlutusScript AlonzoEra → () #

Eq (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Ord (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

MemPack (PlutusScript AlonzoEra)

It might seem that this instance unnecessarily utilizes a zero Tag, but it is needed for forward compatibility with plutus scripts from future eras.

That being said, currently this instance is not used at all, since reference scripts where introduced in Babbage era and MemPack for now is only used for TxOuts

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

NoThunks (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

ToJSON (AlonzoPParams Identity AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

ToJSON (AlonzoPParams StrictMaybe AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type ContextError AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

newtype TxInfoResult AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

newtype PlutusScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type NativeScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Script AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Tx AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type TxAuxData AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type TxBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

type TxBodyUpgradeError AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

type TxOut AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type TxSeq AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxSeq.Internal

type TxUpgradeError AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type TxUpgradeError AlonzoEra = AlonzoTxUpgradeError
type TxWits AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Value AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type PreviousEra AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type ProtVerHigh AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type ProtVerLow AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type TranslationContext AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TxCert AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxCert

type TxCertUpgradeError AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxCert

type Genesis AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

type ScriptsNeeded AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

type GovState AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

data TransitionConfig AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

type PlutusPurpose f AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type EraRule "BBODY" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELEG" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELEGS" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELPL" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "EPOCH" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "LEDGER" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "LEDGERS" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "MIR" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "NEWEPOCH" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "NEWPP" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "POOL" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "POOLREAP" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "PPUP" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "RUPD" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "SNAP" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "TICK" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "TICKF" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UPEC" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXO" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXOS" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXOW" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRuleEvent "LEDGER" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules

type EraRuleEvent "PPUP" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

type EraRuleEvent "TICK" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules

type EraRuleFailure "BBODY" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type EraRuleFailure "DELEG" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Deleg

type EraRuleFailure "DELEGS" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delegs

type EraRuleFailure "DELPL" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delpl

type EraRuleFailure "LEDGER" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type EraRuleFailure "LEDGERS" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

type EraRuleFailure "POOL" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Pool

type EraRuleFailure "PPUP" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

type EraRuleFailure "UTXO" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type EraRuleFailure "UTXOS" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type EraRuleFailure "UTXOW" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type DowngradePParams f AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type PParamsHKD f AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type UpgradePParams f AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type TranslationError AlonzoEra Tx 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra CertState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra CommitteeState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra DState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra PState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra VState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra PParams 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra UTxO 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra FuturePParams 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra EpochState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra LedgerState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra NewEpochState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra UTxOState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type Rep (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (TransitionConfig AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

type Rep (TransitionConfig AlonzoEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Alonzo.Transition" "cardano-ledger-alonzo-1.13.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))))

data BabbageEra Source #

The Babbage era

Instances

Instances details
BabbageEraPParams BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

BabbageEraTxBody BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody.Internal

BabbageEraTxOut BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Era BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

Methods

eraNameString Source #

EraGenesis BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

Associated Types

type Genesis BabbageEra Source #

EraSpecDeleg BabbageEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg

Methods

hasGenDelegs ∷ proxy BabbageEraBool Source #

EraSpecPParams BabbageEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams

EraUniverse BabbageEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse

GenScript BabbageEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse

Reflect BabbageEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

reifyProof BabbageEra Source #

lift ∷ (Proof BabbageEra → a) → a Source #

HasTokens BabbageEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Scriptic

PostShelley BabbageEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Scriptic

Scriptic BabbageEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Scriptic

GetLedgerView BabbageEra 
Instance details

Defined in Cardano.Protocol.TPraos.API

TranslateEra BabbageEra Tx 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

Associated Types

type TranslationError BabbageEra Tx Source #

IsConwayUniv fn ⇒ EraSpecCert BabbageEra fn Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Cert

IsConwayUniv fn ⇒ EraSpecLedger BabbageEra fn Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs

IsConwayUniv fn ⇒ EraSpecTxOut BabbageEra fn Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.ParametricSpec

IsConwayUniv fn ⇒ EraSpecTxCert fn BabbageEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse

InjectRuleFailure "UTXO" BabbageUtxoPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

InjectRuleFailure "UTXOW" BabbageUtxowPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

Terse (PParamsUpdate BabbageEra) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Same

type ContextError BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxInfo

data TxInfoResult BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxInfo

data PlutusScript BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type NativeScript BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type Script BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type Tx BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

type TxAuxData BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxAuxData

type TxBody BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody.Internal

type TxBodyUpgradeError BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody.Internal

type TxOut BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

type TxSeq BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

type TxUpgradeError BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

type TxUpgradeError BabbageEra = BabbageTxUpgradeError
type TxWits BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxWits

type Value BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type PreviousEra BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type ProtVerHigh BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type ProtVerLow BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type TranslationContext BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type TxCert BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxCert

type TxCertUpgradeError BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxCert

type Genesis BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type ScriptsNeeded BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.UTxO

type GovState BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

newtype TransitionConfig BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

type PlutusPurpose f BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type EraRule "BBODY" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "DELEG" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "DELEGS" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "DELPL" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "EPOCH" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "LEDGER" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "LEDGERS" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "MIR" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "NEWEPOCH" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "NEWPP" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "POOL" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "POOLREAP" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "PPUP" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "RUPD" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "SNAP" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "TICK" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "TICKF" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "UPEC" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "UTXO" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "UTXOS" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "UTXOW" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRuleEvent "LEDGER" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules

type EraRuleEvent "PPUP" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules

type EraRuleEvent "TICK" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules

type EraRuleEvent "UTXOS" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type EraRuleFailure "BBODY" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

type EraRuleFailure "DELEG" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Deleg

type EraRuleFailure "DELEGS" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delegs

type EraRuleFailure "DELPL" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delpl

type EraRuleFailure "LEDGER" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

type EraRuleFailure "LEDGERS" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

type EraRuleFailure "POOL" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Pool

type EraRuleFailure "PPUP" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ppup

type EraRuleFailure "UTXO" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

type EraRuleFailure "UTXOS" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type EraRuleFailure "UTXOW" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

type DowngradePParams f BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

type PParamsHKD f BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

type UpgradePParams f BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

type TranslationError BabbageEra Tx 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra CertState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra CommitteeState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra DState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra PState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra VState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra PParams 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra UTxO 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra FuturePParams 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra EpochState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra LedgerState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra NewEpochState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra UTxOState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type Rep (PlutusScript BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type Rep (PlutusScript BabbageEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Babbage.Scripts" "cardano-ledger-babbage-1.11.0.0-inplace" 'False) (C1 ('MetaCons "BabbagePlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "BabbagePlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))))

data ConwayEra Source #

The Conway era

Instances

Instances details
ConwayEraGov ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Governance

ConwayEraPParams ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.PParams

ConwayEraScript ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Scripts