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 #

ToExpr (Proof era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

toExprProof era → Expr Source #

listToExpr ∷ [Proof era] → Expr 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, EraStake era, ShelleyEraTxCert era, EraCertState era, EraTest 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 #

runSTS ∷ ∀ s e ans. (BaseM (EraRule s e) ~ ShelleyBase, STS (EraRule 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)) ⇒ 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
EraApi ShelleyEra 
Instance details

Defined in Cardano.Ledger.Api.Era

ApplyBlock ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.API.Validation

ShelleyEraScript ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

ShelleyEraAccounts ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.Account

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

ShelleyEraTest ShelleyEra 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Era

ShelleyEraScript ShelleyEraShelleyEraImp ShelleyEra 
Instance details

Defined in Test.Cardano.Ledger.Shelley.ImpTest

EraSpecCert ShelleyEra Source # 
Instance details

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

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

EraSpecTxOut ShelleyEra Source # 
Instance details

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

EraSpecTxCert ShelleyEra Source # 
Instance details

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

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

EraModel ShelleyEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Instances

EraGenericGen ShelleyEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Instances

Reflect ShelleyEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

reifyProof ShelleyEra Source #

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

GetLedgerView ShelleyEra 
Instance details

Defined in Cardano.Protocol.TPraos.API

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

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

HasSpec (TxBody ShelleyEra) Source # 
Instance details

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

HasSimpleRep (TxBody ShelleyEra) Source # 
Instance details

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

Associated Types

type SimpleRep (TxBody ShelleyEra) Source #

type TheSop (TxBody ShelleyEra) ∷ [Type] Source #

Eq (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

NoThunks (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

type TxBodyUpgradeError ShelleyEra 
Instance details

Defined in Cardano.Ledger.Api.Era

type TxUpgradeError ShelleyEra 
Instance details

Defined in Cardano.Ledger.Api.Era

type BlockBody ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.BlockBody.Internal

type NativeScript ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type Script ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

newtype Tx ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

type TxAuxData ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

newtype TxBody ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type TxOut ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

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 AccountState ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.Account

type Accounts ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.Account

type CertState ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.CertState

type GovState ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

type InstantStake ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.Stake

type ScriptsNeeded ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

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 (Tx ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

type Rep (Tx ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx ShelleyEra))))
type Rep (TxBody ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (TxBody ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ShelleyTxBodyRaw))))
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.17.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesis)))
type RawType (TxBody ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Prerequisites (TxBody ShelleyEra) Source # 
Instance details

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

type TypeSpec (TxBody ShelleyEra) Source # 
Instance details

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

type SimpleRep (TxBody ShelleyEra) Source # 
Instance details

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

type SimpleRep (TxBody ShelleyEra) = SOP '["ShelleyTxBody" ::: ShelleyTxBodyTypes]
type TheSop (TxBody ShelleyEra) Source # 
Instance details

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

data AllegraEra Source #

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

AllegraEraTest AllegraEra 
Instance details

Defined in Test.Cardano.Ledger.Allegra.Era

EraApi AllegraEra 
Instance details

Defined in Cardano.Ledger.Api.Era

EraSpecCert AllegraEra Source # 
Instance details

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

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

EraSpecTxOut AllegraEra Source # 
Instance details

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

EraSpecTxCert AllegraEra Source # 
Instance details

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

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

EraModel AllegraEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Instances

EraGenericGen AllegraEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Instances

Reflect AllegraEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

reifyProof AllegraEra Source #

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

GetLedgerView AllegraEra 
Instance details

Defined in Cardano.Protocol.TPraos.API

InjectRuleFailure "UTXO" AllegraUtxoPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

HasSpec (TxBody AllegraEra) Source # 
Instance details

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

HasSimpleRep (TxBody AllegraEra) Source # 
Instance details

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

Associated Types

type SimpleRep (TxBody AllegraEra) Source #

type TheSop (TxBody AllegraEra) ∷ [Type] Source #

type TxBodyUpgradeError AllegraEra 
Instance details

Defined in Cardano.Ledger.Api.Era

type TxUpgradeError AllegraEra 
Instance details

Defined in Cardano.Ledger.Api.Era

type BlockBody AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.BlockBody

type NativeScript AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Script AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

newtype Tx AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

type TxAuxData AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

newtype TxBody AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type TxOut AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxOut

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 AccountState AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.State.Account

type Accounts AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.State.Account

type CertState AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.State.CertState

type GovState AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type InstantStake AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.State.Stake

type ScriptsNeeded AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.UTxO

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 PParams 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra PParamsUpdate 
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 FuturePParams 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra UTxO 
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 ShelleyAccounts 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyCertState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyInstantStake 
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

type Rep (Tx AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

type Rep (Tx AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.8.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx AllegraEra))))
type Rep (TxBody AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type Rep (TxBody AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.8.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () AllegraEra)))))
type RawType (TxBody AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type Prerequisites (TxBody AllegraEra) Source # 
Instance details

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

type TypeSpec (TxBody AllegraEra) Source # 
Instance details

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

type SimpleRep (TxBody AllegraEra) Source # 
Instance details

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

type SimpleRep (TxBody AllegraEra) = SOP '["AllegraTxBody" ::: AllegraTxBodyTypes]
type TheSop (TxBody AllegraEra) Source # 
Instance details

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

data MaryEra Source #

Instances

Instances details
EraApi MaryEra 
Instance details

Defined in Cardano.Ledger.Api.Era

MaryEraTxBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

MaryEraTest MaryEra 
Instance details

Defined in Test.Cardano.Ledger.Mary.Era

MaryEraImp MaryEra 
Instance details

Defined in Test.Cardano.Ledger.Mary.ImpTest

EraSpecCert MaryEra Source # 
Instance details

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

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

EraSpecTxOut MaryEra Source # 
Instance details

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

EraSpecTxCert MaryEra Source # 
Instance details

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

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

EraModel MaryEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Instances

EraGenericGen MaryEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Instances

Reflect MaryEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

reifyProof MaryEra Source #

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

GetLedgerView MaryEra 
Instance details

Defined in Cardano.Protocol.TPraos.API

HasSpec (TxBody MaryEra) Source # 
Instance details

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

HasSimpleRep (TxBody MaryEra) Source # 
Instance details

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

Associated Types

type SimpleRep (TxBody MaryEra) Source #

type TheSop (TxBody MaryEra) ∷ [Type] Source #

type TxBodyUpgradeError MaryEra 
Instance details

Defined in Cardano.Ledger.Api.Era

type TxUpgradeError MaryEra 
Instance details

Defined in Cardano.Ledger.Api.Era

type BlockBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.BlockBody

type NativeScript MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Scripts

type Script MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Scripts

newtype Tx MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Tx

type TxAuxData MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxAuxData

newtype TxBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type TxOut MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxOut

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 MemoHashIndex MaryTxBodyRaw 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type AccountState MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.State.Account

type Accounts MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.State.Account

type CertState MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.State.CertState

type GovState MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

type InstantStake MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.State.Stake

type ScriptsNeeded MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.UTxO

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 PParams 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra PParamsUpdate 
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 FuturePParams 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra UTxO 
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 ShelleyAccounts 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra ShelleyCertState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra ShelleyInstantStake 
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 (TimelockTypeType) 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type Rep (Tx MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Tx

type Rep (Tx MaryEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Mary.Tx" "cardano-ledger-mary-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMaryTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx MaryEra))))
type Rep (TxBody MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type Rep (TxBody MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes MaryTxBodyRaw))))
type RawType (TxBody MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type Prerequisites (TxBody MaryEra) Source # 
Instance details

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

type TypeSpec (TxBody MaryEra) Source # 
Instance details

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

type SimpleRep (TxBody MaryEra) Source # 
Instance details

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

type SimpleRep (TxBody MaryEra) = SOP '["MaryTxBody" ::: MaryTxBodyTypes]
type TheSop (TxBody MaryEra) Source # 
Instance details

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

type TheSop (TxBody MaryEra) = SOPOf (Rep (TxBody MaryEra))

data AlonzoEra Source #

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

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

AlonzoEraTest AlonzoEra 
Instance details

Defined in Test.Cardano.Ledger.Alonzo.Era

AlonzoEraImp AlonzoEra 
Instance details

Defined in Test.Cardano.Ledger.Alonzo.ImpTest

EraApi AlonzoEra 
Instance details

Defined in Cardano.Ledger.Api.Era

EraSpecCert AlonzoEra Source # 
Instance details

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

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

EraSpecTxOut AlonzoEra Source # 
Instance details

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

EraSpecTxCert AlonzoEra Source # 
Instance details

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

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

EraModel AlonzoEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Instances

EraGenericGen AlonzoEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Instances

Reflect AlonzoEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

reifyProof AlonzoEra Source #

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

GetLedgerView AlonzoEra 
Instance details

Defined in Cardano.Protocol.TPraos.API

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

HasSpec (TxBody AlonzoEra) Source # 
Instance details

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

HasSimpleRep (TxBody AlonzoEra) Source # 
Instance details

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

Associated Types

type SimpleRep (TxBody AlonzoEra) Source #

type TheSop (TxBody AlonzoEra) ∷ [Type] Source #

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

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 TxBodyUpgradeError AlonzoEra 
Instance details

Defined in Cardano.Ledger.Api.Era

type TxBodyUpgradeError AlonzoEra = AlonzoTxBodyUpgradeError
type TxUpgradeError AlonzoEra 
Instance details

Defined in Cardano.Ledger.Api.Era

type TxUpgradeError AlonzoEra = AlonzoTxUpgradeError
type BlockBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

type NativeScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Script AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

newtype Tx AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type TxAuxData AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

newtype TxBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type TxOut AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

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 AccountState AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.State.Account

type Accounts AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.State.Account

type CertState AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.State.CertState

type GovState AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type InstantStake AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.State.Stake

type ScriptsNeeded AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

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 PParams 
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 FuturePParams 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra UTxO 
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 TranslationError AlonzoEra ShelleyAccounts 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra ShelleyCertState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra ShelleyInstantStake 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type Rep (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (Tx AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type Rep (Tx AlonzoEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.14.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx AlonzoEra))))
type Rep (TxBody AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type Rep (TxBody AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.14.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxBodyRaw))))
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.14.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))))
type RawType (TxBody AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type Prerequisites (TxBody AlonzoEra) Source # 
Instance details

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

type TypeSpec (TxBody AlonzoEra) Source # 
Instance details

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

type SimpleRep (TxBody AlonzoEra) Source # 
Instance details

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

type SimpleRep (TxBody AlonzoEra) = SOP '["AlonzoTxBody" ::: AlonzoTxBodyTypes]
type TheSop (TxBody AlonzoEra) Source # 
Instance details

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

data BabbageEra Source #

Instances

Instances details
EraApi BabbageEra 
Instance details

Defined in Cardano.Ledger.Api.Era

BabbageEraPParams BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

BabbageEraTxBody BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

BabbageEraTxOut BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

BabbageEraTest BabbageEra 
Instance details

Defined in Test.Cardano.Ledger.Babbage.Era

EraSpecCert BabbageEra Source # 
Instance details

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

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

EraSpecTxOut BabbageEra Source # 
Instance details

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

EraSpecTxCert BabbageEra Source # 
Instance details

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

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

EraModel BabbageEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Instances

EraGenericGen BabbageEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Instances

Reflect BabbageEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

reifyProof BabbageEra Source #

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

GetLedgerView BabbageEra 
Instance details

Defined in Cardano.Protocol.TPraos.API

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

HasSpec (TxBody BabbageEra) Source # 
Instance details

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

HasSimpleRep (TxBody BabbageEra) Source # 
Instance details

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

Associated Types

type SimpleRep (TxBody BabbageEra) Source #

type TheSop (TxBody BabbageEra) ∷ [Type] Source #

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 TxBodyUpgradeError BabbageEra 
Instance details

Defined in Cardano.Ledger.Api.Era

type TxBodyUpgradeError BabbageEra = BabbageTxBodyUpgradeError
type TxUpgradeError BabbageEra 
Instance details

Defined in Cardano.Ledger.Api.Era

type TxUpgradeError BabbageEra = BabbageTxUpgradeError
type BlockBody BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.BlockBody

type NativeScript BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type Script BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

newtype Tx BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

type TxAuxData BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxAuxData

newtype TxBody BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type TxOut BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

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 AccountState BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.State.Account

type Accounts BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.State.Account

type CertState BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.State.CertState

type GovState BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

type InstantStake BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.State.Stake

type ScriptsNeeded BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.UTxO

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 PParams 
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 FuturePParams 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra UTxO 
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 TranslationError BabbageEra ShelleyAccounts 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra ShelleyCertState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra ShelleyInstantStake 
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.12.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))))
type Rep (Tx BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

type Rep (Tx BabbageEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Babbage.Tx" "cardano-ledger-babbage-1.12.0.0-inplace" 'True) (C1 ('MetaCons "MkBabbageTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBabbageTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx BabbageEra))))
type Rep (TxBody BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type RawType (TxBody BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type Prerequisites (TxBody BabbageEra) Source # 
Instance details

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

type TypeSpec (TxBody BabbageEra) Source # 
Instance details

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

type SimpleRep (TxBody BabbageEra) Source # 
Instance details

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

type SimpleRep (TxBody BabbageEra) = SOP '["BabbageTxBody" ::: BabbageTxBodyTypes]
type TheSop (TxBody BabbageEra) Source # 
Instance details

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

data ConwayEra Source #

Instances

Instances details
EraApi ConwayEra 
Instance details

Defined in Cardano.Ledger.Api.Era

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

ConwayEraAccounts ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.State.Account

ConwayEraCertState ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.State.CertState

ConwayEraTransition ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Transition

ConwayEraTxBody ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

ConwayEraTxCert ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

mkRegDepositTxCertStakeCredentialCoinTxCert ConwayEra Source #

getRegDepositTxCertTxCert ConwayEraMaybe (StakeCredential, Coin) Source #

mkUnRegDepositTxCertStakeCredentialCoinTxCert ConwayEra Source #

getUnRegDepositTxCertTxCert ConwayEraMaybe (StakeCredential, Coin) Source #

mkDelegTxCertStakeCredentialDelegateeTxCert ConwayEra Source #

getDelegTxCertTxCert ConwayEraMaybe (StakeCredential, Delegatee) Source #

mkRegDepositDelegTxCertStakeCredentialDelegateeCoinTxCert ConwayEra Source #

getRegDepositDelegTxCertTxCert ConwayEraMaybe (StakeCredential, Delegatee, Coin) Source #

mkAuthCommitteeHotKeyTxCertCredential 'ColdCommitteeRoleCredential 'HotCommitteeRoleTxCert ConwayEra Source #

getAuthCommitteeHotKeyTxCertTxCert ConwayEraMaybe (Credential 'ColdCommitteeRole, Credential 'HotCommitteeRole) Source #

mkResignCommitteeColdTxCertCredential 'ColdCommitteeRoleStrictMaybe AnchorTxCert ConwayEra Source #

getResignCommitteeColdTxCertTxCert ConwayEraMaybe (Credential 'ColdCommitteeRole, StrictMaybe Anchor) Source #

mkRegDRepTxCertCredential 'DRepRoleCoinStrictMaybe AnchorTxCert ConwayEra Source #

getRegDRepTxCertTxCert ConwayEraMaybe (Credential 'DRepRole, Coin, StrictMaybe Anchor) Source #

mkUnRegDRepTxCertCredential 'DRepRoleCoinTxCert ConwayEra Source #

getUnRegDRepTxCertTxCert ConwayEraMaybe (Credential 'DRepRole, Coin) Source #

mkUpdateDRepTxCertCredential 'DRepRoleStrictMaybe AnchorTxCert ConwayEra Source #

getUpdateDRepTxCertTxCert ConwayEraMaybe (Credential 'DRepRole, StrictMaybe Anchor) Source #

ConwayEraTest ConwayEra 
Instance details

Defined in Test.Cardano.Ledger.Conway.Era

EraSpecCert ConwayEra Source # 
Instance details

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

EraSpecDeleg ConwayEra Source # 
Instance details

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

Methods

hasGenDelegs ∷ proxy ConwayEraBool Source #

EraSpecPParams ConwayEra Source # 
Instance details

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

EraSpecTxOut ConwayEra Source # 
Instance details

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

EraSpecTxCert ConwayEra Source # 
Instance details

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

EraUniverse ConwayEra Source # 
Instance details

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

GenScript ConwayEra Source # 
Instance details

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

EraModel ConwayEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Instances

EraGenericGen ConwayEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Instances

Reflect ConwayEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

reifyProof ConwayEra Source #

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

GetLedgerView ConwayEra 
Instance details

Defined in Cardano.Protocol.TPraos.API

ConwayEraPlutusTxInfo 'PlutusV3 ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

TranslateEra ConwayEra Tx 
Instance details

Defined in Cardano.Ledger.Conway.Translation

Associated Types

type TranslationError ConwayEra Tx Source #

InjectRuleEvent "UTXOS" ConwayUtxosEvent ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

InjectRuleFailure "BBODY" ConwayBbodyPredFailure ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "CERT" ConwayCertPredFailure ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

InjectRuleFailure "CERTS" ConwayCertsPredFailure ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

InjectRuleFailure "DELEG" ConwayDelegPredFailure ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

InjectRuleFailure "GOV" ConwayGovPredFailure ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

InjectRuleFailure "LEDGER" ConwayLedgerPredFailure ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "UTXO" ConwayUtxoPredFailure ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

InjectRuleFailure "UTXOS" ConwayUtxosPredFailure ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

InjectRuleFailure "UTXOW" ConwayUtxowPredFailure ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

HasSpec (ConwayGovState ConwayEra) Source # 
Instance details

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

HasSpec (DRepPulsingState ConwayEra) Source # 
Instance details

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

Methods

emptySpecTypeSpec (DRepPulsingState ConwayEra) Source #

combineSpecTypeSpec (DRepPulsingState ConwayEra) → TypeSpec (DRepPulsingState ConwayEra) → Specification (DRepPulsingState ConwayEra) Source #

genFromTypeSpec ∷ ∀ (m ∷ TypeType). (HasCallStack, MonadGenError m) ⇒ TypeSpec (DRepPulsingState ConwayEra) → GenT m (DRepPulsingState ConwayEra) Source #

conformsToDRepPulsingState ConwayEraTypeSpec (DRepPulsingState ConwayEra) → Bool Source #

shrinkWithTypeSpecTypeSpec (DRepPulsingState ConwayEra) → DRepPulsingState ConwayEra → [DRepPulsingState ConwayEra] Source #

toPredsTerm (DRepPulsingState ConwayEra) → TypeSpec (DRepPulsingState ConwayEra) → Pred Source #

cardinalTypeSpecTypeSpec (DRepPulsingState ConwayEra) → Specification Integer Source #

cardinalTrueSpecSpecification Integer Source #

typeSpecHasErrorTypeSpec (DRepPulsingState ConwayEra) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec (DRepPulsingState ConwayEra) → BinaryShow Source #

monadConformsToDRepPulsingState ConwayEraTypeSpec (DRepPulsingState ConwayEra) → Writer [String] Bool Source #

typeSpecOptTypeSpec (DRepPulsingState ConwayEra) → [DRepPulsingState ConwayEra] → Specification (DRepPulsingState ConwayEra) Source #

guardTypeSpec ∷ [String] → TypeSpec (DRepPulsingState ConwayEra) → Specification (DRepPulsingState ConwayEra) Source #

prerequisitesEvidence (Prerequisites (DRepPulsingState ConwayEra)) Source #

HasSpec (PulsingSnapshot ConwayEra) Source # 
Instance details

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

HasSpec (RatifySignal ConwayEra) Source # 
Instance details

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

HasSpec (RatifyState ConwayEra) Source # 
Instance details

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

HasSpec (EnactSignal ConwayEra) Source # 
Instance details

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

HasSpec (GovSignal ConwayEra) Source # 
Instance details

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

HasSpec (ConwayGovCertEnv ConwayEra) Source # 
Instance details

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

Methods

emptySpecTypeSpec (ConwayGovCertEnv ConwayEra) Source #

combineSpecTypeSpec (ConwayGovCertEnv ConwayEra) → TypeSpec (ConwayGovCertEnv ConwayEra) → Specification (ConwayGovCertEnv ConwayEra) Source #

genFromTypeSpec ∷ ∀ (m ∷ TypeType). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ConwayGovCertEnv ConwayEra) → GenT m (ConwayGovCertEnv ConwayEra) Source #

conformsToConwayGovCertEnv ConwayEraTypeSpec (ConwayGovCertEnv ConwayEra) → Bool Source #

shrinkWithTypeSpecTypeSpec (ConwayGovCertEnv ConwayEra) → ConwayGovCertEnv ConwayEra → [ConwayGovCertEnv ConwayEra] Source #

toPredsTerm (ConwayGovCertEnv ConwayEra) → TypeSpec (ConwayGovCertEnv ConwayEra) → Pred Source #

cardinalTypeSpecTypeSpec (ConwayGovCertEnv ConwayEra) → Specification Integer Source #

cardinalTrueSpecSpecification Integer Source #

typeSpecHasErrorTypeSpec (ConwayGovCertEnv ConwayEra) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec (ConwayGovCertEnv ConwayEra) → BinaryShow Source #

monadConformsToConwayGovCertEnv ConwayEraTypeSpec (ConwayGovCertEnv ConwayEra) → Writer [String] Bool Source #

typeSpecOptTypeSpec (ConwayGovCertEnv ConwayEra) → [ConwayGovCertEnv ConwayEra] → Specification (ConwayGovCertEnv ConwayEra) Source #

guardTypeSpec ∷ [String] → TypeSpec (ConwayGovCertEnv ConwayEra) → Specification (ConwayGovCertEnv ConwayEra) Source #

prerequisitesEvidence (Prerequisites (ConwayGovCertEnv ConwayEra)) Source #

HasSpec (Tx ConwayEra) Source # 
Instance details

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

Associated Types

type TypeSpec (Tx ConwayEra) Source #

type Prerequisites (Tx ConwayEra) Source #

HasSpec (TxBody ConwayEra) Source # 
Instance details

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

HasSimpleRep (ConwayGovState ConwayEra) Source # 
Instance details

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

HasSimpleRep (DRepPulsingState ConwayEra) Source # 
Instance details

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

HasSimpleRep (PulsingSnapshot ConwayEra) Source # 
Instance details

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

HasSimpleRep (RatifySignal ConwayEra) Source # 
Instance details

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

HasSimpleRep (RatifyState ConwayEra) Source # 
Instance details

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

HasSimpleRep (EnactSignal ConwayEra) Source # 
Instance details

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

HasSimpleRep (ConwayGovCertEnv ConwayEra) Source # 
Instance details

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

HasSimpleRep (Tx ConwayEra) Source # 
Instance details

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

Associated Types

type SimpleRep (Tx ConwayEra) Source #

type TheSop (Tx ConwayEra) ∷ [Type] Source #

HasSimpleRep (TxBody ConwayEra) Source # 
Instance details

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

Associated Types

type SimpleRep (TxBody ConwayEra) Source #

type TheSop (TxBody ConwayEra) ∷ [Type] Source #

HasSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # 
Instance details

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

Methods

emptySpecTypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #

combineSpecTypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Specification (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #

genFromTypeSpec ∷ ∀ (m ∷ TypeType). (HasCallStack, MonadGenError m) ⇒ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → GenT m (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #

conformsToDRepPulser ConwayEra Identity (RatifyState ConwayEra) → TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Bool Source #

shrinkWithTypeSpecTypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → DRepPulser ConwayEra Identity (RatifyState ConwayEra) → [DRepPulser ConwayEra Identity (RatifyState ConwayEra)] Source #

toPredsTerm (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Pred Source #

cardinalTypeSpecTypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Specification Integer Source #

cardinalTrueSpecSpecification Integer Source #

typeSpecHasErrorTypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → BinaryShow Source #

monadConformsToDRepPulser ConwayEra Identity (RatifyState ConwayEra) → TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Writer [String] Bool Source #

typeSpecOptTypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → [DRepPulser ConwayEra Identity (RatifyState ConwayEra)] → Specification (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #

guardTypeSpec ∷ [String] → TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Specification (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #

prerequisitesEvidence (Prerequisites (DRepPulser ConwayEra Identity (RatifyState ConwayEra))) Source #

HasSimpleRep (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # 
Instance details

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

type ContextError ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

data TxInfoResult ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

data PlutusScript ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type TxBodyUpgradeError ConwayEra 
Instance details

Defined in Cardano.Ledger.Api.Era

type TxBodyUpgradeError ConwayEra = ConwayTxBodyUpgradeError
type TxUpgradeError ConwayEra 
Instance details

Defined in Cardano.Ledger.Api.Era

type BlockBody ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.BlockBody

type NativeScript ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type Script ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

newtype Tx ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Tx

type TxAuxData ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.TxAuxData

newtype TxBody ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

type TxOut ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.TxOut

type TxWits ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.TxWits

type Value ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type PreviousEra ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type ProtVerHigh ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type ProtVerLow ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type TranslationContext ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TxCert ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

type TxCertUpgradeError ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

type Genesis ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

type AccountState ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.State.Account

type Accounts ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.State.Account

type CertState ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.State.CertState

type GovState ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Governance

type InstantStake ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.State.Stake

type ScriptsNeeded ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.UTxO

data TransitionConfig ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Transition

type PlutusPurpose f ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type EraRule "BBODY" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "CERT" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "CERTS" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "DELEG" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "DELEGS" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "DELEGS" ConwayEra = VoidEraRule "DELEGS" ConwayEra
type EraRule "ENACT" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "EPOCH" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "GOV" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "GOVCERT" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "HARDFORK" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "LEDGER" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "LEDGERS" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "MEMPOOL" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "MIR" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "NEWEPOCH" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "NEWPP" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "NEWPP" ConwayEra = VoidEraRule "NEWPP" ConwayEra
type EraRule "POOL" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "POOLREAP" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "PPUP" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "PPUP" ConwayEra = VoidEraRule "PPUP" ConwayEra
type EraRule "RATIFY" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "RUPD" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "SNAP" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "TICK" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "TICKF" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "UPEC" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "UPEC" ConwayEra = VoidEraRule "UPEC" ConwayEra
type EraRule "UTXO" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "UTXOS" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "UTXOW" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleEvent "BBODY" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type EraRuleEvent "CERT" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type EraRuleEvent "CERTS" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type EraRuleEvent "DELEG" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type EraRuleEvent "DELEGS" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleEvent "DELEGS" ConwayEra = VoidEraRule "DELEGS" ConwayEra
type EraRuleEvent "ENACT" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

type EraRuleEvent "EPOCH" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

type EraRuleEvent "GOV" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type EraRuleEvent "GOVCERT" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type EraRuleEvent "GOVCERT" ConwayEra = VoidEraRule "GOVCERT" ConwayEra
type EraRuleEvent "HARDFORK" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.HardFork

type EraRuleEvent "LEDGER" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

type EraRuleEvent "LEDGERS" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

type EraRuleEvent "MIR" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleEvent "NEWEPOCH" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type EraRuleEvent "NEWPP" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleEvent "POOL" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Pool

type EraRuleEvent "PPUP" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleEvent "TICK" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules

type EraRuleEvent "UPEC" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleEvent "UTXO" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

type EraRuleEvent "UTXOS" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type EraRuleEvent "UTXOW" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

type EraRuleFailure "BBODY" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type EraRuleFailure "CERT" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type EraRuleFailure "CERTS" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type EraRuleFailure "DELEG" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type EraRuleFailure "DELEGS" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleFailure "GOV" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type EraRuleFailure "GOVCERT" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type EraRuleFailure "LEDGER" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

type EraRuleFailure "LEDGERS" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

type EraRuleFailure "MIR" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleFailure "NEWPP" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleFailure "POOL" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Pool

type EraRuleFailure "PPUP" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleFailure "UPEC" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleFailure "UTXO" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

type EraRuleFailure "UTXOS" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type EraRuleFailure "UTXOW" ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

type DowngradePParams f ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.PParams

type PParamsHKD f ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.PParams

type UpgradePParams f ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.PParams

type TranslationError ConwayEra Tx 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError ConwayEra PParams 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError ConwayEra DState 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError ConwayEra PState 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError ConwayEra FuturePParams 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError ConwayEra UTxO 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError ConwayEra EpochState 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError ConwayEra LedgerState 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError ConwayEra NewEpochState 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError ConwayEra UTxOState 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type Rep (PlutusScript ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type Rep (PlutusScript ConwayEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.20.0.0-inplace" 'False) (C1 ('MetaCons "ConwayPlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: (C1 ('MetaCons "ConwayPlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))) :+: C1 ('MetaCons "ConwayPlutusV3" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV3)))))
type Rep (Tx ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.Tx

type Rep (Tx ConwayEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Conway.Tx" "cardano-ledger-conway-1.20.0.0-inplace" 'True) (C1 ('MetaCons "MkConwayTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unConwayTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx ConwayEra))))
type Rep (TxBody ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

type Rep (TxBody ConwayEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Conway.TxBody" "cardano-ledger-conway-1.20.0.0-inplace" 'True) (C1 ('MetaCons "MkConwayTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ConwayTxBodyRaw))))
type Rep (TransitionConfig ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.Transition

type Rep (TransitionConfig ConwayEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Conway.Transition" "cardano-ledger-conway-1.20.0.0-inplace" 'False) (C1 ('MetaCons "ConwayTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "ctcConwayGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ConwayGenesis) :*: S1 ('MetaSel ('Just "ctcBabbageTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig BabbageEra))))
type RawType (TxBody ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

type Prerequisites (ConwayGovState ConwayEra) Source # 
Instance details

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

type Prerequisites (DRepPulsingState ConwayEra) Source # 
Instance details

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

type Prerequisites (PulsingSnapshot ConwayEra) Source # 
Instance details

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

type Prerequisites (RatifySignal ConwayEra) Source # 
Instance details

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

type Prerequisites (RatifyState ConwayEra) Source # 
Instance details

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

type Prerequisites (EnactSignal ConwayEra) Source # 
Instance details

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

type Prerequisites (GovSignal ConwayEra) Source # 
Instance details

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

type Prerequisites (ConwayGovCertEnv ConwayEra) Source # 
Instance details

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

type Prerequisites (Tx ConwayEra) Source # 
Instance details

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

type Prerequisites (TxBody ConwayEra) Source # 
Instance details

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

type TypeSpec (ConwayGovState ConwayEra) Source # 
Instance details

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

type TypeSpec (DRepPulsingState ConwayEra) Source # 
Instance details

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

type TypeSpec (PulsingSnapshot ConwayEra) Source # 
Instance details

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

type TypeSpec (RatifySignal ConwayEra) Source # 
Instance details

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

type TypeSpec (RatifyState ConwayEra) Source # 
Instance details

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

type TypeSpec (EnactSignal ConwayEra) Source # 
Instance details

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

type TypeSpec (GovSignal ConwayEra) Source # 
Instance details

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

type TypeSpec (ConwayGovCertEnv ConwayEra) Source # 
Instance details

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

type TypeSpec (Tx ConwayEra) Source # 
Instance details

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

type TypeSpec (TxBody ConwayEra) Source # 
Instance details

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

type SimpleRep (ConwayGovState ConwayEra) Source # 
Instance details

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

type SimpleRep (DRepPulsingState ConwayEra) Source # 
Instance details

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

type SimpleRep (PulsingSnapshot ConwayEra) Source # 
Instance details

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

type SimpleRep (RatifySignal ConwayEra) Source # 
Instance details

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

type SimpleRep (RatifyState ConwayEra) Source # 
Instance details

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

type SimpleRep (EnactSignal ConwayEra) Source # 
Instance details

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

type SimpleRep (ConwayGovCertEnv ConwayEra) Source # 
Instance details

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

type SimpleRep (Tx ConwayEra) Source # 
Instance details

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

type SimpleRep (TxBody ConwayEra) Source # 
Instance details

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

type TheSop (ConwayGovState ConwayEra) Source # 
Instance details

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

type TheSop (DRepPulsingState ConwayEra) Source # 
Instance details

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

type TheSop (PulsingSnapshot ConwayEra) Source # 
Instance details

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

type TheSop (RatifySignal ConwayEra) Source # 
Instance details

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

type TheSop (RatifyState ConwayEra) Source # 
Instance details

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

type TheSop (EnactSignal ConwayEra) Source # 
Instance details

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

type TheSop (ConwayGovCertEnv ConwayEra) Source # 
Instance details

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

type TheSop (Tx ConwayEra) Source # 
Instance details

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

type TheSop (TxBody ConwayEra) Source # 
Instance details

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

type Prerequisites (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # 
Instance details

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

type TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # 
Instance details

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

type SimpleRep (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # 
Instance details

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

type TheSop (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # 
Instance details

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

specialize ∷ ∀ constraint era t. (constraint ShelleyEra, constraint AllegraEra, constraint MaryEra, constraint AlonzoEra, constraint BabbageEra, constraint ConwayEra) ⇒ Proof era → (constraint era ⇒ t) → t Source #

Specialize (action :: (constraint era => t)) to all known era, because we know (constraint era) holds for all known era. In order for this to work it is best to type apply specialize to a concrete constraint. So a call site looks like '(specialize @EraBlockBody proof action). This way the constraint does not percolate upwards, past the call site of action

unReflect ∷ (Reflect era ⇒ Proof era → a) → Proof era → a Source #

lift a function (Proof era -> a) that has a (Reflect era) constraint to one that does not. This is possible because every inhabited term of type (Proof era) packs a (Reflect era) instance. so instead of writing: f proof arg1 .. argn one writes: unReflect f proof arg1 .. argn which will not require a (Reflect era) instance

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

data ValueWit era where Source #

Constructors

ValueShelleyToAllegraValue era ~ CoinValueWit era 
ValueMaryToConwayValue era ~ MaryValueValueWit era 

data TxOutWit era where Source #

data ScriptWit era where Source #

Constructors

ScriptShelleyToShelley ∷ (Script era ~ MultiSig era, EraScript era) ⇒ ScriptWit era 
ScriptAllegraToMary ∷ (Script era ~ Timelock era, EraScript era) ⇒ ScriptWit era 
ScriptAlonzoToConway ∷ (Script era ~ AlonzoScript era, EraScript era) ⇒ ScriptWit era 

whichValueProof era → ValueWit era Source #

whichTxOutProof era → TxOutWit era Source #

whichUTxOProof era → UTxOWit era Source #