Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Generic.Proof

Synopsis

data Proof era where
- Shelley ∷ Proof ShelleyEra
- Mary ∷ Proof MaryEra
- Allegra ∷ Proof AllegraEra
- Alonzo ∷ Proof AlonzoEra
- Babbage ∷ Proof BabbageEra
- Conway ∷ Proof ConwayEra
class (EraGov era, EraTx era, EraUTxO era, EraTxAuxData era, EraScript era, ShelleyEraTxCert era) ⇒ Reflect era where
- reify ∷ Proof era
- lift ∷ ∀ a. (Proof era → a) → a
data Some (t ∷ k → Type) where
- Some ∷ ∀ {k} (t ∷ k → Type) (i ∷ k). Singleton t ⇒ t i → Some t
data WitRule (s ∷ Symbol) (e ∷ Type) where
- UTXO ∷ Proof era → WitRule "UTXO" era
- UTXOW ∷ Proof era → WitRule "UTXOW" era
- LEDGER ∷ Proof era → WitRule "LEDGER" era
- BBODY ∷ Proof era → WitRule "BBODY" era
- LEDGERS ∷ Proof era → WitRule "LEDGERS" era
- MOCKCHAIN ∷ Proof era → WitRule "MOCKCHAIN" era
- RATIFY ∷ Proof era → WitRule "RATIFY" era
- ENACT ∷ Proof era → WitRule "ENACT" era
- TALLY ∷ Proof era → WitRule "TALLY" era
- EPOCH ∷ Proof era → WitRule "EPOCH" era
- NEWEPOCH ∷ Proof era → WitRule "NEWEPOCH" era
- CERT ∷ Proof era → WitRule "CERT" era
- CERTS ∷ Proof era → WitRule "CERTS" era
- DELEG ∷ Proof era → WitRule "DELEG" era
- POOL ∷ Proof era → WitRule "POOL" era
- GOVCERT ∷ Proof era → WitRule "GOVCERT" era
- GOV ∷ Proof era → WitRule "GOV" era
ruleProof ∷ WitRule s e → Proof e
runSTS ∷ ∀ s e ans. (BaseM (EraRule s e) ~ ShelleyBase, STS (EraRule s e)) ⇒ WitRule s e → TRC (EraRule s e) → (Either (NonEmpty (PredicateFailure (EraRule s e))) (State (EraRule s e)) → ans) → ans
goSTS ∷ ∀ s e ans env state sig. (BaseM (EraRule s e) ~ ShelleyBase, STS (EraRule s e), env ~ Environment (EraRule s e), state ~ State (EraRule s e), sig ~ Signal (EraRule s e)) ⇒ WitRule s e → env → state → sig → (Either (NonEmpty (PredicateFailure (EraRule s e))) (State (EraRule s e)) → ans) → ans
preShelley ∷ [Some Proof]
preAllegra ∷ [Some Proof]
preMary ∷ [Some Proof]
preAlonzo ∷ [Some Proof]
preBabbage ∷ [Some Proof]
preConway ∷ [Some Proof]
postShelley ∷ [Some Proof]
postAllegra ∷ [Some Proof]
postMary ∷ [Some Proof]
postAlonzo ∷ [Some Proof]
postBabbage ∷ [Some Proof]
postConway ∷ [Some Proof]
data ShelleyEra
data AllegraEra
data MaryEra
data AlonzoEra
data BabbageEra
data ConwayEra
specialize ∷ ∀ constraint era t. (constraint ShelleyEra, constraint AllegraEra, constraint MaryEra, constraint AlonzoEra, constraint BabbageEra, constraint ConwayEra) ⇒ Proof era → (constraint era ⇒ t) → t
unReflect ∷ (Reflect era ⇒ Proof era → a) → Proof era → a
runSTS' ∷ ∀ s e. (BaseM (EraRule s e) ~ ShelleyBase, STS (EraRule s e)) ⇒ WitRule s e → TRC (EraRule s e) → Either (NonEmpty (PredicateFailure (EraRule s e))) (State (EraRule s e))
data ValueWit era where
- ValueShelleyToAllegra ∷ Value era ~ Coin ⇒ ValueWit era
- ValueMaryToConway ∷ Value era ~ MaryValue ⇒ ValueWit era
data TxOutWit era where
- TxOutShelleyToMary ∷ (TxOut era ~ ShelleyTxOut era, EraTxOut era, ProtVerAtMost era 8) ⇒ TxOutWit era
- TxOutAlonzoToAlonzo ∷ (TxOut era ~ AlonzoTxOut era, AlonzoEraTxOut era, ProtVerAtMost era 8) ⇒ TxOutWit era
- TxOutBabbageToConway ∷ (TxOut era ~ BabbageTxOut era, BabbageEraTxOut era) ⇒ TxOutWit era
data TxCertWit era where
- TxCertShelleyToBabbage ∷ (TxCert era ~ ShelleyTxCert era, ShelleyEraTxCert era, ProtVerAtMost era 8) ⇒ TxCertWit era
- TxCertConwayToConway ∷ (TxCert era ~ ConwayTxCert era, ConwayEraTxCert era, ConwayEraPParams era) ⇒ TxCertWit era
data PParamsWit era where
- PParamsShelleyToMary ∷ (PParamsHKD Identity era ~ ShelleyPParams Identity era, EraPParams era) ⇒ PParamsWit era
- PParamsAlonzoToAlonzo ∷ (PParamsHKD Identity era ~ AlonzoPParams Identity era, AlonzoEraPParams era) ⇒ PParamsWit era
- PParamsBabbageToBabbage ∷ (PParamsHKD Identity era ~ BabbagePParams Identity era, BabbageEraPParams era) ⇒ PParamsWit era
- PParamsConwayToConway ∷ (PParamsHKD Identity era ~ ConwayPParams Identity era, ConwayEraPParams era) ⇒ PParamsWit era
data UTxOWit era where
- UTxOShelleyToMary ∷ (EraUTxO era, ScriptsNeeded era ~ ShelleyScriptsNeeded era, TxWits era ~ ShelleyTxWits era) ⇒ UTxOWit era
- UTxOAlonzoToConway ∷ (EraUTxO era, AlonzoEraScript era, AlonzoEraTxBody era, AlonzoEraPParams era, AlonzoEraTxOut era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Script era ~ AlonzoScript era, TxWits era ~ AlonzoTxWits era) ⇒ UTxOWit era
data ScriptWit era where
- 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
data GovStateWit era where
- GovStateShelleyToBabbage ∷ (EraGov era, GovState era ~ ShelleyGovState era) ⇒ GovStateWit era
- GovStateConwayToConway ∷ (ConwayEraPParams era, RunConwayRatify era, EraGov era, GovState era ~ ConwayGovState era) ⇒ GovStateWit era
whichValue ∷ Proof era → ValueWit era
whichTxOut ∷ Proof era → TxOutWit era
whichTxCert ∷ Proof era → TxCertWit era
whichPParams ∷ Proof era → PParamsWit era
whichUTxO ∷ Proof era → UTxOWit era
whichScript ∷ Proof era → ScriptWit era
whichGovState ∷ Proof era → GovStateWit era

Documentation

data Proof era where Source #

Proof of a valid (predefined) era

Constructors

Shelley ∷ Proof ShelleyEra
Mary ∷ Proof MaryEra
Allegra ∷ Proof AllegraEra
Alonzo ∷ Proof AlonzoEra
Babbage ∷ Proof BabbageEra
Conway ∷ Proof ConwayEra

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 showsPrec ∷ Int → Proof e → ShowS Source # show ∷ Proof e → String Source # showList ∷ [Proof e] → ShowS Source #
Eq (Proof e) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Env Methods (==) ∷ Proof e → Proof e → Bool Source # (/=) ∷ Proof e → Proof e → Bool Source #
Hashable (Proof e) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Env Methods hashWithSalt ∷ Int → Proof e → Int Source # hash ∷ Proof e → Int Source #
Show (Some Proof) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Proof Methods showsPrec ∷ Int → Some Proof → ShowS Source # show ∷ Some Proof → String Source # showList ∷ [Some Proof] → ShowS Source #

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

Minimal complete definition

reify

Methods

reify ∷ Proof 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 reify ∷ Proof AllegraEra Source # lift ∷ (Proof AllegraEra → a) → a Source #
Reflect AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Proof Methods reify ∷ Proof AlonzoEra Source # lift ∷ (Proof AlonzoEra → a) → a Source #
Reflect BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Proof Methods reify ∷ Proof BabbageEra Source # lift ∷ (Proof BabbageEra → a) → a Source #
Reflect ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Proof Methods reify ∷ Proof ConwayEra Source # lift ∷ (Proof ConwayEra → a) → a Source #
Reflect MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Proof Methods reify ∷ Proof MaryEra Source # lift ∷ (Proof MaryEra → a) → a Source #
Reflect ShelleyEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Proof Methods reify ∷ Proof 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 showsPrec ∷ Int → Some Proof → ShowS Source # show ∷ Some Proof → String Source # showList ∷ [Some Proof] → ShowS Source #
Eq (Some r)
Instance details Defined in Data.Universe Methods (==) ∷ Some r → Some r → Bool Source # (/=) ∷ Some r → Some r → Bool Source #
Ord (Some r)
Instance details Defined in Data.Universe Methods compare ∷ Some r → Some r → Ordering Source # (<) ∷ Some r → Some r → Bool Source # (<=) ∷ Some r → Some r → Bool Source # (>) ∷ Some r → Some r → Bool Source # (>=) ∷ Some r → Some r → Bool Source # max ∷ Some r → Some r → Some r Source # min ∷ Some r → Some r → Some r Source #

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

Constructors

UTXO ∷ Proof era → WitRule "UTXO" era
UTXOW ∷ Proof era → WitRule "UTXOW" era
LEDGER ∷ Proof era → WitRule "LEDGER" era
BBODY ∷ Proof era → WitRule "BBODY" era
LEDGERS ∷ Proof era → WitRule "LEDGERS" era
MOCKCHAIN ∷ Proof era → WitRule "MOCKCHAIN" era
RATIFY ∷ Proof era → WitRule "RATIFY" era
ENACT ∷ Proof era → WitRule "ENACT" era
TALLY ∷ Proof era → WitRule "TALLY" era
EPOCH ∷ Proof era → WitRule "EPOCH" era
NEWEPOCH ∷ Proof era → WitRule "NEWEPOCH" era
CERT ∷ Proof era → WitRule "CERT" era
CERTS ∷ Proof era → WitRule "CERTS" era
DELEG ∷ Proof era → WitRule "DELEG" era
POOL ∷ Proof era → WitRule "POOL" era
GOVCERT ∷ Proof era → WitRule "GOVCERT" era
GOV ∷ Proof era → WitRule "GOV" era

ruleProof ∷ WitRule s e → Proof e Source #

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

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

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

preShelley ∷ [Some Proof] Source #

preAllegra ∷ [Some Proof] Source #

preMary ∷ [Some Proof] Source #

preAlonzo ∷ [Some Proof] Source #

preBabbage ∷ [Some Proof] Source #

preConway ∷ [Some Proof] Source #

postShelley ∷ [Some Proof] Source #

postAllegra ∷ [Some Proof] Source #

postMary ∷ [Some Proof] Source #

postAlonzo ∷ [Some Proof] Source #

postBabbage ∷ [Some Proof] Source #

postConway ∷ [Some Proof] Source #

data ShelleyEra Source #

Instances

Instances details

Era ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era Associated Types type PreviousEra ShelleyEra = (r ∷ Type) Source # type ProtVerLow ShelleyEra ∷ Nat Source # type ProtVerHigh ShelleyEra ∷ Nat Source # Methods eraName ∷ String Source #
ApplyTx ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.API.Mempool Methods applyTxOpts ∷ ∀ (ep ∷ EventPolicy) m. (MonadError (ApplyTxError ShelleyEra) m, EventReturnTypeRep ep) ⇒ ApplySTSOpts ep → Globals → MempoolEnv ShelleyEra → MempoolState ShelleyEra → Tx ShelleyEra → m (EventReturnType ep (EraRule "LEDGER" ShelleyEra) (MempoolState ShelleyEra, Validated (Tx ShelleyEra))) Source # reapplyTx ∷ MonadError (ApplyTxError ShelleyEra) m ⇒ Globals → MempoolEnv ShelleyEra → MempoolState ShelleyEra → Validated (Tx ShelleyEra) → m (MempoolState ShelleyEra) Source #
ApplyBlock ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.API.Validation Methods applyTickOpts ∷ ∀ (ep ∷ EventPolicy). ApplySTSOpts ep → Globals → NewEpochState ShelleyEra → SlotNo → EventReturnType ep (EraRule "TICK" ShelleyEra) (NewEpochState ShelleyEra) Source # applyBlockOpts ∷ ∀ (ep ∷ EventPolicy) m. (EventReturnTypeRep ep, MonadError (BlockTransitionError ShelleyEra) m) ⇒ ApplySTSOpts ep → Globals → NewEpochState ShelleyEra → Block BHeaderView ShelleyEra → m (EventReturnType ep (EraRule "BBODY" ShelleyEra) (NewEpochState ShelleyEra)) Source # reapplyBlock ∷ Globals → NewEpochState ShelleyEra → Block BHeaderView ShelleyEra → NewEpochState ShelleyEra Source #
EraGov ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Governance Associated Types type GovState ShelleyEra = (r ∷ Type) Source # Methods emptyGovState ∷ GovState ShelleyEra Source # getProposedPPUpdates ∷ GovState ShelleyEra → Maybe (ProposedPPUpdates ShelleyEra) Source # curPParamsGovStateL ∷ Lens' (GovState ShelleyEra) (PParams ShelleyEra) Source # prevPParamsGovStateL ∷ Lens' (GovState ShelleyEra) (PParams ShelleyEra) Source # futurePParamsGovStateL ∷ Lens' (GovState ShelleyEra) (FuturePParams ShelleyEra) Source # obligationGovState ∷ GovState ShelleyEra → Obligations Source #
ShelleyEraScript ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Scripts Methods mkRequireSignature ∷ KeyHash 'Witness → NativeScript ShelleyEra Source # getRequireSignature ∷ NativeScript ShelleyEra → Maybe (KeyHash 'Witness) Source # mkRequireAllOf ∷ StrictSeq (NativeScript ShelleyEra) → NativeScript ShelleyEra Source # getRequireAllOf ∷ NativeScript ShelleyEra → Maybe (StrictSeq (NativeScript ShelleyEra)) Source # mkRequireAnyOf ∷ StrictSeq (NativeScript ShelleyEra) → NativeScript ShelleyEra Source # getRequireAnyOf ∷ NativeScript ShelleyEra → Maybe (StrictSeq (NativeScript ShelleyEra)) Source # mkRequireMOf ∷ Int → StrictSeq (NativeScript ShelleyEra) → NativeScript ShelleyEra Source # getRequireMOf ∷ NativeScript ShelleyEra → Maybe (Int, StrictSeq (NativeScript ShelleyEra)) Source #
EraTransition ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Transition Associated Types data TransitionConfig ShelleyEra Source # Methods mkTransitionConfig ∷ TranslationContext ShelleyEra → TransitionConfig (PreviousEra ShelleyEra) → TransitionConfig ShelleyEra Source # injectIntoTestState ∷ TransitionConfig ShelleyEra → NewEpochState ShelleyEra → NewEpochState ShelleyEra Source # tcPreviousEraConfigL ∷ Lens' (TransitionConfig ShelleyEra) (TransitionConfig (PreviousEra ShelleyEra)) Source # tcTranslationContextL ∷ Lens' (TransitionConfig ShelleyEra) (TranslationContext ShelleyEra) Source # tcShelleyGenesisL ∷ Lens' (TransitionConfig ShelleyEra) ShelleyGenesis Source # tcInitialPParamsG ∷ SimpleGetter (TransitionConfig ShelleyEra) (PParams ShelleyEra) Source #
ShelleyEraTxBody ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody ShelleyEra) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody ShelleyEra) (StrictMaybe (Update ShelleyEra)) Source #
ShelleyEraTxCert ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods mkRegTxCert ∷ StakeCredential → TxCert ShelleyEra Source # getRegTxCert ∷ TxCert ShelleyEra → Maybe StakeCredential Source # mkUnRegTxCert ∷ StakeCredential → TxCert ShelleyEra Source # getUnRegTxCert ∷ TxCert ShelleyEra → Maybe StakeCredential Source # mkDelegStakeTxCert ∷ StakeCredential → KeyHash 'StakePool → TxCert ShelleyEra Source # getDelegStakeTxCert ∷ TxCert ShelleyEra → Maybe (StakeCredential, KeyHash 'StakePool) Source # mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert ShelleyEra Source # getGenesisDelegTxCert ∷ TxCert ShelleyEra → Maybe GenesisDelegCert Source # mkMirTxCert ∷ MIRCert → TxCert ShelleyEra Source # getMirTxCert ∷ TxCert ShelleyEra → Maybe MIRCert Source #
EraSpecDeleg ShelleyEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy ShelleyEra → Bool Source #
EraSpecPParams ShelleyEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams Methods subsetToPP ∷ SimplePParams ShelleyEra → PParams ShelleyEra Source # ppToSubset ∷ PParams ShelleyEra → SimplePParams ShelleyEra Source # updateToPPU ∷ SimplePPUpdate → PParamsUpdate ShelleyEra Source # ppuToUpdate ∷ PParamsUpdate ShelleyEra → SimplePPUpdate Source #
EraUniverse ShelleyEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods eraWitUniv ∷ Int → WitUniv ShelleyEra Source #
GenScript ShelleyEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods genScript ∷ Gen (Script ShelleyEra) Source #
Reflect ShelleyEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Proof Methods reify ∷ Proof ShelleyEra Source # lift ∷ (Proof ShelleyEra → a) → a Source #
Scriptic ShelleyEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods always ∷ Natural → Proof ShelleyEra → Script ShelleyEra Source # alwaysAlt ∷ Natural → Proof ShelleyEra → Script ShelleyEra Source # never ∷ Natural → Proof ShelleyEra → Script ShelleyEra Source # require ∷ KeyHash 'Witness → Proof ShelleyEra → NativeScript ShelleyEra Source # allOf ∷ [Proof ShelleyEra → NativeScript ShelleyEra] → Proof ShelleyEra → NativeScript ShelleyEra Source # anyOf ∷ [Proof ShelleyEra → NativeScript ShelleyEra] → Proof ShelleyEra → NativeScript ShelleyEra Source # mOf ∷ Int → [Proof ShelleyEra → NativeScript ShelleyEra] → Proof ShelleyEra → NativeScript ShelleyEra Source #
GetLedgerView ShelleyEra
Instance details Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView ∷ NewEpochState ShelleyEra → LedgerView Source # futureLedgerView ∷ MonadError (FutureLedgerViewError ShelleyEra) m ⇒ Globals → NewEpochState ShelleyEra → SlotNo → m LedgerView Source #
IsConwayUniv fn ⇒ EraSpecCert ShelleyEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Cert Methods txCertSpec ∷ WitUniv ShelleyEra → CertEnv ShelleyEra → CertState ShelleyEra → Specification fn (TxCert ShelleyEra) Source # txCertKey ∷ TxCert ShelleyEra → CertKey Source #
IsConwayUniv fn ⇒ EraSpecLedger ShelleyEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs Methods govStateSpec ∷ PParams ShelleyEra → Specification fn (GovState ShelleyEra) Source # newEpochStateSpec ∷ PParams ShelleyEra → WitUniv ShelleyEra → Specification fn (NewEpochState ShelleyEra) Source #
IsConwayUniv fn ⇒ EraSpecTxOut ShelleyEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.ParametricSpec Methods irewardSpec ∷ WitUniv ShelleyEra → Term fn AccountState → Specification fn InstantaneousRewards Source # hasPtrs ∷ proxy ShelleyEra → Term fn Bool Source # txOutValue_ ∷ Term fn (TxOut ShelleyEra) → Term fn (Value ShelleyEra) Source # txOutCoin_ ∷ Term fn (TxOut ShelleyEra) → Term fn Coin Source # txOutAddr_ ∷ Term fn (TxOut ShelleyEra) → Term fn Addr Source #
IsConwayUniv fn ⇒ EraSpecTxCert fn ShelleyEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witTxCert ∷ WitUniv ShelleyEra → Specification fn (TxCert ShelleyEra) Source #
InjectRuleFailure "BBODY" ShelleyBbodyPredFailure ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyBbodyPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #
InjectRuleFailure "DELEG" ShelleyDelegPredFailure ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg Methods injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "DELEG" ShelleyEra Source #
InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods injectFailure ∷ ShelleyDelegsPredFailure ShelleyEra → EraRuleFailure "DELEGS" ShelleyEra Source #
InjectRuleFailure "DELPL" ShelleyDelplPredFailure ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods injectFailure ∷ ShelleyDelplPredFailure ShelleyEra → EraRuleFailure "DELPL" ShelleyEra Source #
InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyLedgerPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgersPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #
InjectRuleFailure "POOL" ShelleyPoolPredFailure ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool Methods injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "POOL" ShelleyEra Source #
InjectRuleFailure "PPUP" ShelleyPpupPredFailure ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup Methods injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "PPUP" ShelleyEra Source #
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo Methods injectFailure ∷ ShelleyUtxoPredFailure ShelleyEra → EraRuleFailure "UTXO" ShelleyEra Source #
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods injectFailure ∷ ShelleyUtxowPredFailure ShelleyEra → EraRuleFailure "UTXOW" ShelleyEra Source #
FromJSON (TransitionConfig ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods parseJSON ∷ Value → Parser (TransitionConfig ShelleyEra) Source # parseJSONList ∷ Value → Parser [TransitionConfig ShelleyEra] Source # omittedField ∷ Maybe (TransitionConfig ShelleyEra) Source #
ToJSON (TransitionConfig ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods toJSON ∷ TransitionConfig ShelleyEra → Value Source # toEncoding ∷ TransitionConfig ShelleyEra → Encoding Source # toJSONList ∷ [TransitionConfig ShelleyEra] → Value Source # toEncodingList ∷ [TransitionConfig ShelleyEra] → Encoding Source # omitField ∷ TransitionConfig ShelleyEra → Bool Source #
Generic (TransitionConfig ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Transition Associated Types type Rep (TransitionConfig ShelleyEra) ∷ Type → Type Source # Methods from ∷ TransitionConfig ShelleyEra → Rep (TransitionConfig ShelleyEra) x Source # to ∷ Rep (TransitionConfig ShelleyEra) x → TransitionConfig ShelleyEra Source #
Show (TransitionConfig ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods showsPrec ∷ Int → TransitionConfig ShelleyEra → ShowS Source # show ∷ TransitionConfig ShelleyEra → String Source # showList ∷ [TransitionConfig ShelleyEra] → ShowS Source #
Terse (PParamsUpdate ShelleyEra) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Same Methods terse ∷ PParamsUpdate ShelleyEra → String Source #
Eq (TransitionConfig ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods (==) ∷ TransitionConfig ShelleyEra → TransitionConfig ShelleyEra → Bool Source # (/=) ∷ TransitionConfig ShelleyEra → TransitionConfig ShelleyEra → Bool Source #
NoThunks (TransitionConfig ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods noThunks ∷ Context → TransitionConfig ShelleyEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig ShelleyEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig ShelleyEra) → String Source #
type NativeScript ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Scripts type NativeScript ShelleyEra = MultiSig ShelleyEra
type Script ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Scripts type Script ShelleyEra = MultiSig ShelleyEra
type Tx ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal type Tx ShelleyEra = ShelleyTx ShelleyEra
type TxAuxData ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData type TxAuxData ShelleyEra = ShelleyTxAuxData ShelleyEra
type TxBody ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxBody type TxBody ShelleyEra = ShelleyTxBody ShelleyEra
type TxBodyUpgradeError ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxBody type TxBodyUpgradeError ShelleyEra = Void
type TxOut ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxOut type TxOut ShelleyEra = ShelleyTxOut ShelleyEra
type TxSeq ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.BlockChain type TxSeq ShelleyEra = ShelleyTxSeq ShelleyEra
type TxUpgradeError ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal type TxUpgradeError ShelleyEra = Void
type TxWits ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxWits type TxWits ShelleyEra = ShelleyTxWits ShelleyEra
type Value ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type Value ShelleyEra = Coin
type PreviousEra ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type PreviousEra ShelleyEra = ByronEra
type ProtVerHigh ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type ProtVerHigh ShelleyEra = ProtVerLow ShelleyEra
type ProtVerLow ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type ProtVerLow ShelleyEra = 2
type TranslationContext ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Translation type TranslationContext ShelleyEra = FromByronTranslationContext
type TxCert ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxCert type TxCert ShelleyEra = ShelleyTxCert ShelleyEra
type TxCertUpgradeError ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxCert type TxCertUpgradeError ShelleyEra = Void
type Genesis ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Genesis type Genesis ShelleyEra = ShelleyGenesis
type ScriptsNeeded ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.UTxO type ScriptsNeeded ShelleyEra = ShelleyScriptsNeeded ShelleyEra
type GovState ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Governance type GovState ShelleyEra = ShelleyGovState ShelleyEra
newtype TransitionConfig ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Transition newtype TransitionConfig ShelleyEra = ShelleyTransitionConfig { stcShelleyGenesis ∷ ShelleyGenesis }
type EraRule "BBODY" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "BBODY" ShelleyEra = ShelleyBBODY ShelleyEra
type EraRule "DELEG" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "DELEG" ShelleyEra = ShelleyDELEG ShelleyEra
type EraRule "DELEGS" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "DELEGS" ShelleyEra = ShelleyDELEGS ShelleyEra
type EraRule "DELPL" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "DELPL" ShelleyEra = ShelleyDELPL ShelleyEra
type EraRule "EPOCH" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "EPOCH" ShelleyEra = ShelleyEPOCH ShelleyEra
type EraRule "LEDGER" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "LEDGER" ShelleyEra = ShelleyLEDGER ShelleyEra
type EraRule "LEDGERS" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "LEDGERS" ShelleyEra = ShelleyLEDGERS ShelleyEra
type EraRule "MIR" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "MIR" ShelleyEra = ShelleyMIR ShelleyEra
type EraRule "NEWEPOCH" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "NEWEPOCH" ShelleyEra = ShelleyNEWEPOCH ShelleyEra
type EraRule "NEWPP" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "NEWPP" ShelleyEra = ShelleyNEWPP ShelleyEra
type EraRule "POOL" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "POOL" ShelleyEra = ShelleyPOOL ShelleyEra
type EraRule "POOLREAP" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "POOLREAP" ShelleyEra = ShelleyPOOLREAP ShelleyEra
type EraRule "PPUP" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "PPUP" ShelleyEra = ShelleyPPUP ShelleyEra
type EraRule "RUPD" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "RUPD" ShelleyEra = ShelleyRUPD ShelleyEra
type EraRule "SNAP" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "SNAP" ShelleyEra = ShelleySNAP ShelleyEra
type EraRule "TICK" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "TICK" ShelleyEra = ShelleyTICK ShelleyEra
type EraRule "TICKF" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "TICKF" ShelleyEra = ShelleyTICKF ShelleyEra
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 "UPEC" ShelleyEra = ShelleyUPEC ShelleyEra
type EraRule "UTXO" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "UTXO" ShelleyEra = ShelleyUTXO ShelleyEra
type EraRule "UTXOW" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "UTXOW" ShelleyEra = ShelleyUTXOW ShelleyEra
type EraRuleEvent "LEDGER" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type EraRuleEvent "LEDGER" ShelleyEra = ShelleyLedgerEvent ShelleyEra
type EraRuleEvent "LEDGERS" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type EraRuleEvent "LEDGERS" ShelleyEra = ShelleyLedgersEvent ShelleyEra
type EraRuleEvent "NEWEPOCH" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type EraRuleEvent "NEWEPOCH" ShelleyEra = ShelleyNewEpochEvent ShelleyEra
type EraRuleEvent "POOLREAP" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type EraRuleEvent "POOLREAP" ShelleyEra = ShelleyPoolreapEvent ShelleyEra
type EraRuleEvent "TICK" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type EraRuleEvent "TICK" ShelleyEra = ShelleyTickEvent ShelleyEra
type EraRuleFailure "BBODY" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type EraRuleFailure "BBODY" ShelleyEra = ShelleyBbodyPredFailure ShelleyEra
type EraRuleFailure "DELEG" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type EraRuleFailure "DELEG" ShelleyEra = ShelleyDelegPredFailure ShelleyEra
type EraRuleFailure "DELEGS" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type EraRuleFailure "DELEGS" ShelleyEra = ShelleyDelegsPredFailure ShelleyEra
type EraRuleFailure "DELPL" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type EraRuleFailure "DELPL" ShelleyEra = ShelleyDelplPredFailure ShelleyEra
type EraRuleFailure "LEDGER" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type EraRuleFailure "LEDGER" ShelleyEra = ShelleyLedgerPredFailure ShelleyEra
type EraRuleFailure "LEDGERS" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type EraRuleFailure "LEDGERS" ShelleyEra = ShelleyLedgersPredFailure ShelleyEra
type EraRuleFailure "POOL" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type EraRuleFailure "POOL" ShelleyEra = ShelleyPoolPredFailure ShelleyEra
type EraRuleFailure "PPUP" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type EraRuleFailure "PPUP" ShelleyEra = ShelleyPpupPredFailure ShelleyEra
type EraRuleFailure "UTXO" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type EraRuleFailure "UTXO" ShelleyEra = ShelleyUtxoPredFailure ShelleyEra
type EraRuleFailure "UTXOW" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type EraRuleFailure "UTXOW" ShelleyEra = ShelleyUtxowPredFailure ShelleyEra
type DowngradePParams f ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.PParams type DowngradePParams f ShelleyEra = Void
type PParamsHKD f ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.PParams type PParamsHKD f ShelleyEra = ShelleyPParams f ShelleyEra
type UpgradePParams f ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.PParams type UpgradePParams f ShelleyEra = Void
type Rep (TransitionConfig ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Transition type Rep (TransitionConfig ShelleyEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Shelley.Transition" "cardano-ledger-shelley-1.16.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesis)))

data AllegraEra Source #

The Allegra era

Instances

Instances details

AllegraEraScript AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods mkTimeStart ∷ SlotNo → NativeScript AllegraEra Source # getTimeStart ∷ NativeScript AllegraEra → Maybe SlotNo Source # mkTimeExpire ∷ SlotNo → NativeScript AllegraEra Source # getTimeExpire ∷ NativeScript AllegraEra → Maybe SlotNo Source #
AllegraEraTxAuxData AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData AllegraEra) (StrictSeq (Timelock AllegraEra)) Source #
AllegraEraTxBody AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods vldtTxBodyL ∷ Lens' (TxBody AllegraEra) ValidityInterval Source #
Era AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era Associated Types type PreviousEra AllegraEra = (r ∷ Type) Source # type ProtVerLow AllegraEra ∷ Nat Source # type ProtVerHigh AllegraEra ∷ Nat Source # Methods eraName ∷ String Source #
EraGenesis AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era Associated Types type Genesis AllegraEra Source #
EraSpecDeleg AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy AllegraEra → Bool Source #
EraSpecPParams AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams Methods subsetToPP ∷ SimplePParams AllegraEra → PParams AllegraEra Source # ppToSubset ∷ PParams AllegraEra → SimplePParams AllegraEra Source # updateToPPU ∷ SimplePPUpdate → PParamsUpdate AllegraEra Source # ppuToUpdate ∷ PParamsUpdate AllegraEra → SimplePPUpdate Source #
EraUniverse AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods eraWitUniv ∷ Int → WitUniv AllegraEra Source #
GenScript AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods genScript ∷ Gen (Script AllegraEra) Source #
Reflect AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Proof Methods reify ∷ Proof AllegraEra Source # lift ∷ (Proof AllegraEra → a) → a Source #
PostShelley AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods before ∷ Int → Proof AllegraEra → NativeScript AllegraEra Source # after ∷ Int → Proof AllegraEra → NativeScript AllegraEra Source #
Scriptic AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods always ∷ Natural → Proof AllegraEra → Script AllegraEra Source # alwaysAlt ∷ Natural → Proof AllegraEra → Script AllegraEra Source # never ∷ Natural → Proof AllegraEra → Script AllegraEra Source # require ∷ KeyHash 'Witness → Proof AllegraEra → NativeScript AllegraEra Source # allOf ∷ [Proof AllegraEra → NativeScript AllegraEra] → Proof AllegraEra → NativeScript AllegraEra Source # anyOf ∷ [Proof AllegraEra → NativeScript AllegraEra] → Proof AllegraEra → NativeScript AllegraEra Source # mOf ∷ Int → [Proof AllegraEra → NativeScript AllegraEra] → Proof AllegraEra → NativeScript AllegraEra Source #
GetLedgerView AllegraEra
Instance details Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView ∷ NewEpochState AllegraEra → LedgerView Source # futureLedgerView ∷ MonadError (FutureLedgerViewError AllegraEra) m ⇒ Globals → NewEpochState AllegraEra → SlotNo → m LedgerView Source #
IsConwayUniv fn ⇒ EraSpecCert AllegraEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Cert Methods txCertSpec ∷ WitUniv AllegraEra → CertEnv AllegraEra → CertState AllegraEra → Specification fn (TxCert AllegraEra) Source # txCertKey ∷ TxCert AllegraEra → CertKey Source #
IsConwayUniv fn ⇒ EraSpecLedger AllegraEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs Methods govStateSpec ∷ PParams AllegraEra → Specification fn (GovState AllegraEra) Source # newEpochStateSpec ∷ PParams AllegraEra → WitUniv AllegraEra → Specification fn (NewEpochState AllegraEra) Source #
IsConwayUniv fn ⇒ EraSpecTxOut AllegraEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.ParametricSpec Methods irewardSpec ∷ WitUniv AllegraEra → Term fn AccountState → Specification fn InstantaneousRewards Source # hasPtrs ∷ proxy AllegraEra → Term fn Bool Source # txOutValue_ ∷ Term fn (TxOut AllegraEra) → Term fn (Value AllegraEra) Source # txOutCoin_ ∷ Term fn (TxOut AllegraEra) → Term fn Coin Source # txOutAddr_ ∷ Term fn (TxOut AllegraEra) → Term fn Addr Source #
IsConwayUniv fn ⇒ EraSpecTxCert fn AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witTxCert ∷ WitUniv AllegraEra → Specification fn (TxCert AllegraEra) Source #
InjectRuleFailure "UTXO" AllegraUtxoPredFailure AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo Methods injectFailure ∷ AllegraUtxoPredFailure AllegraEra → EraRuleFailure "UTXO" AllegraEra Source #
Terse (PParamsUpdate AllegraEra) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Same Methods terse ∷ PParamsUpdate AllegraEra → String Source #
type NativeScript AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Scripts type NativeScript AllegraEra = Timelock AllegraEra
type Script AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Scripts type Script AllegraEra = Timelock AllegraEra
type Tx AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Tx type Tx AllegraEra = ShelleyTx AllegraEra
type TxAuxData AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData type TxAuxData AllegraEra = AllegraTxAuxData AllegraEra
type TxBody AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal type TxBody AllegraEra = AllegraTxBody AllegraEra
type TxBodyUpgradeError AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal type TxBodyUpgradeError AllegraEra = Void
type TxOut AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxOut type TxOut AllegraEra = ShelleyTxOut AllegraEra
type TxSeq AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxSeq type TxSeq AllegraEra = ShelleyTxSeq AllegraEra
type TxUpgradeError AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Tx type TxUpgradeError AllegraEra = Void
type TxWits AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxWits type TxWits AllegraEra = ShelleyTxWits AllegraEra
type Value AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type Value AllegraEra = Coin
type PreviousEra AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type PreviousEra AllegraEra = ShelleyEra
type ProtVerHigh AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type ProtVerHigh AllegraEra = ProtVerLow AllegraEra
type ProtVerLow AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type ProtVerLow AllegraEra = 3
type TranslationContext AllegraEra	No context is needed to translate from Shelley to Allegra.
Instance details Defined in Cardano.Ledger.Allegra.Era type TranslationContext AllegraEra = NoGenesis AllegraEra
type TxCert AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxCert type TxCert AllegraEra = ShelleyTxCert AllegraEra
type TxCertUpgradeError AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxCert type TxCertUpgradeError AllegraEra = Void
type Genesis AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type Genesis AllegraEra = NoGenesis AllegraEra
type ScriptsNeeded AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.UTxO type ScriptsNeeded AllegraEra = ShelleyScriptsNeeded AllegraEra
type GovState AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.PParams type GovState AllegraEra = ShelleyGovState AllegraEra
newtype TransitionConfig AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Transition newtype TransitionConfig AllegraEra = AllegraTransitionConfig { atcShelleyTransitionConfig ∷ TransitionConfig ShelleyEra }
type EraRule "BBODY" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "BBODY" AllegraEra = ShelleyBBODY AllegraEra
type EraRule "DELEG" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "DELEG" AllegraEra = ShelleyDELEG AllegraEra
type EraRule "DELEGS" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "DELEGS" AllegraEra = ShelleyDELEGS AllegraEra
type EraRule "DELPL" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "DELPL" AllegraEra = ShelleyDELPL AllegraEra
type EraRule "EPOCH" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "EPOCH" AllegraEra = ShelleyEPOCH AllegraEra
type EraRule "LEDGER" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "LEDGER" AllegraEra = ShelleyLEDGER AllegraEra
type EraRule "LEDGERS" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "LEDGERS" AllegraEra = ShelleyLEDGERS AllegraEra
type EraRule "MIR" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "MIR" AllegraEra = ShelleyMIR AllegraEra
type EraRule "NEWEPOCH" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "NEWEPOCH" AllegraEra = ShelleyNEWEPOCH AllegraEra
type EraRule "NEWPP" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "NEWPP" AllegraEra = ShelleyNEWPP AllegraEra
type EraRule "POOL" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "POOL" AllegraEra = ShelleyPOOL AllegraEra
type EraRule "POOLREAP" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "POOLREAP" AllegraEra = ShelleyPOOLREAP AllegraEra
type EraRule "PPUP" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "PPUP" AllegraEra = ShelleyPPUP AllegraEra
type EraRule "RUPD" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "RUPD" AllegraEra = ShelleyRUPD AllegraEra
type EraRule "SNAP" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "SNAP" AllegraEra = ShelleySNAP AllegraEra
type EraRule "TICK" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "TICK" AllegraEra = ShelleyTICK AllegraEra
type EraRule "TICKF" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "TICKF" AllegraEra = ShelleyTICKF AllegraEra
type EraRule "UPEC" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "UPEC" AllegraEra = ShelleyUPEC AllegraEra
type EraRule "UTXO" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "UTXO" AllegraEra = AllegraUTXO AllegraEra
type EraRule "UTXOW" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "UTXOW" AllegraEra = AllegraUTXOW AllegraEra
type EraRuleEvent "LEDGER" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledger type EraRuleEvent "LEDGER" AllegraEra = ShelleyLedgerEvent AllegraEra
type EraRuleEvent "TICK" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules type EraRuleEvent "TICK" AllegraEra = ShelleyTickEvent AllegraEra
type EraRuleFailure "BBODY" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Bbody type EraRuleFailure "BBODY" AllegraEra = ShelleyBbodyPredFailure AllegraEra
type EraRuleFailure "DELEG" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Deleg type EraRuleFailure "DELEG" AllegraEra = ShelleyDelegPredFailure AllegraEra
type EraRuleFailure "DELEGS" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Delegs type EraRuleFailure "DELEGS" AllegraEra = ShelleyDelegsPredFailure AllegraEra
type EraRuleFailure "DELPL" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Delpl type EraRuleFailure "DELPL" AllegraEra = ShelleyDelplPredFailure AllegraEra
type EraRuleFailure "LEDGER" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledger type EraRuleFailure "LEDGER" AllegraEra = ShelleyLedgerPredFailure AllegraEra
type EraRuleFailure "LEDGERS" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledgers type EraRuleFailure "LEDGERS" AllegraEra = ShelleyLedgersPredFailure AllegraEra
type EraRuleFailure "POOL" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Pool type EraRuleFailure "POOL" AllegraEra = ShelleyPoolPredFailure AllegraEra
type EraRuleFailure "PPUP" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ppup type EraRuleFailure "PPUP" AllegraEra = ShelleyPpupPredFailure AllegraEra
type EraRuleFailure "UTXO" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo type EraRuleFailure "UTXO" AllegraEra = AllegraUtxoPredFailure AllegraEra
type EraRuleFailure "UTXOW" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type EraRuleFailure "UTXOW" AllegraEra = ShelleyUtxowPredFailure AllegraEra
type DowngradePParams f AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.PParams type DowngradePParams f AllegraEra = ()
type PParamsHKD f AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.PParams type PParamsHKD f AllegraEra = ShelleyPParams f AllegraEra
type UpgradePParams f AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.PParams type UpgradePParams f AllegraEra = ()
type TranslationError AllegraEra CertState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra CertState = Void
type TranslationError AllegraEra CommitteeState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra CommitteeState = Void
type TranslationError AllegraEra DState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra DState = Void
type TranslationError AllegraEra PState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra PState = Void
type TranslationError AllegraEra VState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra VState = Void
type TranslationError AllegraEra PParams
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra PParams = Void
type TranslationError AllegraEra PParamsUpdate
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra PParamsUpdate = Void
type TranslationError AllegraEra UTxO
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra UTxO = Void
type TranslationError AllegraEra FuturePParams
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra FuturePParams = Void
type TranslationError AllegraEra ShelleyGovState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyGovState = Void
type TranslationError AllegraEra EpochState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra EpochState = Void
type TranslationError AllegraEra LedgerState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra LedgerState = Void
type TranslationError AllegraEra NewEpochState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra NewEpochState = Void
type TranslationError AllegraEra UTxOState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra UTxOState = Void
type TranslationError AllegraEra ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ProposedPPUpdates = Void
type TranslationError AllegraEra Update
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra Update = Void
type TranslationError AllegraEra ShelleyTx
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyTx = DecoderError
type TranslationError AllegraEra ShelleyTxOut
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyTxOut = Void
type TranslationError AllegraEra ShelleyTxWits
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyTxWits = DecoderError

data MaryEra Source #

Instances

Instances details

Era MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era Associated Types type PreviousEra MaryEra = (r ∷ Type) Source # type ProtVerLow MaryEra ∷ Nat Source # type ProtVerHigh MaryEra ∷ Nat Source # Methods eraName ∷ String Source #
EraGenesis MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era Associated Types type Genesis MaryEra Source #
MaryEraTxBody MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal Methods mintTxBodyL ∷ Lens' (TxBody MaryEra) MultiAsset Source # mintValueTxBodyF ∷ SimpleGetter (TxBody MaryEra) (Value MaryEra) Source # mintedTxBodyF ∷ SimpleGetter (TxBody MaryEra) (Set PolicyID) Source #
EraSpecDeleg MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy MaryEra → Bool Source #
EraSpecPParams MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams Methods subsetToPP ∷ SimplePParams MaryEra → PParams MaryEra Source # ppToSubset ∷ PParams MaryEra → SimplePParams MaryEra Source # updateToPPU ∷ SimplePPUpdate → PParamsUpdate MaryEra Source # ppuToUpdate ∷ PParamsUpdate MaryEra → SimplePPUpdate Source #
EraUniverse MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods eraWitUniv ∷ Int → WitUniv MaryEra Source #
GenScript MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods genScript ∷ Gen (Script MaryEra) Source #
Reflect MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Proof Methods reify ∷ Proof MaryEra Source # lift ∷ (Proof MaryEra → a) → a Source #
HasTokens MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods forge ∷ Integer → Script MaryEra → MultiAsset Source #
PostShelley MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods before ∷ Int → Proof MaryEra → NativeScript MaryEra Source # after ∷ Int → Proof MaryEra → NativeScript MaryEra Source #
Scriptic MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods always ∷ Natural → Proof MaryEra → Script MaryEra Source # alwaysAlt ∷ Natural → Proof MaryEra → Script MaryEra Source # never ∷ Natural → Proof MaryEra → Script MaryEra Source # require ∷ KeyHash 'Witness → Proof MaryEra → NativeScript MaryEra Source # allOf ∷ [Proof MaryEra → NativeScript MaryEra] → Proof MaryEra → NativeScript MaryEra Source # anyOf ∷ [Proof MaryEra → NativeScript MaryEra] → Proof MaryEra → NativeScript MaryEra Source # mOf ∷ Int → [Proof MaryEra → NativeScript MaryEra] → Proof MaryEra → NativeScript MaryEra Source #
GetLedgerView MaryEra
Instance details Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView ∷ NewEpochState MaryEra → LedgerView Source # futureLedgerView ∷ MonadError (FutureLedgerViewError MaryEra) m ⇒ Globals → NewEpochState MaryEra → SlotNo → m LedgerView Source #
IsConwayUniv fn ⇒ EraSpecCert MaryEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Cert Methods txCertSpec ∷ WitUniv MaryEra → CertEnv MaryEra → CertState MaryEra → Specification fn (TxCert MaryEra) Source # txCertKey ∷ TxCert MaryEra → CertKey Source #
IsConwayUniv fn ⇒ EraSpecLedger MaryEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs Methods govStateSpec ∷ PParams MaryEra → Specification fn (GovState MaryEra) Source # newEpochStateSpec ∷ PParams MaryEra → WitUniv MaryEra → Specification fn (NewEpochState MaryEra) Source #
IsConwayUniv fn ⇒ EraSpecTxOut MaryEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.ParametricSpec Methods irewardSpec ∷ WitUniv MaryEra → Term fn AccountState → Specification fn InstantaneousRewards Source # hasPtrs ∷ proxy MaryEra → Term fn Bool Source # txOutValue_ ∷ Term fn (TxOut MaryEra) → Term fn (Value MaryEra) Source # txOutCoin_ ∷ Term fn (TxOut MaryEra) → Term fn Coin Source # txOutAddr_ ∷ Term fn (TxOut MaryEra) → Term fn Addr Source #
IsConwayUniv fn ⇒ EraSpecTxCert fn MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witTxCert ∷ WitUniv MaryEra → Specification fn (TxCert MaryEra) Source #
Terse (PParamsUpdate MaryEra) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Same Methods terse ∷ PParamsUpdate MaryEra → String Source #
type NativeScript MaryEra
Instance details Defined in Cardano.Ledger.Mary.Scripts type NativeScript MaryEra = Timelock MaryEra
type Script MaryEra
Instance details Defined in Cardano.Ledger.Mary.Scripts type Script MaryEra = Timelock MaryEra
type Tx MaryEra
Instance details Defined in Cardano.Ledger.Mary.Tx type Tx MaryEra = ShelleyTx MaryEra
type TxAuxData MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxAuxData type TxAuxData MaryEra = AllegraTxAuxData MaryEra
type TxBody MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal type TxBody MaryEra = MaryTxBody MaryEra
type TxBodyUpgradeError MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal type TxBodyUpgradeError MaryEra = Void
type TxOut MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxOut type TxOut MaryEra = ShelleyTxOut MaryEra
type TxSeq MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxSeq type TxSeq MaryEra = ShelleyTxSeq MaryEra
type TxUpgradeError MaryEra
Instance details Defined in Cardano.Ledger.Mary.Tx type TxUpgradeError MaryEra = Void
type TxWits MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxWits type TxWits MaryEra = ShelleyTxWits MaryEra
type Value MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type Value MaryEra = MaryValue
type PreviousEra MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type PreviousEra MaryEra = AllegraEra
type ProtVerHigh MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type ProtVerHigh MaryEra = ProtVerLow MaryEra
type ProtVerLow MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type ProtVerLow MaryEra = 4
type TranslationContext MaryEra	No context is needed to translate from Allegra to Mary.
Instance details Defined in Cardano.Ledger.Mary.Era type TranslationContext MaryEra = NoGenesis MaryEra
type TxCert MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxCert type TxCert MaryEra = ShelleyTxCert MaryEra
type TxCertUpgradeError MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxCert type TxCertUpgradeError MaryEra = Void
type Genesis MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type Genesis MaryEra = NoGenesis MaryEra
type ScriptsNeeded MaryEra
Instance details Defined in Cardano.Ledger.Mary.UTxO type ScriptsNeeded MaryEra = ShelleyScriptsNeeded MaryEra
type GovState MaryEra
Instance details Defined in Cardano.Ledger.Mary.PParams type GovState MaryEra = ShelleyGovState MaryEra
newtype TransitionConfig MaryEra
Instance details Defined in Cardano.Ledger.Mary.Transition newtype TransitionConfig MaryEra = MaryTransitionConfig { mtcAllegraTransitionConfig ∷ TransitionConfig AllegraEra }
type EraRule "BBODY" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "BBODY" MaryEra = ShelleyBBODY MaryEra
type EraRule "DELEG" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "DELEG" MaryEra = ShelleyDELEG MaryEra
type EraRule "DELEGS" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "DELEGS" MaryEra = ShelleyDELEGS MaryEra
type EraRule "DELPL" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "DELPL" MaryEra = ShelleyDELPL MaryEra
type EraRule "EPOCH" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "EPOCH" MaryEra = ShelleyEPOCH MaryEra
type EraRule "LEDGER" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "LEDGER" MaryEra = ShelleyLEDGER MaryEra
type EraRule "LEDGERS" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "LEDGERS" MaryEra = ShelleyLEDGERS MaryEra
type EraRule "MIR" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "MIR" MaryEra = ShelleyMIR MaryEra
type EraRule "NEWEPOCH" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "NEWEPOCH" MaryEra = ShelleyNEWEPOCH MaryEra
type EraRule "NEWPP" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "NEWPP" MaryEra = ShelleyNEWPP MaryEra
type EraRule "POOL" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "POOL" MaryEra = ShelleyPOOL MaryEra
type EraRule "POOLREAP" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "POOLREAP" MaryEra = ShelleyPOOLREAP MaryEra
type EraRule "PPUP" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "PPUP" MaryEra = ShelleyPPUP MaryEra
type EraRule "RUPD" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "RUPD" MaryEra = ShelleyRUPD MaryEra
type EraRule "SNAP" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "SNAP" MaryEra = ShelleySNAP MaryEra
type EraRule "TICK" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "TICK" MaryEra = ShelleyTICK MaryEra
type EraRule "TICKF" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "TICKF" MaryEra = ShelleyTICKF MaryEra
type EraRule "UPEC" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "UPEC" MaryEra = ShelleyUPEC MaryEra
type EraRule "UTXO" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "UTXO" MaryEra = AllegraUTXO MaryEra
type EraRule "UTXOW" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "UTXOW" MaryEra = AllegraUTXOW MaryEra
type EraRuleEvent "LEDGER" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger type EraRuleEvent "LEDGER" MaryEra = ShelleyLedgerEvent MaryEra
type EraRuleEvent "TICK" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Rules type EraRuleEvent "TICK" MaryEra = ShelleyTickEvent MaryEra
type EraRuleFailure "BBODY" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody type EraRuleFailure "BBODY" MaryEra = ShelleyBbodyPredFailure MaryEra
type EraRuleFailure "DELEG" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Rules.Deleg type EraRuleFailure "DELEG" MaryEra = ShelleyDelegPredFailure MaryEra
type EraRuleFailure "DELEGS" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Rules.Delegs type EraRuleFailure "DELEGS" MaryEra = ShelleyDelegsPredFailure MaryEra
type EraRuleFailure "DELPL" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Rules.Delpl type EraRuleFailure "DELPL" MaryEra = ShelleyDelplPredFailure MaryEra
type EraRuleFailure "LEDGER" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger type EraRuleFailure "LEDGER" MaryEra = ShelleyLedgerPredFailure MaryEra
type EraRuleFailure "LEDGERS" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledgers type EraRuleFailure "LEDGERS" MaryEra = ShelleyLedgersPredFailure MaryEra
type EraRuleFailure "POOL" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Rules.Pool type EraRuleFailure "POOL" MaryEra = ShelleyPoolPredFailure MaryEra
type EraRuleFailure "PPUP" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Rules.Ppup type EraRuleFailure "PPUP" MaryEra = ShelleyPpupPredFailure MaryEra
type EraRuleFailure "UTXO" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Rules.Utxo type EraRuleFailure "UTXO" MaryEra = AllegraUtxoPredFailure MaryEra
type EraRuleFailure "UTXOW" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Rules.Utxow type EraRuleFailure "UTXOW" MaryEra = ShelleyUtxowPredFailure MaryEra
type DowngradePParams f MaryEra
Instance details Defined in Cardano.Ledger.Mary.PParams type DowngradePParams f MaryEra = ()
type PParamsHKD f MaryEra
Instance details Defined in Cardano.Ledger.Mary.PParams type PParamsHKD f MaryEra = ShelleyPParams f MaryEra
type UpgradePParams f MaryEra
Instance details Defined in Cardano.Ledger.Mary.PParams type UpgradePParams f MaryEra = ()
type TranslationError MaryEra Timelock
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra Timelock = Void
type TranslationError MaryEra AllegraTxAuxData
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra AllegraTxAuxData = Void
type TranslationError MaryEra CertState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra CertState = Void
type TranslationError MaryEra CommitteeState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra CommitteeState = Void
type TranslationError MaryEra DState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra DState = Void
type TranslationError MaryEra PState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra PState = Void
type TranslationError MaryEra VState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra VState = Void
type TranslationError MaryEra PParams
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra PParams = Void
type TranslationError MaryEra PParamsUpdate
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra PParamsUpdate = Void
type TranslationError MaryEra UTxO
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra UTxO = Void
type TranslationError MaryEra FuturePParams
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra FuturePParams = Void
type TranslationError MaryEra ShelleyGovState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyGovState = Void
type TranslationError MaryEra EpochState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra EpochState = Void
type TranslationError MaryEra LedgerState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra LedgerState = Void
type TranslationError MaryEra NewEpochState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra NewEpochState = Void
type TranslationError MaryEra UTxOState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra UTxOState = Void
type TranslationError MaryEra ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ProposedPPUpdates = Void
type TranslationError MaryEra Update
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra Update = Void
type TranslationError MaryEra ShelleyTx
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyTx = DecoderError
type TranslationError MaryEra ShelleyTxOut
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyTxOut = Void
type TranslationError MaryEra ShelleyTxWits
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyTxWits = DecoderError

data AlonzoEra Source #

The Alonzo era

Instances

Instances details

AlonzoEraPParams AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods hkdCoinsPerUTxOWordL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ExactEra AlonzoEra AlonzoEra) ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f CoinPerWord) Source # hkdCostModelsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f CostModels) Source # hkdPricesL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Prices) Source # hkdMaxTxExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f ExUnits) Source # hkdMaxBlockExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f ExUnits) Source # hkdMaxValSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Natural) Source # hkdCollateralPercentageL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Natural) Source # hkdMaxCollateralInputsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Natural) Source #
AlonzoEraScript AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Associated Types data PlutusScript AlonzoEra Source # type PlutusPurpose f AlonzoEra = (r ∷ Type) Source # Methods eraMaxLanguage ∷ Language Source # toPlutusScript ∷ Script AlonzoEra → Maybe (PlutusScript AlonzoEra) Source # fromPlutusScript ∷ PlutusScript AlonzoEra → Script AlonzoEra Source # mkPlutusScript ∷ ∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → Maybe (PlutusScript AlonzoEra) Source # withPlutusScript ∷ PlutusScript AlonzoEra → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → a Source # hoistPlutusPurpose ∷ (∀ ix it. g ix it → f ix it) → PlutusPurpose g AlonzoEra → PlutusPurpose f AlonzoEra Source # mkSpendingPurpose ∷ f Word32 TxIn → PlutusPurpose f AlonzoEra Source # toSpendingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 TxIn) Source # mkMintingPurpose ∷ f Word32 PolicyID → PlutusPurpose f AlonzoEra Source # toMintingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 PolicyID) Source # mkCertifyingPurpose ∷ f Word32 (TxCert AlonzoEra) → PlutusPurpose f AlonzoEra Source # toCertifyingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 (TxCert AlonzoEra)) Source # mkRewardingPurpose ∷ f Word32 RewardAccount → PlutusPurpose f AlonzoEra Source # toRewardingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 RewardAccount) Source # upgradePlutusPurposeAsIx ∷ PlutusPurpose AsIx (PreviousEra AlonzoEra) → PlutusPurpose AsIx AlonzoEra Source #
AlonzoEraTx AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods isValidTxL ∷ Lens' (Tx AlonzoEra) IsValid Source #
AlonzoEraTxAuxData AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData AlonzoEra) (Map Language (NonEmpty PlutusBinary)) Source #
AlonzoEraTxBody AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods collateralInputsTxBodyL ∷ Lens' (TxBody AlonzoEra) (Set TxIn) Source # reqSignerHashesTxBodyL ∷ Lens' (TxBody AlonzoEra) (Set (KeyHash 'Witness)) Source # scriptIntegrityHashTxBodyL ∷ Lens' (TxBody AlonzoEra) (StrictMaybe ScriptIntegrityHash) Source # networkIdTxBodyL ∷ Lens' (TxBody AlonzoEra) (StrictMaybe Network) Source # redeemerPointer ∷ TxBody AlonzoEra → PlutusPurpose AsItem AlonzoEra → StrictMaybe (PlutusPurpose AsIx AlonzoEra) Source # redeemerPointerInverse ∷ TxBody AlonzoEra → PlutusPurpose AsIx AlonzoEra → StrictMaybe (PlutusPurpose AsIxItem AlonzoEra) Source #
AlonzoEraTxOut AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods dataHashTxOutL ∷ Lens' (TxOut AlonzoEra) (StrictMaybe DataHash) Source # datumTxOutF ∷ SimpleGetter (TxOut AlonzoEra) (Datum AlonzoEra) Source #
EraScript AlonzoEra ⇒ AlonzoEraTxWits AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods datsTxWitsL ∷ Lens' (TxWits AlonzoEra) (TxDats AlonzoEra) Source # rdmrsTxWitsL ∷ Lens' (TxWits AlonzoEra) (Redeemers AlonzoEra) Source #
AlonzoEraUTxO AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.UTxO Methods getSupplementalDataHashes ∷ UTxO AlonzoEra → TxBody AlonzoEra → Set DataHash Source # getSpendingDatum ∷ UTxO AlonzoEra → Tx AlonzoEra → PlutusPurpose AsItem AlonzoEra → Maybe (Data AlonzoEra) Source #
Era AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era Associated Types type PreviousEra AlonzoEra = (r ∷ Type) Source # type ProtVerLow AlonzoEra ∷ Nat Source # type ProtVerHigh AlonzoEra ∷ Nat Source # Methods eraName ∷ String Source #
EraSpecDeleg AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy AlonzoEra → Bool Source #
EraSpecPParams AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams Methods subsetToPP ∷ SimplePParams AlonzoEra → PParams AlonzoEra Source # ppToSubset ∷ PParams AlonzoEra → SimplePParams AlonzoEra Source # updateToPPU ∷ SimplePPUpdate → PParamsUpdate AlonzoEra Source # ppuToUpdate ∷ PParamsUpdate AlonzoEra → SimplePPUpdate Source #
EraUniverse AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods eraWitUniv ∷ Int → WitUniv AlonzoEra Source #
GenScript AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods genScript ∷ Gen (Script AlonzoEra) Source #
Reflect AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Proof Methods reify ∷ Proof AlonzoEra Source # lift ∷ (Proof AlonzoEra → a) → a Source #
HasTokens AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods forge ∷ Integer → Script AlonzoEra → MultiAsset Source #
PostShelley AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods before ∷ Int → Proof AlonzoEra → NativeScript AlonzoEra Source # after ∷ Int → Proof AlonzoEra → NativeScript AlonzoEra Source #
Scriptic AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods always ∷ Natural → Proof AlonzoEra → Script AlonzoEra Source # alwaysAlt ∷ Natural → Proof AlonzoEra → Script AlonzoEra Source # never ∷ Natural → Proof AlonzoEra → Script AlonzoEra Source # require ∷ KeyHash 'Witness → Proof AlonzoEra → NativeScript AlonzoEra Source # allOf ∷ [Proof AlonzoEra → NativeScript AlonzoEra] → Proof AlonzoEra → NativeScript AlonzoEra Source # anyOf ∷ [Proof AlonzoEra → NativeScript AlonzoEra] → Proof AlonzoEra → NativeScript AlonzoEra Source # mOf ∷ Int → [Proof AlonzoEra → NativeScript AlonzoEra] → Proof AlonzoEra → NativeScript AlonzoEra Source #
GetLedgerView AlonzoEra
Instance details Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView ∷ NewEpochState AlonzoEra → LedgerView Source # futureLedgerView ∷ MonadError (FutureLedgerViewError AlonzoEra) m ⇒ Globals → NewEpochState AlonzoEra → SlotNo → m LedgerView Source #
TranslateEra AlonzoEra Tx
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError AlonzoEra Tx Source # Methods translateEra ∷ TranslationContext AlonzoEra → Tx (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra Tx) (Tx AlonzoEra) Source #
IsConwayUniv fn ⇒ EraSpecCert AlonzoEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Cert Methods txCertSpec ∷ WitUniv AlonzoEra → CertEnv AlonzoEra → CertState AlonzoEra → Specification fn (TxCert AlonzoEra) Source # txCertKey ∷ TxCert AlonzoEra → CertKey Source #
IsConwayUniv fn ⇒ EraSpecLedger AlonzoEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs Methods govStateSpec ∷ PParams AlonzoEra → Specification fn (GovState AlonzoEra) Source # newEpochStateSpec ∷ PParams AlonzoEra → WitUniv AlonzoEra → Specification fn (NewEpochState AlonzoEra) Source #
IsConwayUniv fn ⇒ EraSpecTxOut AlonzoEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.ParametricSpec Methods irewardSpec ∷ WitUniv AlonzoEra → Term fn AccountState → Specification fn InstantaneousRewards Source # hasPtrs ∷ proxy AlonzoEra → Term fn Bool Source # txOutValue_ ∷ Term fn (TxOut AlonzoEra) → Term fn (Value AlonzoEra) Source # txOutCoin_ ∷ Term fn (TxOut AlonzoEra) → Term fn Coin Source # txOutAddr_ ∷ Term fn (TxOut AlonzoEra) → Term fn Addr Source #
IsConwayUniv fn ⇒ EraSpecTxCert fn AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witTxCert ∷ WitUniv AlonzoEra → Specification fn (TxCert AlonzoEra) Source #
InjectRuleFailure "BBODY" AlonzoBbodyPredFailure AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ AlonzoBbodyPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #
InjectRuleFailure "UTXO" AlonzoUtxoPredFailure AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo Methods injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "UTXO" AlonzoEra Source #
InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos Methods injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "UTXOS" AlonzoEra Source #
InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow Methods injectFailure ∷ AlonzoUtxowPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #
Generic (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Associated Types type Rep (PlutusScript AlonzoEra) ∷ Type → Type Source # Methods from ∷ PlutusScript AlonzoEra → Rep (PlutusScript AlonzoEra) x Source # to ∷ Rep (PlutusScript AlonzoEra) x → PlutusScript AlonzoEra Source #
Show (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods showsPrec ∷ Int → PlutusScript AlonzoEra → ShowS Source # show ∷ PlutusScript AlonzoEra → String Source # showList ∷ [PlutusScript AlonzoEra] → ShowS Source #
SafeToHash (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods originalBytes ∷ PlutusScript AlonzoEra → ByteString Source # originalBytesSize ∷ PlutusScript AlonzoEra → Int Source # makeHashWithExplicitProxys ∷ Proxy i → PlutusScript AlonzoEra → SafeHash i Source #
Terse (PParamsUpdate AlonzoEra) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Same Methods terse ∷ PParamsUpdate AlonzoEra → String Source #
NFData (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods rnf ∷ PlutusScript AlonzoEra → () Source #
Eq (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods (==) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool Source # (/=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool Source #
Ord (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods compare ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Ordering Source # (<) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool Source # (<=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool Source # (>) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool Source # (>=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool Source # max ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra Source # min ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra Source #
NoThunks (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods noThunks ∷ Context → PlutusScript AlonzoEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PlutusScript AlonzoEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PlutusScript AlonzoEra) → String Source #
ToJSON (AlonzoPParams Identity AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods toJSON ∷ AlonzoPParams Identity AlonzoEra → Value Source # toEncoding ∷ AlonzoPParams Identity AlonzoEra → Encoding Source # toJSONList ∷ [AlonzoPParams Identity AlonzoEra] → Value Source # toEncodingList ∷ [AlonzoPParams Identity AlonzoEra] → Encoding Source # omitField ∷ AlonzoPParams Identity AlonzoEra → Bool Source #
ToJSON (AlonzoPParams StrictMaybe AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods toJSON ∷ AlonzoPParams StrictMaybe AlonzoEra → Value Source # toEncoding ∷ AlonzoPParams StrictMaybe AlonzoEra → Encoding Source # toJSONList ∷ [AlonzoPParams StrictMaybe AlonzoEra] → Value Source # toEncodingList ∷ [AlonzoPParams StrictMaybe AlonzoEra] → Encoding Source # omitField ∷ AlonzoPParams StrictMaybe AlonzoEra → Bool Source #
type ContextError AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo type ContextError AlonzoEra = AlonzoContextError AlonzoEra
newtype PlutusScript AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts newtype PlutusScript AlonzoEra = AlonzoPlutusV1 (Plutus 'PlutusV1)
type NativeScript AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type NativeScript AlonzoEra = Timelock AlonzoEra
type Script AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Script AlonzoEra = AlonzoScript AlonzoEra
type Tx AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Tx type Tx AlonzoEra = AlonzoTx AlonzoEra
type TxAuxData AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type TxAuxData AlonzoEra = AlonzoTxAuxData AlonzoEra
type TxBody AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal type TxBody AlonzoEra = AlonzoTxBody AlonzoEra
type TxBodyUpgradeError AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal type TxBodyUpgradeError AlonzoEra = AlonzoTxBodyUpgradeError
type TxOut AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxOut type TxOut AlonzoEra = AlonzoTxOut AlonzoEra
type TxSeq AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxSeq.Internal type TxSeq AlonzoEra = AlonzoTxSeq AlonzoEra
type TxUpgradeError AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Tx type TxUpgradeError AlonzoEra = AlonzoTxUpgradeError
type TxWits AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type TxWits AlonzoEra = AlonzoTxWits AlonzoEra
type Value AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type Value AlonzoEra = MaryValue
type PreviousEra AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type PreviousEra AlonzoEra = MaryEra
type ProtVerHigh AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type ProtVerHigh AlonzoEra = 6
type ProtVerLow AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type ProtVerLow AlonzoEra = 5
type TranslationContext AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationContext AlonzoEra = AlonzoGenesis
type TxCert AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxCert type TxCert AlonzoEra = ShelleyTxCert AlonzoEra
type TxCertUpgradeError AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxCert type TxCertUpgradeError AlonzoEra = Void
type Genesis AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Genesis type Genesis AlonzoEra = AlonzoGenesis
type ScriptsNeeded AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.UTxO type ScriptsNeeded AlonzoEra = AlonzoScriptsNeeded AlonzoEra
type GovState AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.PParams type GovState AlonzoEra = ShelleyGovState AlonzoEra
data TransitionConfig AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Transition data TransitionConfig AlonzoEra = AlonzoTransitionConfig { atcAlonzoGenesis ∷ !AlonzoGenesis atcMaryTransitionConfig ∷ !(TransitionConfig MaryEra) }
type PlutusPurpose f AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type PlutusPurpose f AlonzoEra = AlonzoPlutusPurpose f AlonzoEra
type EraRule "BBODY" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "BBODY" AlonzoEra = AlonzoBBODY AlonzoEra
type EraRule "DELEG" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "DELEG" AlonzoEra = ShelleyDELEG AlonzoEra
type EraRule "DELEGS" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "DELEGS" AlonzoEra = ShelleyDELEGS AlonzoEra
type EraRule "DELPL" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "DELPL" AlonzoEra = ShelleyDELPL AlonzoEra
type EraRule "EPOCH" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "EPOCH" AlonzoEra = ShelleyEPOCH AlonzoEra
type EraRule "LEDGER" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "LEDGER" AlonzoEra = AlonzoLEDGER AlonzoEra
type EraRule "LEDGERS" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "LEDGERS" AlonzoEra = ShelleyLEDGERS AlonzoEra
type EraRule "MIR" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "MIR" AlonzoEra = ShelleyMIR AlonzoEra
type EraRule "NEWEPOCH" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "NEWEPOCH" AlonzoEra = ShelleyNEWEPOCH AlonzoEra
type EraRule "NEWPP" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "NEWPP" AlonzoEra = ShelleyNEWPP AlonzoEra
type EraRule "POOL" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "POOL" AlonzoEra = ShelleyPOOL AlonzoEra
type EraRule "POOLREAP" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "POOLREAP" AlonzoEra = ShelleyPOOLREAP AlonzoEra
type EraRule "PPUP" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "PPUP" AlonzoEra = ShelleyPPUP AlonzoEra
type EraRule "RUPD" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "RUPD" AlonzoEra = ShelleyRUPD AlonzoEra
type EraRule "SNAP" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "SNAP" AlonzoEra = ShelleySNAP AlonzoEra
type EraRule "TICK" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "TICK" AlonzoEra = ShelleyTICK AlonzoEra
type EraRule "TICKF" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "TICKF" AlonzoEra = ShelleyTICKF AlonzoEra
type EraRule "UPEC" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "UPEC" AlonzoEra = ShelleyUPEC AlonzoEra
type EraRule "UTXO" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "UTXO" AlonzoEra = AlonzoUTXO AlonzoEra
type EraRule "UTXOS" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "UTXOS" AlonzoEra = AlonzoUTXOS AlonzoEra
type EraRule "UTXOW" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "UTXOW" AlonzoEra = AlonzoUTXOW AlonzoEra
type EraRuleEvent "LEDGER" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules type EraRuleEvent "LEDGER" AlonzoEra = ShelleyLedgerEvent AlonzoEra
type EraRuleEvent "PPUP" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ppup type EraRuleEvent "PPUP" AlonzoEra = PpupEvent AlonzoEra
type EraRuleEvent "TICK" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules type EraRuleEvent "TICK" AlonzoEra = ShelleyTickEvent AlonzoEra
type EraRuleFailure "BBODY" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type EraRuleFailure "BBODY" AlonzoEra = AlonzoBbodyPredFailure AlonzoEra
type EraRuleFailure "DELEG" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Deleg type EraRuleFailure "DELEG" AlonzoEra = ShelleyDelegPredFailure AlonzoEra
type EraRuleFailure "DELEGS" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Delegs type EraRuleFailure "DELEGS" AlonzoEra = ShelleyDelegsPredFailure AlonzoEra
type EraRuleFailure "DELPL" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Delpl type EraRuleFailure "DELPL" AlonzoEra = ShelleyDelplPredFailure AlonzoEra
type EraRuleFailure "LEDGER" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type EraRuleFailure "LEDGER" AlonzoEra = ShelleyLedgerPredFailure AlonzoEra
type EraRuleFailure "LEDGERS" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers type EraRuleFailure "LEDGERS" AlonzoEra = ShelleyLedgersPredFailure AlonzoEra
type EraRuleFailure "POOL" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Pool type EraRuleFailure "POOL" AlonzoEra = ShelleyPoolPredFailure AlonzoEra
type EraRuleFailure "PPUP" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ppup type EraRuleFailure "PPUP" AlonzoEra = ShelleyPpupPredFailure AlonzoEra
type EraRuleFailure "UTXO" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type EraRuleFailure "UTXO" AlonzoEra = AlonzoUtxoPredFailure AlonzoEra
type EraRuleFailure "UTXOS" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type EraRuleFailure "UTXOS" AlonzoEra = AlonzoUtxosPredFailure AlonzoEra
type EraRuleFailure "UTXOW" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type EraRuleFailure "UTXOW" AlonzoEra = AlonzoUtxowPredFailure AlonzoEra
type DowngradePParams f AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.PParams type DowngradePParams f AlonzoEra = DowngradeAlonzoPParams f
type PParamsHKD f AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.PParams type PParamsHKD f AlonzoEra = AlonzoPParams f AlonzoEra
type UpgradePParams f AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.PParams type UpgradePParams f AlonzoEra = UpgradeAlonzoPParams f
type TranslationError AlonzoEra Tx
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra Tx = DecoderError
type TranslationError AlonzoEra CertState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra CertState = Void
type TranslationError AlonzoEra CommitteeState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra CommitteeState = Void
type TranslationError AlonzoEra DState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra DState = Void
type TranslationError AlonzoEra PState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra PState = Void
type TranslationError AlonzoEra VState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra VState = Void
type TranslationError AlonzoEra PParams
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra PParams = Void
type TranslationError AlonzoEra UTxO
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra UTxO = Void
type TranslationError AlonzoEra FuturePParams
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra FuturePParams = Void
type TranslationError AlonzoEra ShelleyGovState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ShelleyGovState = Void
type TranslationError AlonzoEra EpochState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra EpochState = Void
type TranslationError AlonzoEra LedgerState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra LedgerState = Void
type TranslationError AlonzoEra NewEpochState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra NewEpochState = Void
type TranslationError AlonzoEra UTxOState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra UTxOState = Void
type TranslationError AlonzoEra ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ProposedPPUpdates = Void
type Rep (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)
type Rep (TransitionConfig AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Transition type Rep (TransitionConfig AlonzoEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Alonzo.Transition" "cardano-ledger-alonzo-1.13.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "atcAlonzoGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AlonzoGenesis) :*: S1 ('MetaSel ('Just "atcMaryTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig MaryEra))))

data BabbageEra Source #

The Babbage era

Instances

Instances details

BabbageEraPParams BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f CoinPerByte) Source #
BabbageEraTxBody BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods sizedOutputsTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictSeq (Sized (TxOut BabbageEra))) Source # referenceInputsTxBodyL ∷ Lens' (TxBody BabbageEra) (Set TxIn) Source # totalCollateralTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictMaybe Coin) Source # collateralReturnTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictMaybe (TxOut BabbageEra)) Source # sizedCollateralReturnTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictMaybe (Sized (TxOut BabbageEra))) Source # allSizedOutputsTxBodyF ∷ SimpleGetter (TxBody BabbageEra) (StrictSeq (Sized (TxOut BabbageEra))) Source #
BabbageEraTxOut BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods referenceScriptTxOutL ∷ Lens' (TxOut BabbageEra) (StrictMaybe (Script BabbageEra)) Source # dataTxOutL ∷ Lens' (TxOut BabbageEra) (StrictMaybe (Data BabbageEra)) Source # datumTxOutL ∷ Lens' (TxOut BabbageEra) (Datum BabbageEra) Source #
Era BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era Associated Types type PreviousEra BabbageEra = (r ∷ Type) Source # type ProtVerLow BabbageEra ∷ Nat Source # type ProtVerHigh BabbageEra ∷ Nat Source # Methods eraName ∷ String Source #
EraGenesis BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era Associated Types type Genesis BabbageEra Source #
EraSpecDeleg BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy BabbageEra → Bool Source #
EraSpecPParams BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams Methods subsetToPP ∷ SimplePParams BabbageEra → PParams BabbageEra Source # ppToSubset ∷ PParams BabbageEra → SimplePParams BabbageEra Source # updateToPPU ∷ SimplePPUpdate → PParamsUpdate BabbageEra Source # ppuToUpdate ∷ PParamsUpdate BabbageEra → SimplePPUpdate Source #
EraUniverse BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods eraWitUniv ∷ Int → WitUniv BabbageEra Source #
GenScript BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods genScript ∷ Gen (Script BabbageEra) Source #
Reflect BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Proof Methods reify ∷ Proof BabbageEra Source # lift ∷ (Proof BabbageEra → a) → a Source #
HasTokens BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods forge ∷ Integer → Script BabbageEra → MultiAsset Source #
PostShelley BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods before ∷ Int → Proof BabbageEra → NativeScript BabbageEra Source # after ∷ Int → Proof BabbageEra → NativeScript BabbageEra Source #
Scriptic BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods always ∷ Natural → Proof BabbageEra → Script BabbageEra Source # alwaysAlt ∷ Natural → Proof BabbageEra → Script BabbageEra Source # never ∷ Natural → Proof BabbageEra → Script BabbageEra Source # require ∷ KeyHash 'Witness → Proof BabbageEra → NativeScript BabbageEra Source # allOf ∷ [Proof BabbageEra → NativeScript BabbageEra] → Proof BabbageEra → NativeScript BabbageEra Source # anyOf ∷ [Proof BabbageEra → NativeScript BabbageEra] → Proof BabbageEra → NativeScript BabbageEra Source # mOf ∷ Int → [Proof BabbageEra → NativeScript BabbageEra] → Proof BabbageEra → NativeScript BabbageEra Source #
GetLedgerView BabbageEra
Instance details Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView ∷ NewEpochState BabbageEra → LedgerView Source # futureLedgerView ∷ MonadError (FutureLedgerViewError BabbageEra) m ⇒ Globals → NewEpochState BabbageEra → SlotNo → m LedgerView Source #
TranslateEra BabbageEra Tx
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError BabbageEra Tx Source # Methods translateEra ∷ TranslationContext BabbageEra → Tx (PreviousEra BabbageEra) → Except (TranslationError BabbageEra Tx) (Tx BabbageEra) Source #
IsConwayUniv fn ⇒ EraSpecCert BabbageEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Cert Methods txCertSpec ∷ WitUniv BabbageEra → CertEnv BabbageEra → CertState BabbageEra → Specification fn (TxCert BabbageEra) Source # txCertKey ∷ TxCert BabbageEra → CertKey Source #
IsConwayUniv fn ⇒ EraSpecLedger BabbageEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs Methods govStateSpec ∷ PParams BabbageEra → Specification fn (GovState BabbageEra) Source # newEpochStateSpec ∷ PParams BabbageEra → WitUniv BabbageEra → Specification fn (NewEpochState BabbageEra) Source #
IsConwayUniv fn ⇒ EraSpecTxOut BabbageEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.ParametricSpec Methods irewardSpec ∷ WitUniv BabbageEra → Term fn AccountState → Specification fn InstantaneousRewards Source # hasPtrs ∷ proxy BabbageEra → Term fn Bool Source # txOutValue_ ∷ Term fn (TxOut BabbageEra) → Term fn (Value BabbageEra) Source # txOutCoin_ ∷ Term fn (TxOut BabbageEra) → Term fn Coin Source # txOutAddr_ ∷ Term fn (TxOut BabbageEra) → Term fn Addr Source #
IsConwayUniv fn ⇒ EraSpecTxCert fn BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witTxCert ∷ WitUniv BabbageEra → Specification fn (TxCert BabbageEra) Source #
InjectRuleFailure "UTXO" BabbageUtxoPredFailure BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo Methods injectFailure ∷ BabbageUtxoPredFailure BabbageEra → EraRuleFailure "UTXO" BabbageEra Source #
InjectRuleFailure "UTXOW" BabbageUtxowPredFailure BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods injectFailure ∷ BabbageUtxowPredFailure BabbageEra → EraRuleFailure "UTXOW" BabbageEra Source #
Terse (PParamsUpdate BabbageEra) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Same Methods terse ∷ PParamsUpdate BabbageEra → String Source #
type ContextError BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxInfo type ContextError BabbageEra = BabbageContextError BabbageEra
data PlutusScript BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Scripts data PlutusScript BabbageEra = BabbagePlutusV1 !(Plutus 'PlutusV1) \| BabbagePlutusV2 !(Plutus 'PlutusV2)
type NativeScript BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Scripts type NativeScript BabbageEra = Timelock BabbageEra
type Script BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Scripts type Script BabbageEra = AlonzoScript BabbageEra
type Tx BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Tx type Tx BabbageEra = AlonzoTx BabbageEra
type TxAuxData BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxAuxData type TxAuxData BabbageEra = AlonzoTxAuxData BabbageEra
type TxBody BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal type TxBody BabbageEra = BabbageTxBody BabbageEra
type TxBodyUpgradeError BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal type TxBodyUpgradeError BabbageEra = BabbageTxBodyUpgradeError
type TxOut BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxOut type TxOut BabbageEra = BabbageTxOut BabbageEra
type TxSeq BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Tx type TxSeq BabbageEra = AlonzoTxSeq BabbageEra
type TxUpgradeError BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Tx type TxUpgradeError BabbageEra = BabbageTxUpgradeError
type TxWits BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxWits type TxWits BabbageEra = AlonzoTxWits BabbageEra
type Value BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type Value BabbageEra = MaryValue
type PreviousEra BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type PreviousEra BabbageEra = AlonzoEra
type ProtVerHigh BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type ProtVerHigh BabbageEra = 8
type ProtVerLow BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type ProtVerLow BabbageEra = 7
type TranslationContext BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type TranslationContext BabbageEra = NoGenesis BabbageEra
type TxCert BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxCert type TxCert BabbageEra = ShelleyTxCert BabbageEra
type TxCertUpgradeError BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxCert type TxCertUpgradeError BabbageEra = Void
type Genesis BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type Genesis BabbageEra = NoGenesis BabbageEra
type ScriptsNeeded BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.UTxO type ScriptsNeeded BabbageEra = AlonzoScriptsNeeded BabbageEra
type GovState BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.PParams type GovState BabbageEra = ShelleyGovState BabbageEra
newtype TransitionConfig BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Transition newtype TransitionConfig BabbageEra = BabbageTransitionConfig { btcAlonzoTransitionConfig ∷ TransitionConfig AlonzoEra }
type PlutusPurpose f BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Scripts type PlutusPurpose f BabbageEra = AlonzoPlutusPurpose f BabbageEra
type EraRule "BBODY" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "BBODY" BabbageEra = AlonzoBBODY BabbageEra
type EraRule "DELEG" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "DELEG" BabbageEra = ShelleyDELEG BabbageEra
type EraRule "DELEGS" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "DELEGS" BabbageEra = ShelleyDELEGS BabbageEra
type EraRule "DELPL" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "DELPL" BabbageEra = ShelleyDELPL BabbageEra
type EraRule "EPOCH" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "EPOCH" BabbageEra = ShelleyEPOCH BabbageEra
type EraRule "LEDGER" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "LEDGER" BabbageEra = BabbageLEDGER BabbageEra
type EraRule "LEDGERS" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "LEDGERS" BabbageEra = ShelleyLEDGERS BabbageEra
type EraRule "MIR" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "MIR" BabbageEra = ShelleyMIR BabbageEra
type EraRule "NEWEPOCH" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "NEWEPOCH" BabbageEra = ShelleyNEWEPOCH BabbageEra
type EraRule "NEWPP" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "NEWPP" BabbageEra = ShelleyNEWPP BabbageEra
type EraRule "POOL" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "POOL" BabbageEra = ShelleyPOOL BabbageEra
type EraRule "POOLREAP" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "POOLREAP" BabbageEra = ShelleyPOOLREAP BabbageEra
type EraRule "PPUP" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "PPUP" BabbageEra = ShelleyPPUP BabbageEra
type EraRule "RUPD" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "RUPD" BabbageEra = ShelleyRUPD BabbageEra
type EraRule "SNAP" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "SNAP" BabbageEra = ShelleySNAP BabbageEra
type EraRule "TICK" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "TICK" BabbageEra = ShelleyTICK BabbageEra
type EraRule "TICKF" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "TICKF" BabbageEra = ShelleyTICKF BabbageEra
type EraRule "UPEC" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "UPEC" BabbageEra = ShelleyUPEC BabbageEra
type EraRule "UTXO" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "UTXO" BabbageEra = BabbageUTXO BabbageEra
type EraRule "UTXOS" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "UTXOS" BabbageEra = BabbageUTXOS BabbageEra
type EraRule "UTXOW" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "UTXOW" BabbageEra = BabbageUTXOW BabbageEra
type EraRuleEvent "LEDGER" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules type EraRuleEvent "LEDGER" BabbageEra = ShelleyLedgerEvent BabbageEra
type EraRuleEvent "PPUP" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules type EraRuleEvent "PPUP" BabbageEra = PpupEvent BabbageEra
type EraRuleEvent "TICK" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules type EraRuleEvent "TICK" BabbageEra = ShelleyTickEvent BabbageEra
type EraRuleEvent "UTXOS" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type EraRuleEvent "UTXOS" BabbageEra = AlonzoUtxosEvent BabbageEra
type EraRuleFailure "BBODY" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody type EraRuleFailure "BBODY" BabbageEra = AlonzoBbodyPredFailure BabbageEra
type EraRuleFailure "DELEG" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Deleg type EraRuleFailure "DELEG" BabbageEra = ShelleyDelegPredFailure BabbageEra
type EraRuleFailure "DELEGS" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Delegs type EraRuleFailure "DELEGS" BabbageEra = ShelleyDelegsPredFailure BabbageEra
type EraRuleFailure "DELPL" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Delpl type EraRuleFailure "DELPL" BabbageEra = ShelleyDelplPredFailure BabbageEra
type EraRuleFailure "LEDGER" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type EraRuleFailure "LEDGER" BabbageEra = ShelleyLedgerPredFailure BabbageEra
type EraRuleFailure "LEDGERS" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers type EraRuleFailure "LEDGERS" BabbageEra = ShelleyLedgersPredFailure BabbageEra
type EraRuleFailure "POOL" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Pool type EraRuleFailure "POOL" BabbageEra = ShelleyPoolPredFailure BabbageEra
type EraRuleFailure "PPUP" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ppup type EraRuleFailure "PPUP" BabbageEra = ShelleyPpupPredFailure BabbageEra
type EraRuleFailure "UTXO" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type EraRuleFailure "UTXO" BabbageEra = BabbageUtxoPredFailure BabbageEra
type EraRuleFailure "UTXOS" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type EraRuleFailure "UTXOS" BabbageEra = AlonzoUtxosPredFailure BabbageEra
type EraRuleFailure "UTXOW" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type EraRuleFailure "UTXOW" BabbageEra = BabbageUtxowPredFailure BabbageEra
type DowngradePParams f BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.PParams type DowngradePParams f BabbageEra = DowngradeBabbagePParams f
type PParamsHKD f BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.PParams type PParamsHKD f BabbageEra = BabbagePParams f BabbageEra
type UpgradePParams f BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.PParams type UpgradePParams f BabbageEra = ()
type TranslationError BabbageEra Tx
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra Tx = DecoderError
type TranslationError BabbageEra CertState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra CertState = Void
type TranslationError BabbageEra CommitteeState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra CommitteeState = Void
type TranslationError BabbageEra DState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra DState = Void
type TranslationError BabbageEra PState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra PState = Void
type TranslationError BabbageEra VState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra VState = Void
type TranslationError BabbageEra PParams
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra PParams = Void
type TranslationError BabbageEra UTxO
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra UTxO = Void
type TranslationError BabbageEra FuturePParams
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra FuturePParams = Void
type TranslationError BabbageEra ShelleyGovState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra ShelleyGovState = Void
type TranslationError BabbageEra EpochState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra EpochState = Void
type TranslationError BabbageEra LedgerState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra LedgerState = Void
type TranslationError BabbageEra NewEpochState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra NewEpochState = Void
type TranslationError BabbageEra UTxOState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra UTxOState = Void
type TranslationError BabbageEra ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra ProposedPPUpdates = Void
type Rep (PlutusScript BabbageEra)
Instance details Defined in Cardano.Ledger.Babbage.Scripts type Rep (PlutusScript BabbageEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Babbage.Scripts" "cardano-ledger-babbage-1.11.0.0-inplace" 'False) (C1 ('MetaCons "BabbagePlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "BabbagePlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))))

data ConwayEra Source #

The Conway era

Instances

Instances details

ConwayEraGov ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Governance Methods constitutionGovStateL ∷ Lens' (GovState ConwayEra) (Constitution ConwayEra) Source # proposalsGovStateL ∷ Lens' (GovState ConwayEra) (Proposals ConwayEra) Source # drepPulsingStateGovStateL ∷ Lens' (GovState ConwayEra) (DRepPulsingState ConwayEra) Source # committeeGovStateL ∷ Lens' (GovState ConwayEra) (StrictMaybe (Committee ConwayEra)) Source #
ConwayEraPParams ConwayEra
Instance details Defined in Cardano.Ledger.Conway.PParams Methods modifiedPPGroups ∷ PParamsUpdate ConwayEra → Set PPGroups Source # ppuWellFormed ∷ ProtVer → PParamsUpdate ConwayEra → Bool Source # hkdPoolVotingThresholdsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f PoolVotingThresholds) Source # hkdDRepVotingThresholdsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f DRepVotingThresholds) Source # hkdCommitteeMinSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f Natural) Source # hkdCommitteeMaxTermLengthL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f EpochInterval) Source # hkdGovActionLifetimeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f EpochInterval) Source # hkdGovActionDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f Coin) Source # hkdDRepDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f Coin) Source # hkdDRepActivityL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f EpochInterval) Source # hkdMinFeeRefScriptCostPerByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f NonNegativeInterval) Source #
ConwayEraScript ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Scripts Methods mkVotingPurpose ∷ f Word32 Voter → PlutusPurpose f ConwayEra Source # toVotingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 Voter) Source # mkProposingPurpose ∷ f Word32 (ProposalProcedure ConwayEra) → PlutusPurpose f ConwayEra Source # toProposingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 (ProposalProcedure ConwayEra)) Source #
ConwayEraTransition ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Transition Methods tcDelegsL ∷ Lens' (TransitionConfig ConwayEra) (ListMap (Credential 'Staking) Delegatee) Source # tcInitialDRepsL ∷ Lens' (TransitionConfig ConwayEra) (ListMap (Credential 'DRepRole) DRepState) Source # tcConwayGenesisL ∷ Lens' (TransitionConfig ConwayEra) ConwayGenesis Source #
ConwayEraTxBody ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal Methods currentTreasuryValueTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictMaybe Coin) Source # votingProceduresTxBodyL ∷ Lens' (TxBody ConwayEra) (VotingProcedures ConwayEra) Source # proposalProceduresTxBodyL ∷ Lens' (TxBody ConwayEra) (OSet (ProposalProcedure ConwayEra)) Source # treasuryDonationTxBodyL ∷ Lens' (TxBody ConwayEra) Coin Source #
ConwayEraTxCert ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods mkRegDepositTxCert ∷ StakeCredential → Coin → TxCert ConwayEra Source # getRegDepositTxCert ∷ TxCert ConwayEra → Maybe (StakeCredential, Coin) Source # mkUnRegDepositTxCert ∷ StakeCredential → Coin → TxCert ConwayEra Source # getUnRegDepositTxCert ∷ TxCert ConwayEra → Maybe (StakeCredential, Coin) Source # mkDelegTxCert ∷ StakeCredential → Delegatee → TxCert ConwayEra Source # getDelegTxCert ∷ TxCert ConwayEra → Maybe (StakeCredential, Delegatee) Source # mkRegDepositDelegTxCert ∷ StakeCredential → Delegatee → Coin → TxCert ConwayEra Source # getRegDepositDelegTxCert ∷ TxCert ConwayEra → Maybe (StakeCredential, Delegatee, Coin) Source # mkAuthCommitteeHotKeyTxCert ∷ Credential 'ColdCommitteeRole → Credential 'HotCommitteeRole → TxCert ConwayEra Source # getAuthCommitteeHotKeyTxCert ∷ TxCert ConwayEra → Maybe (Credential 'ColdCommitteeRole, Credential 'HotCommitteeRole) Source # mkResignCommitteeColdTxCert ∷ Credential 'ColdCommitteeRole → StrictMaybe Anchor → TxCert ConwayEra Source # getResignCommitteeColdTxCert ∷ TxCert ConwayEra → Maybe (Credential 'ColdCommitteeRole, StrictMaybe Anchor) Source # mkRegDRepTxCert ∷ Credential 'DRepRole → Coin → StrictMaybe Anchor → TxCert ConwayEra Source # getRegDRepTxCert ∷ TxCert ConwayEra → Maybe (Credential 'DRepRole, Coin, StrictMaybe Anchor) Source # mkUnRegDRepTxCert ∷ Credential 'DRepRole → Coin → TxCert ConwayEra Source # getUnRegDRepTxCert ∷ TxCert ConwayEra → Maybe (Credential 'DRepRole, Coin) Source # mkUpdateDRepTxCert ∷ Credential 'DRepRole → StrictMaybe Anchor → TxCert ConwayEra Source # getUpdateDRepTxCert ∷ TxCert ConwayEra → Maybe (Credential 'DRepRole, StrictMaybe Anchor) Source #
Era ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era Associated Types type PreviousEra ConwayEra = (r ∷ Type) Source # type ProtVerLow ConwayEra ∷ Nat Source # type ProtVerHigh ConwayEra ∷ Nat Source # Methods eraName ∷ String Source #
EraSpecDeleg ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy ConwayEra → Bool Source #
EraSpecPParams ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams Methods subsetToPP ∷ SimplePParams ConwayEra → PParams ConwayEra Source # ppToSubset ∷ PParams ConwayEra → SimplePParams ConwayEra Source # updateToPPU ∷ SimplePPUpdate → PParamsUpdate ConwayEra Source # ppuToUpdate ∷ PParamsUpdate ConwayEra → SimplePPUpdate Source #
EraUniverse ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods eraWitUniv ∷ Int → WitUniv ConwayEra Source #
GenScript ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods genScript ∷ Gen (Script ConwayEra) Source #
Reflect ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Proof Methods reify ∷ Proof ConwayEra Source # lift ∷ (Proof ConwayEra → a) → a Source #
HasTokens ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods forge ∷ Integer → Script ConwayEra → MultiAsset Source #
PostShelley ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods before ∷ Int → Proof ConwayEra → NativeScript ConwayEra Source # after ∷ Int → Proof ConwayEra → NativeScript ConwayEra Source #
Scriptic ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Scriptic Methods always ∷ Natural → Proof ConwayEra → Script ConwayEra Source # alwaysAlt ∷ Natural → Proof ConwayEra → Script ConwayEra Source # never ∷ Natural → Proof ConwayEra → Script ConwayEra Source # require ∷ KeyHash 'Witness → Proof ConwayEra → NativeScript ConwayEra Source # allOf ∷ [Proof ConwayEra → NativeScript ConwayEra] → Proof ConwayEra → NativeScript ConwayEra Source # anyOf ∷ [Proof ConwayEra → NativeScript ConwayEra] → Proof ConwayEra → NativeScript ConwayEra Source # mOf ∷ Int → [Proof ConwayEra → NativeScript ConwayEra] → Proof ConwayEra → NativeScript ConwayEra Source #
GetLedgerView ConwayEra
Instance details Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView ∷ NewEpochState ConwayEra → LedgerView Source # futureLedgerView ∷ MonadError (FutureLedgerViewError ConwayEra) m ⇒ Globals → NewEpochState ConwayEra → SlotNo → m LedgerView Source #
TranslateEra ConwayEra Tx
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError ConwayEra Tx Source # Methods translateEra ∷ TranslationContext ConwayEra → Tx (PreviousEra ConwayEra) → Except (TranslationError ConwayEra Tx) (Tx ConwayEra) Source #
IsConwayUniv fn ⇒ EraSpecCert ConwayEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Cert Methods txCertSpec ∷ WitUniv ConwayEra → CertEnv ConwayEra → CertState ConwayEra → Specification fn (TxCert ConwayEra) Source # txCertKey ∷ TxCert ConwayEra → CertKey Source #
IsConwayUniv fn ⇒ EraSpecLedger ConwayEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs Methods govStateSpec ∷ PParams ConwayEra → Specification fn (GovState ConwayEra) Source # newEpochStateSpec ∷ PParams ConwayEra → WitUniv ConwayEra → Specification fn (NewEpochState ConwayEra) Source #
IsConwayUniv fn ⇒ EraSpecTxOut ConwayEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.ParametricSpec Methods irewardSpec ∷ WitUniv ConwayEra → Term fn AccountState → Specification fn InstantaneousRewards Source # hasPtrs ∷ proxy ConwayEra → Term fn Bool Source # txOutValue_ ∷ Term fn (TxOut ConwayEra) → Term fn (Value ConwayEra) Source # txOutCoin_ ∷ Term fn (TxOut ConwayEra) → Term fn Coin Source # txOutAddr_ ∷ Term fn (TxOut ConwayEra) → Term fn Addr Source #
IsConwayUniv fn ⇒ EraSpecTxCert fn ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witTxCert ∷ WitUniv ConwayEra → Specification fn (TxCert ConwayEra) Source #
InjectRuleEvent "UTXOS" ConwayUtxosEvent ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods injectEvent ∷ ConwayUtxosEvent ConwayEra → EraRuleEvent "UTXOS" ConwayEra Source #
InjectRuleFailure "BBODY" ConwayBbodyPredFailure ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayBbodyPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #
InjectRuleFailure "CERT" ConwayCertPredFailure ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods injectFailure ∷ ConwayCertPredFailure ConwayEra → EraRuleFailure "CERT" ConwayEra Source #
InjectRuleFailure "CERTS" ConwayCertsPredFailure ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods injectFailure ∷ ConwayCertsPredFailure ConwayEra → EraRuleFailure "CERTS" ConwayEra Source #
InjectRuleFailure "DELEG" ConwayDelegPredFailure ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg Methods injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "DELEG" ConwayEra Source #
InjectRuleFailure "GOV" ConwayGovPredFailure ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods injectFailure ∷ ConwayGovPredFailure ConwayEra → EraRuleFailure "GOV" ConwayEra Source #
InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert Methods injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "GOVCERT" ConwayEra Source #
InjectRuleFailure "LEDGER" ConwayLedgerPredFailure ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayLedgerPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #
InjectRuleFailure "MEMPOOL" ConwayMempoolPredFailure ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool Methods injectFailure ∷ ConwayMempoolPredFailure ConwayEra → EraRuleFailure "MEMPOOL" ConwayEra Source #
InjectRuleFailure "UTXO" ConwayUtxoPredFailure ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "UTXO" ConwayEra Source #
InjectRuleFailure "UTXOS" ConwayUtxosPredFailure ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "UTXOS" ConwayEra Source #
InjectRuleFailure "UTXOW" ConwayUtxowPredFailure ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ ConwayUtxowPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #
(EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ HasSpec fn (ConwayGovState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type TypeSpec fn (ConwayGovState ConwayEra) Source # type Prerequisites fn (ConwayGovState ConwayEra) Source # Methods emptySpec ∷ TypeSpec fn (ConwayGovState ConwayEra) Source # combineSpec ∷ TypeSpec fn (ConwayGovState ConwayEra) → TypeSpec fn (ConwayGovState ConwayEra) → Specification fn (ConwayGovState ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (ConwayGovState ConwayEra) → GenT m (ConwayGovState ConwayEra) Source # conformsTo ∷ ConwayGovState ConwayEra → TypeSpec fn (ConwayGovState ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn (ConwayGovState ConwayEra) → ConwayGovState ConwayEra → [ConwayGovState ConwayEra] Source # toPreds ∷ Term fn (ConwayGovState ConwayEra) → TypeSpec fn (ConwayGovState ConwayEra) → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn (ConwayGovState ConwayEra) → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecHasError ∷ TypeSpec fn (ConwayGovState ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec fn (ConwayGovState ConwayEra) → BinaryShow Source # monadConformsTo ∷ ConwayGovState ConwayEra → TypeSpec fn (ConwayGovState ConwayEra) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec fn (ConwayGovState ConwayEra) → [ConwayGovState ConwayEra] → Specification fn (ConwayGovState ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec fn (ConwayGovState ConwayEra) → Specification fn (ConwayGovState ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites fn (ConwayGovState ConwayEra)) Source #
(EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ HasSpec fn (DRepPulsingState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type TypeSpec fn (DRepPulsingState ConwayEra) Source # type Prerequisites fn (DRepPulsingState ConwayEra) Source # Methods emptySpec ∷ TypeSpec fn (DRepPulsingState ConwayEra) Source # combineSpec ∷ TypeSpec fn (DRepPulsingState ConwayEra) → TypeSpec fn (DRepPulsingState ConwayEra) → Specification fn (DRepPulsingState ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (DRepPulsingState ConwayEra) → GenT m (DRepPulsingState ConwayEra) Source # conformsTo ∷ DRepPulsingState ConwayEra → TypeSpec fn (DRepPulsingState ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn (DRepPulsingState ConwayEra) → DRepPulsingState ConwayEra → [DRepPulsingState ConwayEra] Source # toPreds ∷ Term fn (DRepPulsingState ConwayEra) → TypeSpec fn (DRepPulsingState ConwayEra) → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn (DRepPulsingState ConwayEra) → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecHasError ∷ TypeSpec fn (DRepPulsingState ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec fn (DRepPulsingState ConwayEra) → BinaryShow Source # monadConformsTo ∷ DRepPulsingState ConwayEra → TypeSpec fn (DRepPulsingState ConwayEra) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec fn (DRepPulsingState ConwayEra) → [DRepPulsingState ConwayEra] → Specification fn (DRepPulsingState ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec fn (DRepPulsingState ConwayEra) → Specification fn (DRepPulsingState ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites fn (DRepPulsingState ConwayEra)) Source #
(EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ HasSpec fn (PulsingSnapshot ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type TypeSpec fn (PulsingSnapshot ConwayEra) Source # type Prerequisites fn (PulsingSnapshot ConwayEra) Source # Methods emptySpec ∷ TypeSpec fn (PulsingSnapshot ConwayEra) Source # combineSpec ∷ TypeSpec fn (PulsingSnapshot ConwayEra) → TypeSpec fn (PulsingSnapshot ConwayEra) → Specification fn (PulsingSnapshot ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (PulsingSnapshot ConwayEra) → GenT m (PulsingSnapshot ConwayEra) Source # conformsTo ∷ PulsingSnapshot ConwayEra → TypeSpec fn (PulsingSnapshot ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn (PulsingSnapshot ConwayEra) → PulsingSnapshot ConwayEra → [PulsingSnapshot ConwayEra] Source # toPreds ∷ Term fn (PulsingSnapshot ConwayEra) → TypeSpec fn (PulsingSnapshot ConwayEra) → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn (PulsingSnapshot ConwayEra) → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecHasError ∷ TypeSpec fn (PulsingSnapshot ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec fn (PulsingSnapshot ConwayEra) → BinaryShow Source # monadConformsTo ∷ PulsingSnapshot ConwayEra → TypeSpec fn (PulsingSnapshot ConwayEra) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec fn (PulsingSnapshot ConwayEra) → [PulsingSnapshot ConwayEra] → Specification fn (PulsingSnapshot ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec fn (PulsingSnapshot ConwayEra) → Specification fn (PulsingSnapshot ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites fn (PulsingSnapshot ConwayEra)) Source #
(EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ HasSpec fn (RatifySignal ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type TypeSpec fn (RatifySignal ConwayEra) Source # type Prerequisites fn (RatifySignal ConwayEra) Source # Methods emptySpec ∷ TypeSpec fn (RatifySignal ConwayEra) Source # combineSpec ∷ TypeSpec fn (RatifySignal ConwayEra) → TypeSpec fn (RatifySignal ConwayEra) → Specification fn (RatifySignal ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (RatifySignal ConwayEra) → GenT m (RatifySignal ConwayEra) Source # conformsTo ∷ RatifySignal ConwayEra → TypeSpec fn (RatifySignal ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn (RatifySignal ConwayEra) → RatifySignal ConwayEra → [RatifySignal ConwayEra] Source # toPreds ∷ Term fn (RatifySignal ConwayEra) → TypeSpec fn (RatifySignal ConwayEra) → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn (RatifySignal ConwayEra) → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecHasError ∷ TypeSpec fn (RatifySignal ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec fn (RatifySignal ConwayEra) → BinaryShow Source # monadConformsTo ∷ RatifySignal ConwayEra → TypeSpec fn (RatifySignal ConwayEra) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec fn (RatifySignal ConwayEra) → [RatifySignal ConwayEra] → Specification fn (RatifySignal ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec fn (RatifySignal ConwayEra) → Specification fn (RatifySignal ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites fn (RatifySignal ConwayEra)) Source #
(EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ HasSpec fn (RatifyState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type TypeSpec fn (RatifyState ConwayEra) Source # type Prerequisites fn (RatifyState ConwayEra) Source # Methods emptySpec ∷ TypeSpec fn (RatifyState ConwayEra) Source # combineSpec ∷ TypeSpec fn (RatifyState ConwayEra) → TypeSpec fn (RatifyState ConwayEra) → Specification fn (RatifyState ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (RatifyState ConwayEra) → GenT m (RatifyState ConwayEra) Source # conformsTo ∷ RatifyState ConwayEra → TypeSpec fn (RatifyState ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn (RatifyState ConwayEra) → RatifyState ConwayEra → [RatifyState ConwayEra] Source # toPreds ∷ Term fn (RatifyState ConwayEra) → TypeSpec fn (RatifyState ConwayEra) → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn (RatifyState ConwayEra) → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecHasError ∷ TypeSpec fn (RatifyState ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec fn (RatifyState ConwayEra) → BinaryShow Source # monadConformsTo ∷ RatifyState ConwayEra → TypeSpec fn (RatifyState ConwayEra) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec fn (RatifyState ConwayEra) → [RatifyState ConwayEra] → Specification fn (RatifyState ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec fn (RatifyState ConwayEra) → Specification fn (RatifyState ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites fn (RatifyState ConwayEra)) Source #
(IsConwayUniv fn, EraSpecPParams ConwayEra) ⇒ HasSpec fn (EnactSignal ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type TypeSpec fn (EnactSignal ConwayEra) Source # type Prerequisites fn (EnactSignal ConwayEra) Source # Methods emptySpec ∷ TypeSpec fn (EnactSignal ConwayEra) Source # combineSpec ∷ TypeSpec fn (EnactSignal ConwayEra) → TypeSpec fn (EnactSignal ConwayEra) → Specification fn (EnactSignal ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (EnactSignal ConwayEra) → GenT m (EnactSignal ConwayEra) Source # conformsTo ∷ EnactSignal ConwayEra → TypeSpec fn (EnactSignal ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn (EnactSignal ConwayEra) → EnactSignal ConwayEra → [EnactSignal ConwayEra] Source # toPreds ∷ Term fn (EnactSignal ConwayEra) → TypeSpec fn (EnactSignal ConwayEra) → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn (EnactSignal ConwayEra) → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecHasError ∷ TypeSpec fn (EnactSignal ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec fn (EnactSignal ConwayEra) → BinaryShow Source # monadConformsTo ∷ EnactSignal ConwayEra → TypeSpec fn (EnactSignal ConwayEra) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec fn (EnactSignal ConwayEra) → [EnactSignal ConwayEra] → Specification fn (EnactSignal ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec fn (EnactSignal ConwayEra) → Specification fn (EnactSignal ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites fn (EnactSignal ConwayEra)) Source #
(EraTxCert ConwayEra, EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ HasSpec fn (GovSignal ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type TypeSpec fn (GovSignal ConwayEra) Source # type Prerequisites fn (GovSignal ConwayEra) Source # Methods emptySpec ∷ TypeSpec fn (GovSignal ConwayEra) Source # combineSpec ∷ TypeSpec fn (GovSignal ConwayEra) → TypeSpec fn (GovSignal ConwayEra) → Specification fn (GovSignal ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (GovSignal ConwayEra) → GenT m (GovSignal ConwayEra) Source # conformsTo ∷ GovSignal ConwayEra → TypeSpec fn (GovSignal ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn (GovSignal ConwayEra) → GovSignal ConwayEra → [GovSignal ConwayEra] Source # toPreds ∷ Term fn (GovSignal ConwayEra) → TypeSpec fn (GovSignal ConwayEra) → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn (GovSignal ConwayEra) → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecHasError ∷ TypeSpec fn (GovSignal ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec fn (GovSignal ConwayEra) → BinaryShow Source # monadConformsTo ∷ GovSignal ConwayEra → TypeSpec fn (GovSignal ConwayEra) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec fn (GovSignal ConwayEra) → [GovSignal ConwayEra] → Specification fn (GovSignal ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec fn (GovSignal ConwayEra) → Specification fn (GovSignal ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites fn (GovSignal ConwayEra)) Source #
(EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ HasSpec fn (ConwayGovCertEnv ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type TypeSpec fn (ConwayGovCertEnv ConwayEra) Source # type Prerequisites fn (ConwayGovCertEnv ConwayEra) Source # Methods emptySpec ∷ TypeSpec fn (ConwayGovCertEnv ConwayEra) Source # combineSpec ∷ TypeSpec fn (ConwayGovCertEnv ConwayEra) → TypeSpec fn (ConwayGovCertEnv ConwayEra) → Specification fn (ConwayGovCertEnv ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (ConwayGovCertEnv ConwayEra) → GenT m (ConwayGovCertEnv ConwayEra) Source # conformsTo ∷ ConwayGovCertEnv ConwayEra → TypeSpec fn (ConwayGovCertEnv ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn (ConwayGovCertEnv ConwayEra) → ConwayGovCertEnv ConwayEra → [ConwayGovCertEnv ConwayEra] Source # toPreds ∷ Term fn (ConwayGovCertEnv ConwayEra) → TypeSpec fn (ConwayGovCertEnv ConwayEra) → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn (ConwayGovCertEnv ConwayEra) → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecHasError ∷ TypeSpec fn (ConwayGovCertEnv ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec fn (ConwayGovCertEnv ConwayEra) → BinaryShow Source # monadConformsTo ∷ ConwayGovCertEnv ConwayEra → TypeSpec fn (ConwayGovCertEnv ConwayEra) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec fn (ConwayGovCertEnv ConwayEra) → [ConwayGovCertEnv ConwayEra] → Specification fn (ConwayGovCertEnv ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec fn (ConwayGovCertEnv ConwayEra) → Specification fn (ConwayGovCertEnv ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites fn (ConwayGovCertEnv ConwayEra)) Source #
(EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ HasSpec fn (ConwayTxBody ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type TypeSpec fn (ConwayTxBody ConwayEra) Source # type Prerequisites fn (ConwayTxBody ConwayEra) Source # Methods emptySpec ∷ TypeSpec fn (ConwayTxBody ConwayEra) Source # combineSpec ∷ TypeSpec fn (ConwayTxBody ConwayEra) → TypeSpec fn (ConwayTxBody ConwayEra) → Specification fn (ConwayTxBody ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (ConwayTxBody ConwayEra) → GenT m (ConwayTxBody ConwayEra) Source # conformsTo ∷ ConwayTxBody ConwayEra → TypeSpec fn (ConwayTxBody ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn (ConwayTxBody ConwayEra) → ConwayTxBody ConwayEra → [ConwayTxBody ConwayEra] Source # toPreds ∷ Term fn (ConwayTxBody ConwayEra) → TypeSpec fn (ConwayTxBody ConwayEra) → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn (ConwayTxBody ConwayEra) → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecHasError ∷ TypeSpec fn (ConwayTxBody ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec fn (ConwayTxBody ConwayEra) → BinaryShow Source # monadConformsTo ∷ ConwayTxBody ConwayEra → TypeSpec fn (ConwayTxBody ConwayEra) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec fn (ConwayTxBody ConwayEra) → [ConwayTxBody ConwayEra] → Specification fn (ConwayTxBody ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec fn (ConwayTxBody ConwayEra) → Specification fn (ConwayTxBody ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites fn (ConwayTxBody ConwayEra)) Source #
(EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ HasSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type TypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # type Prerequisites fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # Methods emptySpec ∷ TypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # combineSpec ∷ TypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → TypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Specification fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → GenT m (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # conformsTo ∷ DRepPulser ConwayEra Identity (RatifyState ConwayEra) → TypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → DRepPulser ConwayEra Identity (RatifyState ConwayEra) → [DRepPulser ConwayEra Identity (RatifyState ConwayEra)] Source # toPreds ∷ Term fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → TypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecHasError ∷ TypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → BinaryShow Source # monadConformsTo ∷ DRepPulser ConwayEra Identity (RatifyState ConwayEra) → TypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → [DRepPulser ConwayEra Identity (RatifyState ConwayEra)] → Specification fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # guardTypeSpec ∷ [String] → TypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Specification fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # prerequisites ∷ Evidence (Prerequisites fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra))) Source #
Terse (PParamsUpdate ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Same Methods terse ∷ PParamsUpdate ConwayEra → String Source #
HasSimpleRep (ConwayGovState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type SimpleRep (ConwayGovState ConwayEra) Source # type TheSop (ConwayGovState ConwayEra) ∷ [Type] Source # Methods toSimpleRep ∷ ConwayGovState ConwayEra → SimpleRep (ConwayGovState ConwayEra) Source # fromSimpleRep ∷ SimpleRep (ConwayGovState ConwayEra) → ConwayGovState ConwayEra Source #
HasSimpleRep (DRepPulsingState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type SimpleRep (DRepPulsingState ConwayEra) Source # type TheSop (DRepPulsingState ConwayEra) ∷ [Type] Source # Methods toSimpleRep ∷ DRepPulsingState ConwayEra → SimpleRep (DRepPulsingState ConwayEra) Source # fromSimpleRep ∷ SimpleRep (DRepPulsingState ConwayEra) → DRepPulsingState ConwayEra Source #
HasSimpleRep (PulsingSnapshot ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type SimpleRep (PulsingSnapshot ConwayEra) Source # type TheSop (PulsingSnapshot ConwayEra) ∷ [Type] Source # Methods toSimpleRep ∷ PulsingSnapshot ConwayEra → SimpleRep (PulsingSnapshot ConwayEra) Source # fromSimpleRep ∷ SimpleRep (PulsingSnapshot ConwayEra) → PulsingSnapshot ConwayEra Source #
HasSimpleRep (RatifySignal ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type SimpleRep (RatifySignal ConwayEra) Source # type TheSop (RatifySignal ConwayEra) ∷ [Type] Source # Methods toSimpleRep ∷ RatifySignal ConwayEra → SimpleRep (RatifySignal ConwayEra) Source # fromSimpleRep ∷ SimpleRep (RatifySignal ConwayEra) → RatifySignal ConwayEra Source #
HasSimpleRep (RatifyState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type SimpleRep (RatifyState ConwayEra) Source # type TheSop (RatifyState ConwayEra) ∷ [Type] Source # Methods toSimpleRep ∷ RatifyState ConwayEra → SimpleRep (RatifyState ConwayEra) Source # fromSimpleRep ∷ SimpleRep (RatifyState ConwayEra) → RatifyState ConwayEra Source #
HasSimpleRep (EnactSignal ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type SimpleRep (EnactSignal ConwayEra) Source # type TheSop (EnactSignal ConwayEra) ∷ [Type] Source # Methods toSimpleRep ∷ EnactSignal ConwayEra → SimpleRep (EnactSignal ConwayEra) Source # fromSimpleRep ∷ SimpleRep (EnactSignal ConwayEra) → EnactSignal ConwayEra Source #
HasSimpleRep (ConwayGovCertEnv ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type SimpleRep (ConwayGovCertEnv ConwayEra) Source # type TheSop (ConwayGovCertEnv ConwayEra) ∷ [Type] Source # Methods toSimpleRep ∷ ConwayGovCertEnv ConwayEra → SimpleRep (ConwayGovCertEnv ConwayEra) Source # fromSimpleRep ∷ SimpleRep (ConwayGovCertEnv ConwayEra) → ConwayGovCertEnv ConwayEra Source #
HasSimpleRep (ConwayTxBody ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type SimpleRep (ConwayTxBody ConwayEra) Source # type TheSop (ConwayTxBody ConwayEra) ∷ [Type] Source # Methods toSimpleRep ∷ ConwayTxBody ConwayEra → SimpleRep (ConwayTxBody ConwayEra) Source # fromSimpleRep ∷ SimpleRep (ConwayTxBody ConwayEra) → ConwayTxBody ConwayEra Source #
WellFormed (ConwayGovState ConwayEra) ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams ConwayEra → Gen (ConwayGovState ConwayEra) Source # wff ∷ Gen (ConwayGovState ConwayEra) Source #
WellFormed (GovEnv ConwayEra) ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams ConwayEra → Gen (GovEnv ConwayEra) Source # wff ∷ Gen (GovEnv ConwayEra) Source #
ToJSON (ConwayPParams Identity ConwayEra)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods toJSON ∷ ConwayPParams Identity ConwayEra → Value Source # toEncoding ∷ ConwayPParams Identity ConwayEra → Encoding Source # toJSONList ∷ [ConwayPParams Identity ConwayEra] → Value Source # toEncodingList ∷ [ConwayPParams Identity ConwayEra] → Encoding Source # omitField ∷ ConwayPParams Identity ConwayEra → Bool Source #
HasSimpleRep (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type SimpleRep (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # type TheSop (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) ∷ [Type] Source # Methods toSimpleRep ∷ DRepPulser ConwayEra Identity (RatifyState ConwayEra) → SimpleRep (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # fromSimpleRep ∷ SimpleRep (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → DRepPulser ConwayEra Identity (RatifyState ConwayEra) Source #
type ContextError ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxInfo type ContextError ConwayEra = ConwayContextError ConwayEra
data PlutusScript ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Scripts data PlutusScript ConwayEra = ConwayPlutusV1 !(Plutus 'PlutusV1) \| ConwayPlutusV2 !(Plutus 'PlutusV2) \| ConwayPlutusV3 !(Plutus 'PlutusV3)
type NativeScript ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Scripts type NativeScript ConwayEra = Timelock ConwayEra
type Script ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Scripts type Script ConwayEra = AlonzoScript ConwayEra
type Tx ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Tx type Tx ConwayEra = AlonzoTx ConwayEra
type TxAuxData ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxAuxData type TxAuxData ConwayEra = AlonzoTxAuxData ConwayEra
type TxBody ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal type TxBody ConwayEra = ConwayTxBody ConwayEra
type TxBodyUpgradeError ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal type TxBodyUpgradeError ConwayEra = ConwayTxBodyUpgradeError
type TxOut ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxOut type TxOut ConwayEra = BabbageTxOut ConwayEra
type TxSeq ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Tx type TxSeq ConwayEra = AlonzoTxSeq ConwayEra
type TxUpgradeError ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Tx type TxUpgradeError ConwayEra = TxBodyUpgradeError ConwayEra
type TxWits ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxWits type TxWits ConwayEra = AlonzoTxWits ConwayEra
type Value ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type Value ConwayEra = MaryValue
type PreviousEra ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type PreviousEra ConwayEra = BabbageEra
type ProtVerHigh ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type ProtVerHigh ConwayEra = 10
type ProtVerLow ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type ProtVerLow ConwayEra = 9
type TranslationContext ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationContext ConwayEra = ConwayGenesis
type TxCert ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxCert type TxCert ConwayEra = ConwayTxCert ConwayEra
type TxCertUpgradeError ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxCert type TxCertUpgradeError ConwayEra = ConwayTxCertUpgradeError
type Genesis ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Genesis type Genesis ConwayEra = ConwayGenesis
type ScriptsNeeded ConwayEra
Instance details Defined in Cardano.Ledger.Conway.UTxO type ScriptsNeeded ConwayEra = AlonzoScriptsNeeded ConwayEra
type GovState ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Governance type GovState ConwayEra = ConwayGovState ConwayEra
data TransitionConfig ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Transition data TransitionConfig ConwayEra = ConwayTransitionConfig { ctcConwayGenesis ∷ !ConwayGenesis ctcBabbageTransitionConfig ∷ !(TransitionConfig BabbageEra) }
type PlutusPurpose f ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Scripts type PlutusPurpose f ConwayEra = ConwayPlutusPurpose f ConwayEra
type EraRule "BBODY" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "BBODY" ConwayEra = ConwayBBODY ConwayEra
type EraRule "CERT" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "CERT" ConwayEra = ConwayCERT ConwayEra
type EraRule "CERTS" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "CERTS" ConwayEra = ConwayCERTS ConwayEra
type EraRule "DELEG" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "DELEG" ConwayEra = ConwayDELEG ConwayEra
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 "ENACT" ConwayEra = ConwayENACT ConwayEra
type EraRule "EPOCH" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "EPOCH" ConwayEra = ConwayEPOCH ConwayEra
type EraRule "GOV" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "GOV" ConwayEra = ConwayGOV ConwayEra
type EraRule "GOVCERT" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "GOVCERT" ConwayEra = ConwayGOVCERT ConwayEra
type EraRule "HARDFORK" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "HARDFORK" ConwayEra = ConwayHARDFORK ConwayEra
type EraRule "LEDGER" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "LEDGER" ConwayEra = ConwayLEDGER ConwayEra
type EraRule "LEDGERS" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "LEDGERS" ConwayEra = ShelleyLEDGERS ConwayEra
type EraRule "MEMPOOL" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "MEMPOOL" ConwayEra = ConwayMEMPOOL ConwayEra
type EraRule "MIR" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "MIR" ConwayEra = VoidEraRule "MIR" ConwayEra
type EraRule "NEWEPOCH" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "NEWEPOCH" ConwayEra = ConwayNEWEPOCH ConwayEra
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 "POOL" ConwayEra = ShelleyPOOL ConwayEra
type EraRule "POOLREAP" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "POOLREAP" ConwayEra = ShelleyPOOLREAP ConwayEra
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 "RATIFY" ConwayEra = ConwayRATIFY ConwayEra
type EraRule "RUPD" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "RUPD" ConwayEra = ShelleyRUPD ConwayEra
type EraRule "SNAP" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "SNAP" ConwayEra = ShelleySNAP ConwayEra
type EraRule "TICK" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "TICK" ConwayEra = ShelleyTICK ConwayEra
type EraRule "TICKF" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "TICKF" ConwayEra = ConwayTICKF ConwayEra
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 "UTXO" ConwayEra = ConwayUTXO ConwayEra
type EraRule "UTXOS" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "UTXOS" ConwayEra = ConwayUTXOS ConwayEra
type EraRule "UTXOW" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "UTXOW" ConwayEra = ConwayUTXOW ConwayEra
type EraRuleEvent "BBODY" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type EraRuleEvent "BBODY" ConwayEra = AlonzoBbodyEvent ConwayEra
type EraRuleEvent "CERT" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type EraRuleEvent "CERT" ConwayEra = ConwayCertEvent ConwayEra
type EraRuleEvent "CERTS" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type EraRuleEvent "CERTS" ConwayEra = ConwayCertsEvent ConwayEra
type EraRuleEvent "DELEG" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type EraRuleEvent "DELEG" ConwayEra = VoidEraRule "DELEG" ConwayEra
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 "ENACT" ConwayEra = VoidEraRule "ENACT" ConwayEra
type EraRuleEvent "EPOCH" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type EraRuleEvent "EPOCH" ConwayEra = ConwayEpochEvent ConwayEra
type EraRuleEvent "GOV" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type EraRuleEvent "GOV" ConwayEra = ConwayGovEvent ConwayEra
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 "HARDFORK" ConwayEra = ConwayHardForkEvent ConwayEra
type EraRuleEvent "LEDGER" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type EraRuleEvent "LEDGER" ConwayEra = ConwayLedgerEvent ConwayEra
type EraRuleEvent "LEDGERS" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers type EraRuleEvent "LEDGERS" ConwayEra = ShelleyLedgersEvent ConwayEra
type EraRuleEvent "MEMPOOL" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type EraRuleEvent "MEMPOOL" ConwayEra = ConwayMempoolEvent ConwayEra
type EraRuleEvent "MIR" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleEvent "MIR" ConwayEra = VoidEraRule "MIR" ConwayEra
type EraRuleEvent "NEWEPOCH" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type EraRuleEvent "NEWEPOCH" ConwayEra = ConwayNewEpochEvent ConwayEra
type EraRuleEvent "NEWPP" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleEvent "NEWPP" ConwayEra = VoidEraRule "NEWPP" ConwayEra
type EraRuleEvent "POOL" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Pool type EraRuleEvent "POOL" ConwayEra = PoolEvent ConwayEra
type EraRuleEvent "PPUP" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleEvent "PPUP" ConwayEra = VoidEraRule "PPUP" ConwayEra
type EraRuleEvent "TICK" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules type EraRuleEvent "TICK" ConwayEra = ShelleyTickEvent ConwayEra
type EraRuleEvent "UPEC" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleEvent "UPEC" ConwayEra = VoidEraRule "UPEC" ConwayEra
type EraRuleEvent "UTXO" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type EraRuleEvent "UTXO" ConwayEra = AlonzoUtxoEvent ConwayEra
type EraRuleEvent "UTXOS" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type EraRuleEvent "UTXOS" ConwayEra = ConwayUtxosEvent ConwayEra
type EraRuleEvent "UTXOW" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type EraRuleEvent "UTXOW" ConwayEra = AlonzoUtxowEvent ConwayEra
type EraRuleFailure "BBODY" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type EraRuleFailure "BBODY" ConwayEra = ConwayBbodyPredFailure ConwayEra
type EraRuleFailure "CERT" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type EraRuleFailure "CERT" ConwayEra = ConwayCertPredFailure ConwayEra
type EraRuleFailure "CERTS" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type EraRuleFailure "CERTS" ConwayEra = ConwayCertsPredFailure ConwayEra
type EraRuleFailure "DELEG" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type EraRuleFailure "DELEG" ConwayEra = ConwayDelegPredFailure ConwayEra
type EraRuleFailure "DELEGS" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleFailure "DELEGS" ConwayEra = VoidEraRule "DELEGS" ConwayEra
type EraRuleFailure "GOV" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type EraRuleFailure "GOV" ConwayEra = ConwayGovPredFailure ConwayEra
type EraRuleFailure "GOVCERT" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type EraRuleFailure "GOVCERT" ConwayEra = ConwayGovCertPredFailure ConwayEra
type EraRuleFailure "LEDGER" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type EraRuleFailure "LEDGER" ConwayEra = ConwayLedgerPredFailure ConwayEra
type EraRuleFailure "LEDGERS" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers type EraRuleFailure "LEDGERS" ConwayEra = ShelleyLedgersPredFailure ConwayEra
type EraRuleFailure "MEMPOOL" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type EraRuleFailure "MEMPOOL" ConwayEra = ConwayMempoolPredFailure ConwayEra
type EraRuleFailure "MIR" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleFailure "MIR" ConwayEra = VoidEraRule "MIR" ConwayEra
type EraRuleFailure "NEWPP" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleFailure "NEWPP" ConwayEra = VoidEraRule "NEWPP" ConwayEra
type EraRuleFailure "POOL" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Pool type EraRuleFailure "POOL" ConwayEra = ShelleyPoolPredFailure ConwayEra
type EraRuleFailure "PPUP" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleFailure "PPUP" ConwayEra = VoidEraRule "PPUP" ConwayEra
type EraRuleFailure "UPEC" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleFailure "UPEC" ConwayEra = VoidEraRule "UPEC" ConwayEra
type EraRuleFailure "UTXO" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type EraRuleFailure "UTXO" ConwayEra = ConwayUtxoPredFailure ConwayEra
type EraRuleFailure "UTXOS" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type EraRuleFailure "UTXOS" ConwayEra = ConwayUtxosPredFailure ConwayEra
type EraRuleFailure "UTXOW" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type EraRuleFailure "UTXOW" ConwayEra = ConwayUtxowPredFailure ConwayEra
type DowngradePParams f ConwayEra
Instance details Defined in Cardano.Ledger.Conway.PParams type DowngradePParams f ConwayEra = ()
type PParamsHKD f ConwayEra
Instance details Defined in Cardano.Ledger.Conway.PParams type PParamsHKD f ConwayEra = ConwayPParams f ConwayEra
type UpgradePParams f ConwayEra
Instance details Defined in Cardano.Ledger.Conway.PParams type UpgradePParams f ConwayEra = UpgradeConwayPParams f
type TranslationError ConwayEra Tx
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra Tx = DecoderError
type TranslationError ConwayEra CertState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra CertState = Void
type TranslationError ConwayEra CommitteeState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra CommitteeState = Void
type TranslationError ConwayEra DState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra DState = Void
type TranslationError ConwayEra PState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra PState = Void
type TranslationError ConwayEra VState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra VState = Void
type TranslationError ConwayEra PParams
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra PParams = Void
type TranslationError ConwayEra UTxO
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra UTxO = Void
type TranslationError ConwayEra FuturePParams
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra FuturePParams = Void
type TranslationError ConwayEra EpochState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra EpochState = Void
type TranslationError ConwayEra LedgerState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra LedgerState = Void
type TranslationError ConwayEra NewEpochState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra NewEpochState = Void
type TranslationError ConwayEra UTxOState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra UTxOState = Void
type Prerequisites fn (ConwayGovState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type Prerequisites fn (ConwayGovState ConwayEra) = ()
type Prerequisites fn (DRepPulsingState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type Prerequisites fn (DRepPulsingState ConwayEra) = ()
type Prerequisites fn (PulsingSnapshot ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type Prerequisites fn (PulsingSnapshot ConwayEra) = ()
type Prerequisites fn (RatifySignal ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type Prerequisites fn (RatifySignal ConwayEra) = ()
type Prerequisites fn (RatifyState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type Prerequisites fn (RatifyState ConwayEra) = ()
type Prerequisites fn (EnactSignal ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type Prerequisites fn (EnactSignal ConwayEra) = ()
type Prerequisites fn (GovSignal ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type Prerequisites fn (GovSignal ConwayEra) = ()
type Prerequisites fn (ConwayGovCertEnv ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type Prerequisites fn (ConwayGovCertEnv ConwayEra) = ()
type Prerequisites fn (ConwayTxBody ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type Prerequisites fn (ConwayTxBody ConwayEra) = ()
type TypeSpec fn (ConwayGovState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TypeSpec fn (ConwayGovState ConwayEra) = TypeSpec fn (SimpleRep (ConwayGovState ConwayEra))
type TypeSpec fn (DRepPulsingState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TypeSpec fn (DRepPulsingState ConwayEra) = TypeSpec fn (SimpleRep (DRepPulsingState ConwayEra))
type TypeSpec fn (PulsingSnapshot ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TypeSpec fn (PulsingSnapshot ConwayEra) = TypeSpec fn (SimpleRep (PulsingSnapshot ConwayEra))
type TypeSpec fn (RatifySignal ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TypeSpec fn (RatifySignal ConwayEra) = TypeSpec fn (SimpleRep (RatifySignal ConwayEra))
type TypeSpec fn (RatifyState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TypeSpec fn (RatifyState ConwayEra) = TypeSpec fn (SimpleRep (RatifyState ConwayEra))
type TypeSpec fn (EnactSignal ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TypeSpec fn (EnactSignal ConwayEra) = TypeSpec fn (SimpleRep (EnactSignal ConwayEra))
type TypeSpec fn (GovSignal ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TypeSpec fn (GovSignal ConwayEra) = TypeSpec fn (SimpleRep (GovSignal ConwayEra))
type TypeSpec fn (ConwayGovCertEnv ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TypeSpec fn (ConwayGovCertEnv ConwayEra) = TypeSpec fn (SimpleRep (ConwayGovCertEnv ConwayEra))
type TypeSpec fn (ConwayTxBody ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TypeSpec fn (ConwayTxBody ConwayEra) = TypeSpec fn (SimpleRep (ConwayTxBody ConwayEra))
type Prerequisites fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type Prerequisites fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) = ()
type TypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) = TypeSpec fn (SimpleRep (DRepPulser ConwayEra Identity (RatifyState ConwayEra)))
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.19.0.0-inplace" 'False) (C1 ('MetaCons "ConwayPlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: (C1 ('MetaCons "ConwayPlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))) :+: C1 ('MetaCons "ConwayPlutusV3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV3)))))
type Rep (TransitionConfig ConwayEra)
Instance details Defined in Cardano.Ledger.Conway.Transition type Rep (TransitionConfig ConwayEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Conway.Transition" "cardano-ledger-conway-1.19.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 SimpleRep (ConwayGovState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type SimpleRep (ConwayGovState ConwayEra) = SOP (TheSop (ConwayGovState ConwayEra))
type SimpleRep (DRepPulsingState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type SimpleRep (DRepPulsingState ConwayEra) = SOP (TheSop (DRepPulsingState ConwayEra))
type SimpleRep (PulsingSnapshot ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type SimpleRep (PulsingSnapshot ConwayEra) = SOP (TheSop (PulsingSnapshot ConwayEra))
type SimpleRep (RatifySignal ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type SimpleRep (RatifySignal ConwayEra) = SOP (TheSop (RatifySignal ConwayEra))
type SimpleRep (RatifyState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type SimpleRep (RatifyState ConwayEra) = SOP (TheSop (RatifyState ConwayEra))
type SimpleRep (EnactSignal ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type SimpleRep (EnactSignal ConwayEra) = SOP (TheSop (EnactSignal ConwayEra))
type SimpleRep (ConwayGovCertEnv ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type SimpleRep (ConwayGovCertEnv ConwayEra) = SOP (TheSop (ConwayGovCertEnv ConwayEra))
type SimpleRep (ConwayTxBody ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type SimpleRep (ConwayTxBody ConwayEra) = SOP (TheSop (ConwayTxBody ConwayEra))
type TheSop (ConwayGovState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TheSop (ConwayGovState ConwayEra) = SOPOf (Rep (ConwayGovState ConwayEra))
type TheSop (DRepPulsingState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TheSop (DRepPulsingState ConwayEra) = SOPOf (Rep (DRepPulsingState ConwayEra))
type TheSop (PulsingSnapshot ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TheSop (PulsingSnapshot ConwayEra) = SOPOf (Rep (PulsingSnapshot ConwayEra))
type TheSop (RatifySignal ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TheSop (RatifySignal ConwayEra) = SOPOf (Rep (RatifySignal ConwayEra))
type TheSop (RatifyState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TheSop (RatifyState ConwayEra) = SOPOf (Rep (RatifyState ConwayEra))
type TheSop (EnactSignal ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TheSop (EnactSignal ConwayEra) = SOPOf (Rep (EnactSignal ConwayEra))
type TheSop (ConwayGovCertEnv ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TheSop (ConwayGovCertEnv ConwayEra) = SOPOf (Rep (ConwayGovCertEnv ConwayEra))
type TheSop (ConwayTxBody ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TheSop (ConwayTxBody ConwayEra)
type SimpleRep (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type SimpleRep (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) = SOP (TheSop (DRepPulser ConwayEra Identity (RatifyState ConwayEra)))
type TheSop (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TheSop (DRepPulser ConwayEra Identity (RatifyState ConwayEra))

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 @EraSegWits 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)) ⇒ WitRule s e → TRC (EraRule s e) → Either (NonEmpty (PredicateFailure (EraRule s e))) (State (EraRule s e)) Source #

data ValueWit era where Source #

Constructors

ValueShelleyToAllegra ∷ Value era ~ Coin ⇒ ValueWit era
ValueMaryToConway ∷ Value era ~ MaryValue ⇒ ValueWit era

data TxOutWit era where Source #

Constructors

TxOutShelleyToMary ∷ (TxOut era ~ ShelleyTxOut era, EraTxOut era, ProtVerAtMost era 8) ⇒ TxOutWit era
TxOutAlonzoToAlonzo ∷ (TxOut era ~ AlonzoTxOut era, AlonzoEraTxOut era, ProtVerAtMost era 8) ⇒ TxOutWit era
TxOutBabbageToConway ∷ (TxOut era ~ BabbageTxOut era, BabbageEraTxOut era) ⇒ TxOutWit era

data TxCertWit era where Source #

Constructors

TxCertShelleyToBabbage ∷ (TxCert era ~ ShelleyTxCert era, ShelleyEraTxCert era, ProtVerAtMost era 8) ⇒ TxCertWit era
TxCertConwayToConway ∷ (TxCert era ~ ConwayTxCert era, ConwayEraTxCert era, ConwayEraPParams era) ⇒ TxCertWit era

data PParamsWit era where Source #

Constructors

PParamsShelleyToMary ∷ (PParamsHKD Identity era ~ ShelleyPParams Identity era, EraPParams era) ⇒ PParamsWit era
PParamsAlonzoToAlonzo ∷ (PParamsHKD Identity era ~ AlonzoPParams Identity era, AlonzoEraPParams era) ⇒ PParamsWit era
PParamsBabbageToBabbage ∷ (PParamsHKD Identity era ~ BabbagePParams Identity era, BabbageEraPParams era) ⇒ PParamsWit era
PParamsConwayToConway ∷ (PParamsHKD Identity era ~ ConwayPParams Identity era, ConwayEraPParams era) ⇒ PParamsWit era

data UTxOWit era where Source #

Constructors

UTxOShelleyToMary ∷ (EraUTxO era, ScriptsNeeded era ~ ShelleyScriptsNeeded era, TxWits era ~ ShelleyTxWits era) ⇒ UTxOWit era
UTxOAlonzoToConway ∷ (EraUTxO era, AlonzoEraScript era, AlonzoEraTxBody era, AlonzoEraPParams era, AlonzoEraTxOut era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Script era ~ AlonzoScript era, TxWits era ~ AlonzoTxWits era) ⇒ UTxOWit era

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

data GovStateWit era where Source #

Constructors

GovStateShelleyToBabbage ∷ (EraGov era, GovState era ~ ShelleyGovState era) ⇒ GovStateWit era
GovStateConwayToConway ∷ (ConwayEraPParams era, RunConwayRatify era, EraGov era, GovState era ~ ConwayGovState era) ⇒ GovStateWit era

whichValue ∷ Proof era → ValueWit era Source #

whichTxOut ∷ Proof era → TxOutWit era Source #

whichTxCert ∷ Proof era → TxCertWit era Source #

whichPParams ∷ Proof era → PParamsWit era Source #

whichUTxO ∷ Proof era → UTxOWit era Source #

whichScript ∷ Proof era → ScriptWit era Source #

whichGovState ∷ Proof era → GovStateWit era Source #