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, EraStake era, ShelleyEraTxCert era, EraCertState era, EraTest 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
runSTS ∷ ∀ s e ans. (BaseM (EraRule s e) ~ ShelleyBase, STS (EraRule s e)) ⇒ TRC (EraRule s e) → (Either (NonEmpty (PredicateFailure (EraRule s e))) (State (EraRule s e)) → ans) → ans
goSTS ∷ ∀ s e ans env state sig. (BaseM (EraRule s e) ~ ShelleyBase, STS (EraRule s e), env ~ Environment (EraRule s e), state ~ State (EraRule s e), sig ~ Signal (EraRule s e)) ⇒ env → state → sig → (Either (NonEmpty (PredicateFailure (EraRule s e))) (State (EraRule s e)) → ans) → ans
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)) ⇒ 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
data CertStateWit era where
- CertStateShelleyToBabbage ∷ (EraCertState era, CertState era ~ ShelleyCertState era) ⇒ CertStateWit era
- CertStateConwayToConway ∷ (ConwayEraCertState era, CertState era ~ ConwayCertState era) ⇒ CertStateWit 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
whichCertState ∷ Proof era → CertStateWit 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 # show ∷ Proof e → String # showList ∷ [Proof e] → ShowS #
ToExpr (Proof era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Proof Methods toExpr ∷ Proof era → Expr Source # listToExpr ∷ [Proof era] → Expr Source #
Show (Some Proof) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Proof Methods showsPrec ∷ Int → Some Proof → ShowS # show ∷ Some Proof → String # showList ∷ [Some Proof] → ShowS #

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

Minimal complete definition

reify

Methods

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 # show ∷ Some Proof → String # showList ∷ [Some Proof] → ShowS #
Eq (Some r)
Instance details Defined in Data.Universe Methods (==) ∷ Some r → Some r → Bool # (/=) ∷ Some r → Some r → Bool #
Ord (Some r)
Instance details Defined in Data.Universe Methods compare ∷ Some r → Some r → Ordering # (<) ∷ Some r → Some r → Bool # (<=) ∷ Some r → Some r → Bool # (>) ∷ Some r → Some r → Bool # (>=) ∷ Some r → Some r → Bool # max ∷ Some r → Some r → Some r # min ∷ Some r → Some r → Some r #

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

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

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

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

EraApi ShelleyEra
Instance details Defined in Cardano.Ledger.Api.Era Associated Types type TxUpgradeError ShelleyEra Source # type TxBodyUpgradeError ShelleyEra Source # Methods upgradeTx ∷ Tx (PreviousEra ShelleyEra) → Either (TxUpgradeError ShelleyEra) (Tx ShelleyEra) Source # upgradeTxBody ∷ TxBody (PreviousEra ShelleyEra) → Either (TxBodyUpgradeError ShelleyEra) (TxBody ShelleyEra) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra ShelleyEra) → TxAuxData ShelleyEra Source # upgradeTxWits ∷ TxWits (PreviousEra ShelleyEra) → TxWits ShelleyEra Source #
ApplyBlock ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.API.Validation Methods applyBlock ∷ ∀ (ep ∷ EventPolicy). SingEP ep → ValidationPolicy → Globals → NewEpochState ShelleyEra → Block BHeaderView ShelleyEra → (NewEpochState ShelleyEra, [PredicateFailure (EraRule "BBODY" ShelleyEra)], [Event (EraRule "BBODY" ShelleyEra)]) Source # applyTick ∷ ∀ (ep ∷ EventPolicy). SingEP ep → Globals → NewEpochState ShelleyEra → SlotNo → (NewEpochState ShelleyEra, [Event (EraRule "TICK" ShelleyEra)]) 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 #
ShelleyEraAccounts ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.State.Account Methods mkShelleyAccountState ∷ Ptr → CompactForm Coin → AccountState ShelleyEra Source # accountsPtrsMapL ∷ Lens' (Accounts ShelleyEra) (Map Ptr (Credential 'Staking)) accountsPtrsMapG ∷ SimpleGetter (Accounts ShelleyEra) (Map Ptr (Credential 'Staking)) Source # ptrAccountStateG ∷ SimpleGetter (AccountState ShelleyEra) Ptr 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 # toTransitionConfigKeyValuePairs ∷ KeyValue e a ⇒ TransitionConfig ShelleyEra → [a] parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig ShelleyEra)
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 #
ShelleyEraTest ShelleyEra
Instance details Defined in Test.Cardano.Ledger.Shelley.Era
ShelleyEraScript ShelleyEra ⇒ ShelleyEraImp ShelleyEra
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Methods initGenesis ∷ (HasKeyPairs s, MonadState s m, HasStatefulGen g m, MonadFail m) ⇒ m (Genesis ShelleyEra) Source # initNewEpochState ∷ (HasKeyPairs s, MonadState s m, HasStatefulGen g m, MonadFail m) ⇒ m (NewEpochState ShelleyEra) Source # initImpTestState ∷ (HasKeyPairs s, MonadState s m, HasStatefulGen g m, MonadFail m) ⇒ m (ImpTestState ShelleyEra) Source # impSatisfyNativeScript ∷ Set (KeyHash 'Witness) → TxBody ShelleyEra → NativeScript ShelleyEra → ImpTestM ShelleyEra (Maybe (Map (KeyHash 'Witness) (KeyPair 'Witness))) Source # modifyPParams ∷ (PParams ShelleyEra → PParams ShelleyEra) → ImpTestM ShelleyEra () Source # fixupTx ∷ Tx ShelleyEra → ImpTestM ShelleyEra (Tx ShelleyEra) Source # expectTxSuccess ∷ Tx ShelleyEra → ImpTestM ShelleyEra () Source #
EraSpecCert ShelleyEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Cert Methods txCertSpec ∷ WitUniv ShelleyEra → CertEnv ShelleyEra → CertState ShelleyEra → Specification (TxCert ShelleyEra) Source # txCertKey ∷ TxCert ShelleyEra → CertKey Source # certStateSpec ∷ WitUniv ShelleyEra → Set (Credential 'DRepRole) → Map RewardAccount Coin → Specification (CertState ShelleyEra) 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 #
EraSpecTxOut ShelleyEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.ParametricSpec Methods irewardSpec ∷ WitUniv ShelleyEra → Term ChainAccountState → Specification InstantaneousRewards Source # hasPtrs ∷ proxy ShelleyEra → Term Bool Source # txOutValue_ ∷ Term (TxOut ShelleyEra) → Term (Value ShelleyEra) Source # txOutCoin_ ∷ Term (TxOut ShelleyEra) → Term Coin Source # txOutAddr_ ∷ Term (TxOut ShelleyEra) → Term Addr Source #
EraSpecTxCert ShelleyEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witTxCert ∷ WitUniv ShelleyEra → Specification (TxCert ShelleyEra) 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 #
EraModel ShelleyEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Instances Methods applyTx ∷ Int → SlotNo → Model ShelleyEra → Tx ShelleyEra → Model ShelleyEra Source # applyCert ∷ Model ShelleyEra → TxCert ShelleyEra → Model ShelleyEra Source # mkRedeemersFromTags ∷ [((PlutusPurposeTag, Word32), (Data ShelleyEra, ExUnits))] → Redeemers ShelleyEra Source # mkRedeemers ∷ [(PlutusPurpose AsIx ShelleyEra, (Data ShelleyEra, ExUnits))] → Redeemers ShelleyEra Source # newScriptIntegrityHash ∷ PParams ShelleyEra → [Language] → Redeemers ShelleyEra → TxDats ShelleyEra → StrictMaybe ScriptIntegrityHash Source # mkPlutusPurposePointer ∷ PlutusPurposeTag → Word32 → PlutusPurpose AsIx ShelleyEra Source # always ∷ Natural → Script ShelleyEra Source # never ∷ Natural → Script ShelleyEra Source # collateralReturnTxBodyT ∷ Lens' (TxBody ShelleyEra) (StrictMaybe (TxOut ShelleyEra)) Source # validTxOut ∷ Map ScriptHash (Script ShelleyEra) → TxOut ShelleyEra → Bool Source #
EraGenericGen ShelleyEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Instances Methods setValidity ∷ ValidityInterval → TxBody ShelleyEra → TxBody ShelleyEra Source # setReferenceInputs ∷ Set TxIn → TxBody ShelleyEra → TxBody ShelleyEra Source # setCollateralInputs ∷ Set TxIn → TxBody ShelleyEra → TxBody ShelleyEra Source # setTotalCollateral ∷ StrictMaybe Coin → TxBody ShelleyEra → TxBody ShelleyEra Source # setCollateralReturn ∷ StrictMaybe (TxOut ShelleyEra) → TxBody ShelleyEra → TxBody ShelleyEra Source # addRedeemers ∷ Redeemers ShelleyEra → TxWits ShelleyEra → TxWits ShelleyEra Source # setScriptIntegrityHash ∷ StrictMaybe ScriptIntegrityHash → TxBody ShelleyEra → TxBody ShelleyEra Source # setNetworkIdTxBody ∷ StrictMaybe Network → TxBody ShelleyEra → TxBody ShelleyEra Source # genExUnits ∷ Int → GenRS ShelleyEra [ExUnits] Source # genPParams ∷ GenSize → Gen (PParams ShelleyEra) Source # ppMaxCollateralInputsT ∷ Lens' (PParams ShelleyEra) Natural Source # ppCollateralPercentageT ∷ Lens' (PParams ShelleyEra) Natural Source # ppCostModelsT ∷ Lens' (PParams ShelleyEra) CostModels Source # ppMaxTxExUnitsT ∷ Lens' (PParams ShelleyEra) ExUnits Source # ppMaxBlockExUnitsT ∷ Lens' (PParams ShelleyEra) ExUnits Source # ppMaxValSizeT ∷ Lens' (PParams ShelleyEra) Natural Source # mkScriptIntegrityHash ∷ PParams ShelleyEra → [Language] → TxWits ShelleyEra → StrictMaybe ScriptIntegrityHash Source #
Reflect ShelleyEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Proof Methods reify ∷ Proof ShelleyEra Source # lift ∷ (Proof ShelleyEra → a) → a 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 #
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 #
Generic (TransitionConfig ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Transition Associated Types type Rep (TransitionConfig ShelleyEra) ∷ Type → Type # Methods from ∷ TransitionConfig ShelleyEra → Rep (TransitionConfig ShelleyEra) x # to ∷ Rep (TransitionConfig ShelleyEra) x → TransitionConfig ShelleyEra #
Show (TransitionConfig ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods showsPrec ∷ Int → TransitionConfig ShelleyEra → ShowS # show ∷ TransitionConfig ShelleyEra → String # showList ∷ [TransitionConfig ShelleyEra] → ShowS #
HasSpec (TxBody ShelleyEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody Associated Types type TypeSpec (TxBody ShelleyEra) Source # type Prerequisites (TxBody ShelleyEra) Source # Methods emptySpec ∷ TypeSpec (TxBody ShelleyEra) Source # combineSpec ∷ TypeSpec (TxBody ShelleyEra) → TypeSpec (TxBody ShelleyEra) → Specification (TxBody ShelleyEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (TxBody ShelleyEra) → GenT m (TxBody ShelleyEra) Source # conformsTo ∷ TxBody ShelleyEra → TypeSpec (TxBody ShelleyEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (TxBody ShelleyEra) → TxBody ShelleyEra → [TxBody ShelleyEra] Source # toPreds ∷ Term (TxBody ShelleyEra) → TypeSpec (TxBody ShelleyEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (TxBody ShelleyEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (TxBody ShelleyEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (TxBody ShelleyEra) → BinaryShow Source # monadConformsTo ∷ TxBody ShelleyEra → TypeSpec (TxBody ShelleyEra) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec (TxBody ShelleyEra) → [TxBody ShelleyEra] → Specification (TxBody ShelleyEra) Source # guardTypeSpec ∷ [String] → TypeSpec (TxBody ShelleyEra) → Specification (TxBody ShelleyEra) Source # prerequisites ∷ Evidence (Prerequisites (TxBody ShelleyEra)) Source #
HasSimpleRep (TxBody ShelleyEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody Associated Types type SimpleRep (TxBody ShelleyEra) Source # type TheSop (TxBody ShelleyEra) ∷ [Type] Source # Methods toSimpleRep ∷ TxBody ShelleyEra → SimpleRep (TxBody ShelleyEra) Source # fromSimpleRep ∷ SimpleRep (TxBody ShelleyEra) → TxBody ShelleyEra Source #
Eq (TransitionConfig ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods (==) ∷ TransitionConfig ShelleyEra → TransitionConfig ShelleyEra → Bool # (/=) ∷ TransitionConfig ShelleyEra → TransitionConfig ShelleyEra → Bool #
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 TxBodyUpgradeError ShelleyEra
Instance details Defined in Cardano.Ledger.Api.Era type TxBodyUpgradeError ShelleyEra = Void
type TxUpgradeError ShelleyEra
Instance details Defined in Cardano.Ledger.Api.Era type TxUpgradeError ShelleyEra = Void
type BlockBody ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.BlockBody.Internal type BlockBody ShelleyEra = ShelleyBlockBody ShelleyEra
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
newtype Tx ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Tx newtype Tx ShelleyEra = MkShelleyTx { unShelleyTx ∷ ShelleyTx ShelleyEra }
type TxAuxData ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData type TxAuxData ShelleyEra = ShelleyTxAuxData ShelleyEra
newtype TxBody ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxBody newtype TxBody ShelleyEra = MkShelleyTxBody (MemoBytes ShelleyTxBodyRaw)
type TxOut ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxOut type TxOut ShelleyEra = ShelleyTxOut ShelleyEra
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 AccountState ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.State.Account type AccountState ShelleyEra = ShelleyAccountState ShelleyEra
type Accounts ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.State.Account type Accounts ShelleyEra = ShelleyAccounts ShelleyEra
type CertState ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.State.CertState type CertState ShelleyEra = ShelleyCertState ShelleyEra
type GovState ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Governance type GovState ShelleyEra = ShelleyGovState ShelleyEra
type InstantStake ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.State.Stake type InstantStake ShelleyEra = ShelleyInstantStake ShelleyEra
type ScriptsNeeded ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.UTxO type ScriptsNeeded ShelleyEra = ShelleyScriptsNeeded 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 (Tx ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Tx type Rep (Tx ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx ShelleyEra))))
type Rep (TxBody ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep (TxBody ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ShelleyTxBodyRaw))))
type Rep (TransitionConfig ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Transition type Rep (TransitionConfig ShelleyEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Shelley.Transition" "cardano-ledger-shelley-1.17.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesis)))
type RawType (TxBody ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type RawType (TxBody ShelleyEra) = ShelleyTxBodyRaw
type Prerequisites (TxBody ShelleyEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody type Prerequisites (TxBody ShelleyEra) = ()
type TypeSpec (TxBody ShelleyEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody type TypeSpec (TxBody ShelleyEra) = TypeSpec (SimpleRep (TxBody ShelleyEra))
type SimpleRep (TxBody ShelleyEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody type SimpleRep (TxBody ShelleyEra) = SOP '["ShelleyTxBody" ::: ShelleyTxBodyTypes]
type TheSop (TxBody ShelleyEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody type TheSop (TxBody ShelleyEra) = SOPOf (Rep (TxBody ShelleyEra))

data AllegraEra Source #

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 Methods vldtTxBodyL ∷ Lens' (TxBody AllegraEra) ValidityInterval Source #
AllegraEraTest AllegraEra
Instance details Defined in Test.Cardano.Ledger.Allegra.Era
EraApi AllegraEra
Instance details Defined in Cardano.Ledger.Api.Era Associated Types type TxUpgradeError AllegraEra Source # type TxBodyUpgradeError AllegraEra Source # Methods upgradeTx ∷ Tx (PreviousEra AllegraEra) → Either (TxUpgradeError AllegraEra) (Tx AllegraEra) Source # upgradeTxBody ∷ TxBody (PreviousEra AllegraEra) → Either (TxBodyUpgradeError AllegraEra) (TxBody AllegraEra) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra AllegraEra) → TxAuxData AllegraEra Source # upgradeTxWits ∷ TxWits (PreviousEra AllegraEra) → TxWits AllegraEra Source #
EraSpecCert AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Cert Methods txCertSpec ∷ WitUniv AllegraEra → CertEnv AllegraEra → CertState AllegraEra → Specification (TxCert AllegraEra) Source # txCertKey ∷ TxCert AllegraEra → CertKey Source # certStateSpec ∷ WitUniv AllegraEra → Set (Credential 'DRepRole) → Map RewardAccount Coin → Specification (CertState 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 #
EraSpecTxOut AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.ParametricSpec Methods irewardSpec ∷ WitUniv AllegraEra → Term ChainAccountState → Specification InstantaneousRewards Source # hasPtrs ∷ proxy AllegraEra → Term Bool Source # txOutValue_ ∷ Term (TxOut AllegraEra) → Term (Value AllegraEra) Source # txOutCoin_ ∷ Term (TxOut AllegraEra) → Term Coin Source # txOutAddr_ ∷ Term (TxOut AllegraEra) → Term Addr Source #
EraSpecTxCert AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witTxCert ∷ WitUniv AllegraEra → Specification (TxCert AllegraEra) 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 #
EraModel AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Instances Methods applyTx ∷ Int → SlotNo → Model AllegraEra → Tx AllegraEra → Model AllegraEra Source # applyCert ∷ Model AllegraEra → TxCert AllegraEra → Model AllegraEra Source # mkRedeemersFromTags ∷ [((PlutusPurposeTag, Word32), (Data AllegraEra, ExUnits))] → Redeemers AllegraEra Source # mkRedeemers ∷ [(PlutusPurpose AsIx AllegraEra, (Data AllegraEra, ExUnits))] → Redeemers AllegraEra Source # newScriptIntegrityHash ∷ PParams AllegraEra → [Language] → Redeemers AllegraEra → TxDats AllegraEra → StrictMaybe ScriptIntegrityHash Source # mkPlutusPurposePointer ∷ PlutusPurposeTag → Word32 → PlutusPurpose AsIx AllegraEra Source # always ∷ Natural → Script AllegraEra Source # never ∷ Natural → Script AllegraEra Source # collateralReturnTxBodyT ∷ Lens' (TxBody AllegraEra) (StrictMaybe (TxOut AllegraEra)) Source # validTxOut ∷ Map ScriptHash (Script AllegraEra) → TxOut AllegraEra → Bool Source #
EraGenericGen AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Instances Methods setValidity ∷ ValidityInterval → TxBody AllegraEra → TxBody AllegraEra Source # setReferenceInputs ∷ Set TxIn → TxBody AllegraEra → TxBody AllegraEra Source # setCollateralInputs ∷ Set TxIn → TxBody AllegraEra → TxBody AllegraEra Source # setTotalCollateral ∷ StrictMaybe Coin → TxBody AllegraEra → TxBody AllegraEra Source # setCollateralReturn ∷ StrictMaybe (TxOut AllegraEra) → TxBody AllegraEra → TxBody AllegraEra Source # addRedeemers ∷ Redeemers AllegraEra → TxWits AllegraEra → TxWits AllegraEra Source # setScriptIntegrityHash ∷ StrictMaybe ScriptIntegrityHash → TxBody AllegraEra → TxBody AllegraEra Source # setNetworkIdTxBody ∷ StrictMaybe Network → TxBody AllegraEra → TxBody AllegraEra Source # genExUnits ∷ Int → GenRS AllegraEra [ExUnits] Source # genPParams ∷ GenSize → Gen (PParams AllegraEra) Source # ppMaxCollateralInputsT ∷ Lens' (PParams AllegraEra) Natural Source # ppCollateralPercentageT ∷ Lens' (PParams AllegraEra) Natural Source # ppCostModelsT ∷ Lens' (PParams AllegraEra) CostModels Source # ppMaxTxExUnitsT ∷ Lens' (PParams AllegraEra) ExUnits Source # ppMaxBlockExUnitsT ∷ Lens' (PParams AllegraEra) ExUnits Source # ppMaxValSizeT ∷ Lens' (PParams AllegraEra) Natural Source # mkScriptIntegrityHash ∷ PParams AllegraEra → [Language] → TxWits AllegraEra → StrictMaybe ScriptIntegrityHash Source #
Reflect AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Proof Methods reify ∷ Proof AllegraEra Source # lift ∷ (Proof AllegraEra → a) → a 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 #
InjectRuleFailure "UTXO" AllegraUtxoPredFailure AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo Methods injectFailure ∷ AllegraUtxoPredFailure AllegraEra → EraRuleFailure "UTXO" AllegraEra Source #
HasSpec (TxBody AllegraEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody Associated Types type TypeSpec (TxBody AllegraEra) Source # type Prerequisites (TxBody AllegraEra) Source # Methods emptySpec ∷ TypeSpec (TxBody AllegraEra) Source # combineSpec ∷ TypeSpec (TxBody AllegraEra) → TypeSpec (TxBody AllegraEra) → Specification (TxBody AllegraEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (TxBody AllegraEra) → GenT m (TxBody AllegraEra) Source # conformsTo ∷ TxBody AllegraEra → TypeSpec (TxBody AllegraEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (TxBody AllegraEra) → TxBody AllegraEra → [TxBody AllegraEra] Source # toPreds ∷ Term (TxBody AllegraEra) → TypeSpec (TxBody AllegraEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (TxBody AllegraEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (TxBody AllegraEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (TxBody AllegraEra) → BinaryShow Source # monadConformsTo ∷ TxBody AllegraEra → TypeSpec (TxBody AllegraEra) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec (TxBody AllegraEra) → [TxBody AllegraEra] → Specification (TxBody AllegraEra) Source # guardTypeSpec ∷ [String] → TypeSpec (TxBody AllegraEra) → Specification (TxBody AllegraEra) Source # prerequisites ∷ Evidence (Prerequisites (TxBody AllegraEra)) Source #
HasSimpleRep (TxBody AllegraEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody Associated Types type SimpleRep (TxBody AllegraEra) Source # type TheSop (TxBody AllegraEra) ∷ [Type] Source # Methods toSimpleRep ∷ TxBody AllegraEra → SimpleRep (TxBody AllegraEra) Source # fromSimpleRep ∷ SimpleRep (TxBody AllegraEra) → TxBody AllegraEra Source #
type TxBodyUpgradeError AllegraEra
Instance details Defined in Cardano.Ledger.Api.Era type TxBodyUpgradeError AllegraEra = Void
type TxUpgradeError AllegraEra
Instance details Defined in Cardano.Ledger.Api.Era type TxUpgradeError AllegraEra = Void
type BlockBody AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.BlockBody type BlockBody AllegraEra = ShelleyBlockBody AllegraEra
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
newtype Tx AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Tx newtype Tx AllegraEra = MkAllegraTx { unAllegraTx ∷ ShelleyTx AllegraEra }
type TxAuxData AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData type TxAuxData AllegraEra = AllegraTxAuxData AllegraEra
newtype TxBody AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxBody newtype TxBody AllegraEra = MkAllegraTxBody (MemoBytes (AllegraTxBodyRaw () AllegraEra))
type TxOut AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxOut type TxOut AllegraEra = ShelleyTxOut AllegraEra
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 AccountState AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.State.Account type AccountState AllegraEra = ShelleyAccountState AllegraEra
type Accounts AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.State.Account type Accounts AllegraEra = ShelleyAccounts AllegraEra
type CertState AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.State.CertState type CertState AllegraEra = ShelleyCertState AllegraEra
type GovState AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.PParams type GovState AllegraEra = ShelleyGovState AllegraEra
type InstantStake AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.State.Stake type InstantStake AllegraEra = ShelleyInstantStake AllegraEra
type ScriptsNeeded AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.UTxO type ScriptsNeeded AllegraEra = ShelleyScriptsNeeded 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 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 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 FuturePParams
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra FuturePParams = Void
type TranslationError AllegraEra UTxO
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra UTxO = 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 ShelleyAccounts
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyAccounts = Void
type TranslationError AllegraEra ShelleyCertState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyCertState = Void
type TranslationError AllegraEra ShelleyInstantStake
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyInstantStake = 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
type Rep (Tx AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra.Tx type Rep (Tx AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.8.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx AllegraEra))))
type Rep (TxBody AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra.TxBody type Rep (TxBody AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.8.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () AllegraEra)))))
type RawType (TxBody AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra.TxBody type RawType (TxBody AllegraEra) = AllegraTxBodyRaw () AllegraEra
type Prerequisites (TxBody AllegraEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody type Prerequisites (TxBody AllegraEra) = ()
type TypeSpec (TxBody AllegraEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody type TypeSpec (TxBody AllegraEra) = TypeSpec (SimpleRep (TxBody AllegraEra))
type SimpleRep (TxBody AllegraEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody type SimpleRep (TxBody AllegraEra) = SOP '["AllegraTxBody" ::: AllegraTxBodyTypes]
type TheSop (TxBody AllegraEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody type TheSop (TxBody AllegraEra) = SOPOf (Rep (TxBody AllegraEra))

data MaryEra Source #

Instances

Instances details

EraApi MaryEra
Instance details Defined in Cardano.Ledger.Api.Era Associated Types type TxUpgradeError MaryEra Source # type TxBodyUpgradeError MaryEra Source # Methods upgradeTx ∷ Tx (PreviousEra MaryEra) → Either (TxUpgradeError MaryEra) (Tx MaryEra) Source # upgradeTxBody ∷ TxBody (PreviousEra MaryEra) → Either (TxBodyUpgradeError MaryEra) (TxBody MaryEra) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra MaryEra) → TxAuxData MaryEra Source # upgradeTxWits ∷ TxWits (PreviousEra MaryEra) → TxWits MaryEra Source #
MaryEraTxBody MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods mintTxBodyL ∷ Lens' (TxBody MaryEra) MultiAsset Source # mintedTxBodyF ∷ SimpleGetter (TxBody MaryEra) (Set PolicyID) Source # mintValueTxBodyF ∷ SimpleGetter (TxBody MaryEra) (Value MaryEra) Source #
MaryEraTest MaryEra
Instance details Defined in Test.Cardano.Ledger.Mary.Era
MaryEraImp MaryEra
Instance details Defined in Test.Cardano.Ledger.Mary.ImpTest
EraSpecCert MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Cert Methods txCertSpec ∷ WitUniv MaryEra → CertEnv MaryEra → CertState MaryEra → Specification (TxCert MaryEra) Source # txCertKey ∷ TxCert MaryEra → CertKey Source # certStateSpec ∷ WitUniv MaryEra → Set (Credential 'DRepRole) → Map RewardAccount Coin → Specification (CertState MaryEra) 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 #
EraSpecTxOut MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.ParametricSpec Methods irewardSpec ∷ WitUniv MaryEra → Term ChainAccountState → Specification InstantaneousRewards Source # hasPtrs ∷ proxy MaryEra → Term Bool Source # txOutValue_ ∷ Term (TxOut MaryEra) → Term (Value MaryEra) Source # txOutCoin_ ∷ Term (TxOut MaryEra) → Term Coin Source # txOutAddr_ ∷ Term (TxOut MaryEra) → Term Addr Source #
EraSpecTxCert MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witTxCert ∷ WitUniv MaryEra → Specification (TxCert MaryEra) 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 #
EraModel MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Instances Methods applyTx ∷ Int → SlotNo → Model MaryEra → Tx MaryEra → Model MaryEra Source # applyCert ∷ Model MaryEra → TxCert MaryEra → Model MaryEra Source # mkRedeemersFromTags ∷ [((PlutusPurposeTag, Word32), (Data MaryEra, ExUnits))] → Redeemers MaryEra Source # mkRedeemers ∷ [(PlutusPurpose AsIx MaryEra, (Data MaryEra, ExUnits))] → Redeemers MaryEra Source # newScriptIntegrityHash ∷ PParams MaryEra → [Language] → Redeemers MaryEra → TxDats MaryEra → StrictMaybe ScriptIntegrityHash Source # mkPlutusPurposePointer ∷ PlutusPurposeTag → Word32 → PlutusPurpose AsIx MaryEra Source # always ∷ Natural → Script MaryEra Source # never ∷ Natural → Script MaryEra Source # collateralReturnTxBodyT ∷ Lens' (TxBody MaryEra) (StrictMaybe (TxOut MaryEra)) Source # validTxOut ∷ Map ScriptHash (Script MaryEra) → TxOut MaryEra → Bool Source #
EraGenericGen MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Instances Methods setValidity ∷ ValidityInterval → TxBody MaryEra → TxBody MaryEra Source # setReferenceInputs ∷ Set TxIn → TxBody MaryEra → TxBody MaryEra Source # setCollateralInputs ∷ Set TxIn → TxBody MaryEra → TxBody MaryEra Source # setTotalCollateral ∷ StrictMaybe Coin → TxBody MaryEra → TxBody MaryEra Source # setCollateralReturn ∷ StrictMaybe (TxOut MaryEra) → TxBody MaryEra → TxBody MaryEra Source # addRedeemers ∷ Redeemers MaryEra → TxWits MaryEra → TxWits MaryEra Source # setScriptIntegrityHash ∷ StrictMaybe ScriptIntegrityHash → TxBody MaryEra → TxBody MaryEra Source # setNetworkIdTxBody ∷ StrictMaybe Network → TxBody MaryEra → TxBody MaryEra Source # genExUnits ∷ Int → GenRS MaryEra [ExUnits] Source # genPParams ∷ GenSize → Gen (PParams MaryEra) Source # ppMaxCollateralInputsT ∷ Lens' (PParams MaryEra) Natural Source # ppCollateralPercentageT ∷ Lens' (PParams MaryEra) Natural Source # ppCostModelsT ∷ Lens' (PParams MaryEra) CostModels Source # ppMaxTxExUnitsT ∷ Lens' (PParams MaryEra) ExUnits Source # ppMaxBlockExUnitsT ∷ Lens' (PParams MaryEra) ExUnits Source # ppMaxValSizeT ∷ Lens' (PParams MaryEra) Natural Source # mkScriptIntegrityHash ∷ PParams MaryEra → [Language] → TxWits MaryEra → StrictMaybe ScriptIntegrityHash Source #
Reflect MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Proof Methods reify ∷ Proof MaryEra Source # lift ∷ (Proof MaryEra → a) → a 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 #
HasSpec (TxBody MaryEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody Associated Types type TypeSpec (TxBody MaryEra) Source # type Prerequisites (TxBody MaryEra) Source # Methods emptySpec ∷ TypeSpec (TxBody MaryEra) Source # combineSpec ∷ TypeSpec (TxBody MaryEra) → TypeSpec (TxBody MaryEra) → Specification (TxBody MaryEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (TxBody MaryEra) → GenT m (TxBody MaryEra) Source # conformsTo ∷ TxBody MaryEra → TypeSpec (TxBody MaryEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (TxBody MaryEra) → TxBody MaryEra → [TxBody MaryEra] Source # toPreds ∷ Term (TxBody MaryEra) → TypeSpec (TxBody MaryEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (TxBody MaryEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (TxBody MaryEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (TxBody MaryEra) → BinaryShow Source # monadConformsTo ∷ TxBody MaryEra → TypeSpec (TxBody MaryEra) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec (TxBody MaryEra) → [TxBody MaryEra] → Specification (TxBody MaryEra) Source # guardTypeSpec ∷ [String] → TypeSpec (TxBody MaryEra) → Specification (TxBody MaryEra) Source # prerequisites ∷ Evidence (Prerequisites (TxBody MaryEra)) Source #
HasSimpleRep (TxBody MaryEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody Associated Types type SimpleRep (TxBody MaryEra) Source # type TheSop (TxBody MaryEra) ∷ [Type] Source # Methods toSimpleRep ∷ TxBody MaryEra → SimpleRep (TxBody MaryEra) Source # fromSimpleRep ∷ SimpleRep (TxBody MaryEra) → TxBody MaryEra Source #
type TxBodyUpgradeError MaryEra
Instance details Defined in Cardano.Ledger.Api.Era type TxBodyUpgradeError MaryEra = Void
type TxUpgradeError MaryEra
Instance details Defined in Cardano.Ledger.Api.Era type TxUpgradeError MaryEra = Void
type BlockBody MaryEra
Instance details Defined in Cardano.Ledger.Mary.BlockBody type BlockBody MaryEra = ShelleyBlockBody MaryEra
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
newtype Tx MaryEra
Instance details Defined in Cardano.Ledger.Mary.Tx newtype Tx MaryEra = MkMaryTx { unMaryTx ∷ ShelleyTx MaryEra }
type TxAuxData MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxAuxData type TxAuxData MaryEra = AllegraTxAuxData MaryEra
newtype TxBody MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxBody newtype TxBody MaryEra = MkMaryTxBody (MemoBytes MaryTxBodyRaw)
type TxOut MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxOut type TxOut MaryEra = ShelleyTxOut MaryEra
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 MemoHashIndex MaryTxBodyRaw
Instance details Defined in Cardano.Ledger.Mary.TxBody type MemoHashIndex MaryTxBodyRaw = EraIndependentTxBody
type AccountState MaryEra
Instance details Defined in Cardano.Ledger.Mary.State.Account type AccountState MaryEra = ShelleyAccountState MaryEra
type Accounts MaryEra
Instance details Defined in Cardano.Ledger.Mary.State.Account type Accounts MaryEra = ShelleyAccounts MaryEra
type CertState MaryEra
Instance details Defined in Cardano.Ledger.Mary.State.CertState type CertState MaryEra = ShelleyCertState MaryEra
type GovState MaryEra
Instance details Defined in Cardano.Ledger.Mary.PParams type GovState MaryEra = ShelleyGovState MaryEra
type InstantStake MaryEra
Instance details Defined in Cardano.Ledger.Mary.State.Stake type InstantStake MaryEra = ShelleyInstantStake MaryEra
type ScriptsNeeded MaryEra
Instance details Defined in Cardano.Ledger.Mary.UTxO type ScriptsNeeded MaryEra = ShelleyScriptsNeeded 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 AllegraTxAuxData
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra AllegraTxAuxData = 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 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 FuturePParams
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra FuturePParams = Void
type TranslationError MaryEra UTxO
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra UTxO = 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 ShelleyAccounts
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyAccounts = Void
type TranslationError MaryEra ShelleyCertState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyCertState = Void
type TranslationError MaryEra ShelleyInstantStake
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyInstantStake = 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
type TranslationError MaryEra (Timelock ∷ Type → Type)
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra (Timelock ∷ Type → Type) = Void
type Rep (Tx MaryEra)
Instance details Defined in Cardano.Ledger.Mary.Tx type Rep (Tx MaryEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Mary.Tx" "cardano-ledger-mary-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMaryTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx MaryEra))))
type Rep (TxBody MaryEra)
Instance details Defined in Cardano.Ledger.Mary.TxBody type Rep (TxBody MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes MaryTxBodyRaw))))
type RawType (TxBody MaryEra)
Instance details Defined in Cardano.Ledger.Mary.TxBody type RawType (TxBody MaryEra) = MaryTxBodyRaw
type Prerequisites (TxBody MaryEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody type Prerequisites (TxBody MaryEra) = ()
type TypeSpec (TxBody MaryEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody type TypeSpec (TxBody MaryEra) = TypeSpec (SimpleRep (TxBody MaryEra))
type SimpleRep (TxBody MaryEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody type SimpleRep (TxBody MaryEra) = SOP '["MaryTxBody" ::: MaryTxBodyTypes]
type TheSop (TxBody MaryEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody type TheSop (TxBody MaryEra) = SOPOf (Rep (TxBody MaryEra))

data AlonzoEra Source #

Instances

Instances details

AlonzoEraPParams AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.PParams 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) m. (PlutusLanguage l, MonadFail m) ⇒ Plutus l → m (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 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 #
AlonzoEraTest AlonzoEra
Instance details Defined in Test.Cardano.Ledger.Alonzo.Era
AlonzoEraImp AlonzoEra
Instance details Defined in Test.Cardano.Ledger.Alonzo.ImpTest Methods scriptTestContexts ∷ Map ScriptHash ScriptTestContext Source #
EraApi AlonzoEra
Instance details Defined in Cardano.Ledger.Api.Era Associated Types type TxUpgradeError AlonzoEra Source # type TxBodyUpgradeError AlonzoEra Source # Methods upgradeTx ∷ Tx (PreviousEra AlonzoEra) → Either (TxUpgradeError AlonzoEra) (Tx AlonzoEra) Source # upgradeTxBody ∷ TxBody (PreviousEra AlonzoEra) → Either (TxBodyUpgradeError AlonzoEra) (TxBody AlonzoEra) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra AlonzoEra) → TxAuxData AlonzoEra Source # upgradeTxWits ∷ TxWits (PreviousEra AlonzoEra) → TxWits AlonzoEra Source #
EraSpecCert AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Cert Methods txCertSpec ∷ WitUniv AlonzoEra → CertEnv AlonzoEra → CertState AlonzoEra → Specification (TxCert AlonzoEra) Source # txCertKey ∷ TxCert AlonzoEra → CertKey Source # certStateSpec ∷ WitUniv AlonzoEra → Set (Credential 'DRepRole) → Map RewardAccount Coin → Specification (CertState AlonzoEra) 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 #
EraSpecTxOut AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.ParametricSpec Methods irewardSpec ∷ WitUniv AlonzoEra → Term ChainAccountState → Specification InstantaneousRewards Source # hasPtrs ∷ proxy AlonzoEra → Term Bool Source # txOutValue_ ∷ Term (TxOut AlonzoEra) → Term (Value AlonzoEra) Source # txOutCoin_ ∷ Term (TxOut AlonzoEra) → Term Coin Source # txOutAddr_ ∷ Term (TxOut AlonzoEra) → Term Addr Source #
EraSpecTxCert AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witTxCert ∷ WitUniv AlonzoEra → Specification (TxCert AlonzoEra) 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 #
EraModel AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Instances Methods applyTx ∷ Int → SlotNo → Model AlonzoEra → Tx AlonzoEra → Model AlonzoEra Source # applyCert ∷ Model AlonzoEra → TxCert AlonzoEra → Model AlonzoEra Source # mkRedeemersFromTags ∷ [((PlutusPurposeTag, Word32), (Data AlonzoEra, ExUnits))] → Redeemers AlonzoEra Source # mkRedeemers ∷ [(PlutusPurpose AsIx AlonzoEra, (Data AlonzoEra, ExUnits))] → Redeemers AlonzoEra Source # newScriptIntegrityHash ∷ PParams AlonzoEra → [Language] → Redeemers AlonzoEra → TxDats AlonzoEra → StrictMaybe ScriptIntegrityHash Source # mkPlutusPurposePointer ∷ PlutusPurposeTag → Word32 → PlutusPurpose AsIx AlonzoEra Source # always ∷ Natural → Script AlonzoEra Source # never ∷ Natural → Script AlonzoEra Source # collateralReturnTxBodyT ∷ Lens' (TxBody AlonzoEra) (StrictMaybe (TxOut AlonzoEra)) Source # validTxOut ∷ Map ScriptHash (Script AlonzoEra) → TxOut AlonzoEra → Bool Source #
EraGenericGen AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Instances Methods setValidity ∷ ValidityInterval → TxBody AlonzoEra → TxBody AlonzoEra Source # setReferenceInputs ∷ Set TxIn → TxBody AlonzoEra → TxBody AlonzoEra Source # setCollateralInputs ∷ Set TxIn → TxBody AlonzoEra → TxBody AlonzoEra Source # setTotalCollateral ∷ StrictMaybe Coin → TxBody AlonzoEra → TxBody AlonzoEra Source # setCollateralReturn ∷ StrictMaybe (TxOut AlonzoEra) → TxBody AlonzoEra → TxBody AlonzoEra Source # addRedeemers ∷ Redeemers AlonzoEra → TxWits AlonzoEra → TxWits AlonzoEra Source # setScriptIntegrityHash ∷ StrictMaybe ScriptIntegrityHash → TxBody AlonzoEra → TxBody AlonzoEra Source # setNetworkIdTxBody ∷ StrictMaybe Network → TxBody AlonzoEra → TxBody AlonzoEra Source # genExUnits ∷ Int → GenRS AlonzoEra [ExUnits] Source # genPParams ∷ GenSize → Gen (PParams AlonzoEra) Source # ppMaxCollateralInputsT ∷ Lens' (PParams AlonzoEra) Natural Source # ppCollateralPercentageT ∷ Lens' (PParams AlonzoEra) Natural Source # ppCostModelsT ∷ Lens' (PParams AlonzoEra) CostModels Source # ppMaxTxExUnitsT ∷ Lens' (PParams AlonzoEra) ExUnits Source # ppMaxBlockExUnitsT ∷ Lens' (PParams AlonzoEra) ExUnits Source # ppMaxValSizeT ∷ Lens' (PParams AlonzoEra) Natural Source # mkScriptIntegrityHash ∷ PParams AlonzoEra → [Language] → TxWits AlonzoEra → StrictMaybe ScriptIntegrityHash Source #
Reflect AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Proof Methods reify ∷ Proof AlonzoEra Source # lift ∷ (Proof AlonzoEra → a) → a 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 #
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 # Methods from ∷ PlutusScript AlonzoEra → Rep (PlutusScript AlonzoEra) x # to ∷ Rep (PlutusScript AlonzoEra) x → PlutusScript AlonzoEra #
Show (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods showsPrec ∷ Int → PlutusScript AlonzoEra → ShowS # show ∷ PlutusScript AlonzoEra → String # showList ∷ [PlutusScript AlonzoEra] → ShowS #
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 #
HasSpec (TxBody AlonzoEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody Associated Types type TypeSpec (TxBody AlonzoEra) Source # type Prerequisites (TxBody AlonzoEra) Source # Methods emptySpec ∷ TypeSpec (TxBody AlonzoEra) Source # combineSpec ∷ TypeSpec (TxBody AlonzoEra) → TypeSpec (TxBody AlonzoEra) → Specification (TxBody AlonzoEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (TxBody AlonzoEra) → GenT m (TxBody AlonzoEra) Source # conformsTo ∷ TxBody AlonzoEra → TypeSpec (TxBody AlonzoEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (TxBody AlonzoEra) → TxBody AlonzoEra → [TxBody AlonzoEra] Source # toPreds ∷ Term (TxBody AlonzoEra) → TypeSpec (TxBody AlonzoEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (TxBody AlonzoEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (TxBody AlonzoEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (TxBody AlonzoEra) → BinaryShow Source # monadConformsTo ∷ TxBody AlonzoEra → TypeSpec (TxBody AlonzoEra) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec (TxBody AlonzoEra) → [TxBody AlonzoEra] → Specification (TxBody AlonzoEra) Source # guardTypeSpec ∷ [String] → TypeSpec (TxBody AlonzoEra) → Specification (TxBody AlonzoEra) Source # prerequisites ∷ Evidence (Prerequisites (TxBody AlonzoEra)) Source #
HasSimpleRep (TxBody AlonzoEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody Associated Types type SimpleRep (TxBody AlonzoEra) Source # type TheSop (TxBody AlonzoEra) ∷ [Type] Source # Methods toSimpleRep ∷ TxBody AlonzoEra → SimpleRep (TxBody AlonzoEra) Source # fromSimpleRep ∷ SimpleRep (TxBody AlonzoEra) → TxBody AlonzoEra Source #
NFData (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods rnf ∷ PlutusScript AlonzoEra → () #
Eq (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods (==) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool # (/=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #
Ord (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods compare ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Ordering # (<) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool # (<=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool # (>) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool # (>=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool # max ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra # min ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra #
MemPack (PlutusScript AlonzoEra)	It might seem that this instance unnecessarily utilizes a zero Tag, but it is needed for forward compatibility with plutus scripts from future eras. That being said, currently this instance is not used at all, since reference scripts where introduced in Babbage era and `MemPack` for now is only used for `TxOut`s
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods typeName ∷ String Source # packedByteCount ∷ PlutusScript AlonzoEra → Int Source # packM ∷ PlutusScript AlonzoEra → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b (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 #
type ContextError AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo type ContextError AlonzoEra = AlonzoContextError AlonzoEra
newtype TxInfoResult AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo newtype TxInfoResult AlonzoEra = AlonzoTxInfoResult (Either (ContextError AlonzoEra) (PlutusTxInfo 'PlutusV1))
newtype PlutusScript AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts newtype PlutusScript AlonzoEra = AlonzoPlutusV1 (Plutus 'PlutusV1)
type TxBodyUpgradeError AlonzoEra
Instance details Defined in Cardano.Ledger.Api.Era type TxBodyUpgradeError AlonzoEra = AlonzoTxBodyUpgradeError
type TxUpgradeError AlonzoEra
Instance details Defined in Cardano.Ledger.Api.Era type TxUpgradeError AlonzoEra = AlonzoTxUpgradeError
type BlockBody AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.BlockBody.Internal type BlockBody AlonzoEra = AlonzoBlockBody AlonzoEra
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
newtype Tx AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Tx newtype Tx AlonzoEra = MkAlonzoTx { unAlonzoTx ∷ AlonzoTx AlonzoEra }
type TxAuxData AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type TxAuxData AlonzoEra = AlonzoTxAuxData AlonzoEra
newtype TxBody AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxBody newtype TxBody AlonzoEra = MkAlonzoTxBody (MemoBytes AlonzoTxBodyRaw)
type TxOut AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxOut type TxOut AlonzoEra = AlonzoTxOut AlonzoEra
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 AccountState AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.State.Account type AccountState AlonzoEra = ShelleyAccountState AlonzoEra
type Accounts AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.State.Account type Accounts AlonzoEra = ShelleyAccounts AlonzoEra
type CertState AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.State.CertState type CertState AlonzoEra = ShelleyCertState AlonzoEra
type GovState AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.PParams type GovState AlonzoEra = ShelleyGovState AlonzoEra
type InstantStake AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.State.Stake type InstantStake AlonzoEra = ShelleyInstantStake AlonzoEra
type ScriptsNeeded AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.UTxO type ScriptsNeeded AlonzoEra = AlonzoScriptsNeeded 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 PParams
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra PParams = 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 FuturePParams
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra FuturePParams = Void
type TranslationError AlonzoEra UTxO
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra UTxO = 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 TranslationError AlonzoEra ShelleyAccounts
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ShelleyAccounts = Void
type TranslationError AlonzoEra ShelleyCertState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ShelleyCertState = Void
type TranslationError AlonzoEra ShelleyInstantStake
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ShelleyInstantStake = Void
type Rep (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)
type Rep (Tx AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Tx type Rep (Tx AlonzoEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.14.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx AlonzoEra))))
type Rep (TxBody AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.TxBody type Rep (TxBody AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.14.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxBodyRaw))))
type Rep (TransitionConfig AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Transition type Rep (TransitionConfig AlonzoEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Alonzo.Transition" "cardano-ledger-alonzo-1.14.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "atcAlonzoGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AlonzoGenesis) :*: S1 ('MetaSel ('Just "atcMaryTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig MaryEra))))
type RawType (TxBody AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.TxBody type RawType (TxBody AlonzoEra) = AlonzoTxBodyRaw
type Prerequisites (TxBody AlonzoEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody type Prerequisites (TxBody AlonzoEra) = ()
type TypeSpec (TxBody AlonzoEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody type TypeSpec (TxBody AlonzoEra) = TypeSpec (SimpleRep (TxBody AlonzoEra))
type SimpleRep (TxBody AlonzoEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody type SimpleRep (TxBody AlonzoEra) = SOP '["AlonzoTxBody" ::: AlonzoTxBodyTypes]
type TheSop (TxBody AlonzoEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody type TheSop (TxBody AlonzoEra) = SOPOf (Rep (TxBody AlonzoEra))

data BabbageEra Source #

Instances

Instances details

EraApi BabbageEra
Instance details Defined in Cardano.Ledger.Api.Era Associated Types type TxUpgradeError BabbageEra Source # type TxBodyUpgradeError BabbageEra Source # Methods upgradeTx ∷ Tx (PreviousEra BabbageEra) → Either (TxUpgradeError BabbageEra) (Tx BabbageEra) Source # upgradeTxBody ∷ TxBody (PreviousEra BabbageEra) → Either (TxBodyUpgradeError BabbageEra) (TxBody BabbageEra) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra BabbageEra) → TxAuxData BabbageEra Source # upgradeTxWits ∷ TxWits (PreviousEra BabbageEra) → TxWits BabbageEra Source #
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 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 #
BabbageEraTest BabbageEra
Instance details Defined in Test.Cardano.Ledger.Babbage.Era
EraSpecCert BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Cert Methods txCertSpec ∷ WitUniv BabbageEra → CertEnv BabbageEra → CertState BabbageEra → Specification (TxCert BabbageEra) Source # txCertKey ∷ TxCert BabbageEra → CertKey Source # certStateSpec ∷ WitUniv BabbageEra → Set (Credential 'DRepRole) → Map RewardAccount Coin → Specification (CertState 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 #
EraSpecTxOut BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.ParametricSpec Methods irewardSpec ∷ WitUniv BabbageEra → Term ChainAccountState → Specification InstantaneousRewards Source # hasPtrs ∷ proxy BabbageEra → Term Bool Source # txOutValue_ ∷ Term (TxOut BabbageEra) → Term (Value BabbageEra) Source # txOutCoin_ ∷ Term (TxOut BabbageEra) → Term Coin Source # txOutAddr_ ∷ Term (TxOut BabbageEra) → Term Addr Source #
EraSpecTxCert BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witTxCert ∷ WitUniv BabbageEra → Specification (TxCert BabbageEra) 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 #
EraModel BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Instances Methods applyTx ∷ Int → SlotNo → Model BabbageEra → Tx BabbageEra → Model BabbageEra Source # applyCert ∷ Model BabbageEra → TxCert BabbageEra → Model BabbageEra Source # mkRedeemersFromTags ∷ [((PlutusPurposeTag, Word32), (Data BabbageEra, ExUnits))] → Redeemers BabbageEra Source # mkRedeemers ∷ [(PlutusPurpose AsIx BabbageEra, (Data BabbageEra, ExUnits))] → Redeemers BabbageEra Source # newScriptIntegrityHash ∷ PParams BabbageEra → [Language] → Redeemers BabbageEra → TxDats BabbageEra → StrictMaybe ScriptIntegrityHash Source # mkPlutusPurposePointer ∷ PlutusPurposeTag → Word32 → PlutusPurpose AsIx BabbageEra Source # always ∷ Natural → Script BabbageEra Source # never ∷ Natural → Script BabbageEra Source # collateralReturnTxBodyT ∷ Lens' (TxBody BabbageEra) (StrictMaybe (TxOut BabbageEra)) Source # validTxOut ∷ Map ScriptHash (Script BabbageEra) → TxOut BabbageEra → Bool Source #
EraGenericGen BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Instances Methods setValidity ∷ ValidityInterval → TxBody BabbageEra → TxBody BabbageEra Source # setReferenceInputs ∷ Set TxIn → TxBody BabbageEra → TxBody BabbageEra Source # setCollateralInputs ∷ Set TxIn → TxBody BabbageEra → TxBody BabbageEra Source # setTotalCollateral ∷ StrictMaybe Coin → TxBody BabbageEra → TxBody BabbageEra Source # setCollateralReturn ∷ StrictMaybe (TxOut BabbageEra) → TxBody BabbageEra → TxBody BabbageEra Source # addRedeemers ∷ Redeemers BabbageEra → TxWits BabbageEra → TxWits BabbageEra Source # setScriptIntegrityHash ∷ StrictMaybe ScriptIntegrityHash → TxBody BabbageEra → TxBody BabbageEra Source # setNetworkIdTxBody ∷ StrictMaybe Network → TxBody BabbageEra → TxBody BabbageEra Source # genExUnits ∷ Int → GenRS BabbageEra [ExUnits] Source # genPParams ∷ GenSize → Gen (PParams BabbageEra) Source # ppMaxCollateralInputsT ∷ Lens' (PParams BabbageEra) Natural Source # ppCollateralPercentageT ∷ Lens' (PParams BabbageEra) Natural Source # ppCostModelsT ∷ Lens' (PParams BabbageEra) CostModels Source # ppMaxTxExUnitsT ∷ Lens' (PParams BabbageEra) ExUnits Source # ppMaxBlockExUnitsT ∷ Lens' (PParams BabbageEra) ExUnits Source # ppMaxValSizeT ∷ Lens' (PParams BabbageEra) Natural Source # mkScriptIntegrityHash ∷ PParams BabbageEra → [Language] → TxWits BabbageEra → StrictMaybe ScriptIntegrityHash Source #
Reflect BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Proof Methods reify ∷ Proof BabbageEra Source # lift ∷ (Proof BabbageEra → a) → a 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 #
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 #
HasSpec (TxBody BabbageEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody Associated Types type TypeSpec (TxBody BabbageEra) Source # type Prerequisites (TxBody BabbageEra) Source # Methods emptySpec ∷ TypeSpec (TxBody BabbageEra) Source # combineSpec ∷ TypeSpec (TxBody BabbageEra) → TypeSpec (TxBody BabbageEra) → Specification (TxBody BabbageEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (TxBody BabbageEra) → GenT m (TxBody BabbageEra) Source # conformsTo ∷ TxBody BabbageEra → TypeSpec (TxBody BabbageEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (TxBody BabbageEra) → TxBody BabbageEra → [TxBody BabbageEra] Source # toPreds ∷ Term (TxBody BabbageEra) → TypeSpec (TxBody BabbageEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (TxBody BabbageEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (TxBody BabbageEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (TxBody BabbageEra) → BinaryShow Source # monadConformsTo ∷ TxBody BabbageEra → TypeSpec (TxBody BabbageEra) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec (TxBody BabbageEra) → [TxBody BabbageEra] → Specification (TxBody BabbageEra) Source # guardTypeSpec ∷ [String] → TypeSpec (TxBody BabbageEra) → Specification (TxBody BabbageEra) Source # prerequisites ∷ Evidence (Prerequisites (TxBody BabbageEra)) Source #
HasSimpleRep (TxBody BabbageEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody Associated Types type SimpleRep (TxBody BabbageEra) Source # type TheSop (TxBody BabbageEra) ∷ [Type] Source # Methods toSimpleRep ∷ TxBody BabbageEra → SimpleRep (TxBody BabbageEra) Source # fromSimpleRep ∷ SimpleRep (TxBody BabbageEra) → TxBody BabbageEra Source #
type ContextError BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxInfo type ContextError BabbageEra = BabbageContextError BabbageEra
data TxInfoResult BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxInfo data TxInfoResult BabbageEra = BabbageTxInfoResult (Either (ContextError BabbageEra) (PlutusTxInfo 'PlutusV1)) (Either (ContextError BabbageEra) (PlutusTxInfo 'PlutusV2))
data PlutusScript BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Scripts data PlutusScript BabbageEra = BabbagePlutusV1 !(Plutus 'PlutusV1) \| BabbagePlutusV2 !(Plutus 'PlutusV2)
type TxBodyUpgradeError BabbageEra
Instance details Defined in Cardano.Ledger.Api.Era type TxBodyUpgradeError BabbageEra = BabbageTxBodyUpgradeError
type TxUpgradeError BabbageEra
Instance details Defined in Cardano.Ledger.Api.Era type TxUpgradeError BabbageEra = BabbageTxUpgradeError
type BlockBody BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.BlockBody type BlockBody BabbageEra = AlonzoBlockBody BabbageEra
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
newtype Tx BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Tx newtype Tx BabbageEra = MkBabbageTx { unBabbageTx ∷ AlonzoTx BabbageEra }
type TxAuxData BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxAuxData type TxAuxData BabbageEra = AlonzoTxAuxData BabbageEra
newtype TxBody BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxBody newtype TxBody BabbageEra = MkBabbageTxBody (MemoBytes BabbageTxBodyRaw)
type TxOut BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxOut type TxOut BabbageEra = BabbageTxOut BabbageEra
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 AccountState BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.State.Account type AccountState BabbageEra = ShelleyAccountState BabbageEra
type Accounts BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.State.Account type Accounts BabbageEra = ShelleyAccounts BabbageEra
type CertState BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.State.CertState type CertState BabbageEra = ShelleyCertState BabbageEra
type GovState BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.PParams type GovState BabbageEra = ShelleyGovState BabbageEra
type InstantStake BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.State.Stake type InstantStake BabbageEra = ShelleyInstantStake BabbageEra
type ScriptsNeeded BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.UTxO type ScriptsNeeded BabbageEra = AlonzoScriptsNeeded 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 PParams
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra PParams = 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 FuturePParams
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra FuturePParams = Void
type TranslationError BabbageEra UTxO
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra UTxO = 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 TranslationError BabbageEra ShelleyAccounts
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra ShelleyAccounts = Void
type TranslationError BabbageEra ShelleyCertState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra ShelleyCertState = Void
type TranslationError BabbageEra ShelleyInstantStake
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra ShelleyInstantStake = 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.12.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))))
type Rep (Tx BabbageEra)
Instance details Defined in Cardano.Ledger.Babbage.Tx type Rep (Tx BabbageEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Babbage.Tx" "cardano-ledger-babbage-1.12.0.0-inplace" 'True) (C1 ('MetaCons "MkBabbageTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBabbageTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx BabbageEra))))
type Rep (TxBody BabbageEra)
Instance details Defined in Cardano.Ledger.Babbage.TxBody type Rep (TxBody BabbageEra) = Rep (MemoBytes BabbageTxBodyRaw)
type RawType (TxBody BabbageEra)
Instance details Defined in Cardano.Ledger.Babbage.TxBody type RawType (TxBody BabbageEra) = BabbageTxBodyRaw
type Prerequisites (TxBody BabbageEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody type Prerequisites (TxBody BabbageEra) = ()
type TypeSpec (TxBody BabbageEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody type TypeSpec (TxBody BabbageEra) = TypeSpec (SimpleRep (TxBody BabbageEra))
type SimpleRep (TxBody BabbageEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody type SimpleRep (TxBody BabbageEra) = SOP '["BabbageTxBody" ::: BabbageTxBodyTypes]
type TheSop (TxBody BabbageEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody type TheSop (TxBody BabbageEra) = SOPOf (Rep (TxBody BabbageEra))

data ConwayEra Source #

Instances

Instances details

EraApi ConwayEra
Instance details Defined in Cardano.Ledger.Api.Era Associated Types type TxUpgradeError ConwayEra Source # type TxBodyUpgradeError ConwayEra Source # Methods upgradeTx ∷ Tx (PreviousEra ConwayEra) → Either (TxUpgradeError ConwayEra) (Tx ConwayEra) Source # upgradeTxBody ∷ TxBody (PreviousEra ConwayEra) → Either (TxBodyUpgradeError ConwayEra) (TxBody ConwayEra) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra ConwayEra) → TxAuxData ConwayEra Source # upgradeTxWits ∷ TxWits (PreviousEra ConwayEra) → TxWits ConwayEra Source #
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 #
ConwayEraAccounts ConwayEra
Instance details Defined in Cardano.Ledger.Conway.State.Account Methods mkConwayAccountState ∷ CompactForm Coin → AccountState ConwayEra Source # dRepDelegationAccountStateL ∷ Lens' (AccountState ConwayEra) (Maybe DRep) Source #
ConwayEraCertState ConwayEra
Instance details Defined in Cardano.Ledger.Conway.State.CertState Methods certVStateL ∷ Lens' (CertState ConwayEra) (VState ConwayEra) Source #
ConwayEraTransition ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Transition Methods tcConwayGenesisL ∷ Lens' (TransitionConfig ConwayEra) ConwayGenesis Source #
ConwayEraTxBody ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxBody 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 #
ConwayEraTest ConwayEra
Instance details Defined in Test.Cardano.Ledger.Conway.Era
EraSpecCert ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Cert Methods txCertSpec ∷ WitUniv ConwayEra → CertEnv ConwayEra → CertState ConwayEra → Specification (TxCert ConwayEra) Source # txCertKey ∷ TxCert ConwayEra → CertKey Source # certStateSpec ∷ WitUniv ConwayEra → Set (Credential 'DRepRole) → Map RewardAccount Coin → Specification (CertState ConwayEra) 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 #
EraSpecTxOut ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.ParametricSpec Methods irewardSpec ∷ WitUniv ConwayEra → Term ChainAccountState → Specification InstantaneousRewards Source # hasPtrs ∷ proxy ConwayEra → Term Bool Source # txOutValue_ ∷ Term (TxOut ConwayEra) → Term (Value ConwayEra) Source # txOutCoin_ ∷ Term (TxOut ConwayEra) → Term Coin Source # txOutAddr_ ∷ Term (TxOut ConwayEra) → Term Addr Source #
EraSpecTxCert ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witTxCert ∷ WitUniv ConwayEra → Specification (TxCert ConwayEra) 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 #
EraModel ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Instances Methods applyTx ∷ Int → SlotNo → Model ConwayEra → Tx ConwayEra → Model ConwayEra Source # applyCert ∷ Model ConwayEra → TxCert ConwayEra → Model ConwayEra Source # mkRedeemersFromTags ∷ [((PlutusPurposeTag, Word32), (Data ConwayEra, ExUnits))] → Redeemers ConwayEra Source # mkRedeemers ∷ [(PlutusPurpose AsIx ConwayEra, (Data ConwayEra, ExUnits))] → Redeemers ConwayEra Source # newScriptIntegrityHash ∷ PParams ConwayEra → [Language] → Redeemers ConwayEra → TxDats ConwayEra → StrictMaybe ScriptIntegrityHash Source # mkPlutusPurposePointer ∷ PlutusPurposeTag → Word32 → PlutusPurpose AsIx ConwayEra Source # always ∷ Natural → Script ConwayEra Source # never ∷ Natural → Script ConwayEra Source # collateralReturnTxBodyT ∷ Lens' (TxBody ConwayEra) (StrictMaybe (TxOut ConwayEra)) Source # validTxOut ∷ Map ScriptHash (Script ConwayEra) → TxOut ConwayEra → Bool Source #
EraGenericGen ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Instances Methods setValidity ∷ ValidityInterval → TxBody ConwayEra → TxBody ConwayEra Source # setReferenceInputs ∷ Set TxIn → TxBody ConwayEra → TxBody ConwayEra Source # setCollateralInputs ∷ Set TxIn → TxBody ConwayEra → TxBody ConwayEra Source # setTotalCollateral ∷ StrictMaybe Coin → TxBody ConwayEra → TxBody ConwayEra Source # setCollateralReturn ∷ StrictMaybe (TxOut ConwayEra) → TxBody ConwayEra → TxBody ConwayEra Source # addRedeemers ∷ Redeemers ConwayEra → TxWits ConwayEra → TxWits ConwayEra Source # setScriptIntegrityHash ∷ StrictMaybe ScriptIntegrityHash → TxBody ConwayEra → TxBody ConwayEra Source # setNetworkIdTxBody ∷ StrictMaybe Network → TxBody ConwayEra → TxBody ConwayEra Source # genExUnits ∷ Int → GenRS ConwayEra [ExUnits] Source # genPParams ∷ GenSize → Gen (PParams ConwayEra) Source # ppMaxCollateralInputsT ∷ Lens' (PParams ConwayEra) Natural Source # ppCollateralPercentageT ∷ Lens' (PParams ConwayEra) Natural Source # ppCostModelsT ∷ Lens' (PParams ConwayEra) CostModels Source # ppMaxTxExUnitsT ∷ Lens' (PParams ConwayEra) ExUnits Source # ppMaxBlockExUnitsT ∷ Lens' (PParams ConwayEra) ExUnits Source # ppMaxValSizeT ∷ Lens' (PParams ConwayEra) Natural Source # mkScriptIntegrityHash ∷ PParams ConwayEra → [Language] → TxWits ConwayEra → StrictMaybe ScriptIntegrityHash Source #
Reflect ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Proof Methods reify ∷ Proof ConwayEra Source # lift ∷ (Proof ConwayEra → a) → a 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 #
ConwayEraPlutusTxInfo 'PlutusV3 ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxInfo Methods toPlutusChangedParameters ∷ proxy 'PlutusV3 → PParamsUpdate ConwayEra → ChangedParameters 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 #
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 "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 #
HasSpec (ConwayGovState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type TypeSpec (ConwayGovState ConwayEra) Source # type Prerequisites (ConwayGovState ConwayEra) Source # Methods emptySpec ∷ TypeSpec (ConwayGovState ConwayEra) Source # combineSpec ∷ TypeSpec (ConwayGovState ConwayEra) → TypeSpec (ConwayGovState ConwayEra) → Specification (ConwayGovState ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ConwayGovState ConwayEra) → GenT m (ConwayGovState ConwayEra) Source # conformsTo ∷ ConwayGovState ConwayEra → TypeSpec (ConwayGovState ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (ConwayGovState ConwayEra) → ConwayGovState ConwayEra → [ConwayGovState ConwayEra] Source # toPreds ∷ Term (ConwayGovState ConwayEra) → TypeSpec (ConwayGovState ConwayEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (ConwayGovState ConwayEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (ConwayGovState ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (ConwayGovState ConwayEra) → BinaryShow Source # monadConformsTo ∷ ConwayGovState ConwayEra → TypeSpec (ConwayGovState ConwayEra) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec (ConwayGovState ConwayEra) → [ConwayGovState ConwayEra] → Specification (ConwayGovState ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec (ConwayGovState ConwayEra) → Specification (ConwayGovState ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites (ConwayGovState ConwayEra)) Source #
HasSpec (DRepPulsingState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type TypeSpec (DRepPulsingState ConwayEra) Source # type Prerequisites (DRepPulsingState ConwayEra) Source # Methods emptySpec ∷ TypeSpec (DRepPulsingState ConwayEra) Source # combineSpec ∷ TypeSpec (DRepPulsingState ConwayEra) → TypeSpec (DRepPulsingState ConwayEra) → Specification (DRepPulsingState ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (DRepPulsingState ConwayEra) → GenT m (DRepPulsingState ConwayEra) Source # conformsTo ∷ DRepPulsingState ConwayEra → TypeSpec (DRepPulsingState ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (DRepPulsingState ConwayEra) → DRepPulsingState ConwayEra → [DRepPulsingState ConwayEra] Source # toPreds ∷ Term (DRepPulsingState ConwayEra) → TypeSpec (DRepPulsingState ConwayEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (DRepPulsingState ConwayEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (DRepPulsingState ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (DRepPulsingState ConwayEra) → BinaryShow Source # monadConformsTo ∷ DRepPulsingState ConwayEra → TypeSpec (DRepPulsingState ConwayEra) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec (DRepPulsingState ConwayEra) → [DRepPulsingState ConwayEra] → Specification (DRepPulsingState ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec (DRepPulsingState ConwayEra) → Specification (DRepPulsingState ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites (DRepPulsingState ConwayEra)) Source #
HasSpec (PulsingSnapshot ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type TypeSpec (PulsingSnapshot ConwayEra) Source # type Prerequisites (PulsingSnapshot ConwayEra) Source # Methods emptySpec ∷ TypeSpec (PulsingSnapshot ConwayEra) Source # combineSpec ∷ TypeSpec (PulsingSnapshot ConwayEra) → TypeSpec (PulsingSnapshot ConwayEra) → Specification (PulsingSnapshot ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (PulsingSnapshot ConwayEra) → GenT m (PulsingSnapshot ConwayEra) Source # conformsTo ∷ PulsingSnapshot ConwayEra → TypeSpec (PulsingSnapshot ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (PulsingSnapshot ConwayEra) → PulsingSnapshot ConwayEra → [PulsingSnapshot ConwayEra] Source # toPreds ∷ Term (PulsingSnapshot ConwayEra) → TypeSpec (PulsingSnapshot ConwayEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (PulsingSnapshot ConwayEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (PulsingSnapshot ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (PulsingSnapshot ConwayEra) → BinaryShow Source # monadConformsTo ∷ PulsingSnapshot ConwayEra → TypeSpec (PulsingSnapshot ConwayEra) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec (PulsingSnapshot ConwayEra) → [PulsingSnapshot ConwayEra] → Specification (PulsingSnapshot ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec (PulsingSnapshot ConwayEra) → Specification (PulsingSnapshot ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites (PulsingSnapshot ConwayEra)) Source #
HasSpec (RatifySignal ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type TypeSpec (RatifySignal ConwayEra) Source # type Prerequisites (RatifySignal ConwayEra) Source # Methods emptySpec ∷ TypeSpec (RatifySignal ConwayEra) Source # combineSpec ∷ TypeSpec (RatifySignal ConwayEra) → TypeSpec (RatifySignal ConwayEra) → Specification (RatifySignal ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (RatifySignal ConwayEra) → GenT m (RatifySignal ConwayEra) Source # conformsTo ∷ RatifySignal ConwayEra → TypeSpec (RatifySignal ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (RatifySignal ConwayEra) → RatifySignal ConwayEra → [RatifySignal ConwayEra] Source # toPreds ∷ Term (RatifySignal ConwayEra) → TypeSpec (RatifySignal ConwayEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (RatifySignal ConwayEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (RatifySignal ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (RatifySignal ConwayEra) → BinaryShow Source # monadConformsTo ∷ RatifySignal ConwayEra → TypeSpec (RatifySignal ConwayEra) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec (RatifySignal ConwayEra) → [RatifySignal ConwayEra] → Specification (RatifySignal ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec (RatifySignal ConwayEra) → Specification (RatifySignal ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites (RatifySignal ConwayEra)) Source #
HasSpec (RatifyState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type TypeSpec (RatifyState ConwayEra) Source # type Prerequisites (RatifyState ConwayEra) Source # Methods emptySpec ∷ TypeSpec (RatifyState ConwayEra) Source # combineSpec ∷ TypeSpec (RatifyState ConwayEra) → TypeSpec (RatifyState ConwayEra) → Specification (RatifyState ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (RatifyState ConwayEra) → GenT m (RatifyState ConwayEra) Source # conformsTo ∷ RatifyState ConwayEra → TypeSpec (RatifyState ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (RatifyState ConwayEra) → RatifyState ConwayEra → [RatifyState ConwayEra] Source # toPreds ∷ Term (RatifyState ConwayEra) → TypeSpec (RatifyState ConwayEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (RatifyState ConwayEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (RatifyState ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (RatifyState ConwayEra) → BinaryShow Source # monadConformsTo ∷ RatifyState ConwayEra → TypeSpec (RatifyState ConwayEra) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec (RatifyState ConwayEra) → [RatifyState ConwayEra] → Specification (RatifyState ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec (RatifyState ConwayEra) → Specification (RatifyState ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites (RatifyState ConwayEra)) Source #
HasSpec (EnactSignal ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type TypeSpec (EnactSignal ConwayEra) Source # type Prerequisites (EnactSignal ConwayEra) Source # Methods emptySpec ∷ TypeSpec (EnactSignal ConwayEra) Source # combineSpec ∷ TypeSpec (EnactSignal ConwayEra) → TypeSpec (EnactSignal ConwayEra) → Specification (EnactSignal ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (EnactSignal ConwayEra) → GenT m (EnactSignal ConwayEra) Source # conformsTo ∷ EnactSignal ConwayEra → TypeSpec (EnactSignal ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (EnactSignal ConwayEra) → EnactSignal ConwayEra → [EnactSignal ConwayEra] Source # toPreds ∷ Term (EnactSignal ConwayEra) → TypeSpec (EnactSignal ConwayEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (EnactSignal ConwayEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (EnactSignal ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (EnactSignal ConwayEra) → BinaryShow Source # monadConformsTo ∷ EnactSignal ConwayEra → TypeSpec (EnactSignal ConwayEra) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec (EnactSignal ConwayEra) → [EnactSignal ConwayEra] → Specification (EnactSignal ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec (EnactSignal ConwayEra) → Specification (EnactSignal ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites (EnactSignal ConwayEra)) Source #
HasSpec (GovSignal ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type TypeSpec (GovSignal ConwayEra) Source # type Prerequisites (GovSignal ConwayEra) Source # Methods emptySpec ∷ TypeSpec (GovSignal ConwayEra) Source # combineSpec ∷ TypeSpec (GovSignal ConwayEra) → TypeSpec (GovSignal ConwayEra) → Specification (GovSignal ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (GovSignal ConwayEra) → GenT m (GovSignal ConwayEra) Source # conformsTo ∷ GovSignal ConwayEra → TypeSpec (GovSignal ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (GovSignal ConwayEra) → GovSignal ConwayEra → [GovSignal ConwayEra] Source # toPreds ∷ Term (GovSignal ConwayEra) → TypeSpec (GovSignal ConwayEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (GovSignal ConwayEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (GovSignal ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (GovSignal ConwayEra) → BinaryShow Source # monadConformsTo ∷ GovSignal ConwayEra → TypeSpec (GovSignal ConwayEra) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec (GovSignal ConwayEra) → [GovSignal ConwayEra] → Specification (GovSignal ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec (GovSignal ConwayEra) → Specification (GovSignal ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites (GovSignal ConwayEra)) Source #
HasSpec (ConwayGovCertEnv ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type TypeSpec (ConwayGovCertEnv ConwayEra) Source # type Prerequisites (ConwayGovCertEnv ConwayEra) Source # Methods emptySpec ∷ TypeSpec (ConwayGovCertEnv ConwayEra) Source # combineSpec ∷ TypeSpec (ConwayGovCertEnv ConwayEra) → TypeSpec (ConwayGovCertEnv ConwayEra) → Specification (ConwayGovCertEnv ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ConwayGovCertEnv ConwayEra) → GenT m (ConwayGovCertEnv ConwayEra) Source # conformsTo ∷ ConwayGovCertEnv ConwayEra → TypeSpec (ConwayGovCertEnv ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (ConwayGovCertEnv ConwayEra) → ConwayGovCertEnv ConwayEra → [ConwayGovCertEnv ConwayEra] Source # toPreds ∷ Term (ConwayGovCertEnv ConwayEra) → TypeSpec (ConwayGovCertEnv ConwayEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (ConwayGovCertEnv ConwayEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (ConwayGovCertEnv ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (ConwayGovCertEnv ConwayEra) → BinaryShow Source # monadConformsTo ∷ ConwayGovCertEnv ConwayEra → TypeSpec (ConwayGovCertEnv ConwayEra) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec (ConwayGovCertEnv ConwayEra) → [ConwayGovCertEnv ConwayEra] → Specification (ConwayGovCertEnv ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec (ConwayGovCertEnv ConwayEra) → Specification (ConwayGovCertEnv ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites (ConwayGovCertEnv ConwayEra)) Source #
HasSpec (Tx ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type TypeSpec (Tx ConwayEra) Source # type Prerequisites (Tx ConwayEra) Source # Methods emptySpec ∷ TypeSpec (Tx ConwayEra) Source # combineSpec ∷ TypeSpec (Tx ConwayEra) → TypeSpec (Tx ConwayEra) → Specification (Tx ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (Tx ConwayEra) → GenT m (Tx ConwayEra) Source # conformsTo ∷ Tx ConwayEra → TypeSpec (Tx ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (Tx ConwayEra) → Tx ConwayEra → [Tx ConwayEra] Source # toPreds ∷ Term (Tx ConwayEra) → TypeSpec (Tx ConwayEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (Tx ConwayEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (Tx ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (Tx ConwayEra) → BinaryShow Source # monadConformsTo ∷ Tx ConwayEra → TypeSpec (Tx ConwayEra) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec (Tx ConwayEra) → [Tx ConwayEra] → Specification (Tx ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec (Tx ConwayEra) → Specification (Tx ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites (Tx ConwayEra)) Source #
HasSpec (TxBody ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type TypeSpec (TxBody ConwayEra) Source # type Prerequisites (TxBody ConwayEra) Source # Methods emptySpec ∷ TypeSpec (TxBody ConwayEra) Source # combineSpec ∷ TypeSpec (TxBody ConwayEra) → TypeSpec (TxBody ConwayEra) → Specification (TxBody ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (TxBody ConwayEra) → GenT m (TxBody ConwayEra) Source # conformsTo ∷ TxBody ConwayEra → TypeSpec (TxBody ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (TxBody ConwayEra) → TxBody ConwayEra → [TxBody ConwayEra] Source # toPreds ∷ Term (TxBody ConwayEra) → TypeSpec (TxBody ConwayEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (TxBody ConwayEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (TxBody ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (TxBody ConwayEra) → BinaryShow Source # monadConformsTo ∷ TxBody ConwayEra → TypeSpec (TxBody ConwayEra) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec (TxBody ConwayEra) → [TxBody ConwayEra] → Specification (TxBody ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec (TxBody ConwayEra) → Specification (TxBody ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites (TxBody ConwayEra)) 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 (Tx ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type SimpleRep (Tx ConwayEra) Source # type TheSop (Tx ConwayEra) ∷ [Type] Source # Methods toSimpleRep ∷ Tx ConwayEra → SimpleRep (Tx ConwayEra) Source # fromSimpleRep ∷ SimpleRep (Tx ConwayEra) → Tx ConwayEra Source #
HasSimpleRep (TxBody ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type SimpleRep (TxBody ConwayEra) Source # type TheSop (TxBody ConwayEra) ∷ [Type] Source # Methods toSimpleRep ∷ TxBody ConwayEra → SimpleRep (TxBody ConwayEra) Source # fromSimpleRep ∷ SimpleRep (TxBody ConwayEra) → TxBody ConwayEra Source #
HasSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # type Prerequisites (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # Methods emptySpec ∷ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # combineSpec ∷ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Specification (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → GenT m (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # conformsTo ∷ DRepPulser ConwayEra Identity (RatifyState ConwayEra) → TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → DRepPulser ConwayEra Identity (RatifyState ConwayEra) → [DRepPulser ConwayEra Identity (RatifyState ConwayEra)] Source # toPreds ∷ Term (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Pred Source # cardinalTypeSpec ∷ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → BinaryShow Source # monadConformsTo ∷ DRepPulser ConwayEra Identity (RatifyState ConwayEra) → TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → [DRepPulser ConwayEra Identity (RatifyState ConwayEra)] → Specification (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # guardTypeSpec ∷ [String] → TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Specification (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # prerequisites ∷ Evidence (Prerequisites (DRepPulser ConwayEra Identity (RatifyState ConwayEra))) Source #
HasSimpleRep (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger 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 TxInfoResult ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxInfo data TxInfoResult ConwayEra = ConwayTxInfoResult (Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV1)) (Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV2)) (Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV3))
data PlutusScript ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Scripts data PlutusScript ConwayEra = ConwayPlutusV1 !(Plutus 'PlutusV1) \| ConwayPlutusV2 !(Plutus 'PlutusV2) \| ConwayPlutusV3 !(Plutus 'PlutusV3)
type TxBodyUpgradeError ConwayEra
Instance details Defined in Cardano.Ledger.Api.Era type TxBodyUpgradeError ConwayEra = ConwayTxBodyUpgradeError
type TxUpgradeError ConwayEra
Instance details Defined in Cardano.Ledger.Api.Era type TxUpgradeError ConwayEra = TxBodyUpgradeError ConwayEra
type BlockBody ConwayEra
Instance details Defined in Cardano.Ledger.Conway.BlockBody type BlockBody ConwayEra = AlonzoBlockBody ConwayEra
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
newtype Tx ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Tx newtype Tx ConwayEra = MkConwayTx { unConwayTx ∷ AlonzoTx ConwayEra }
type TxAuxData ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxAuxData type TxAuxData ConwayEra = AlonzoTxAuxData ConwayEra
newtype TxBody ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxBody newtype TxBody ConwayEra = MkConwayTxBody (MemoBytes ConwayTxBodyRaw)
type TxOut ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxOut type TxOut ConwayEra = BabbageTxOut 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 = 11
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 AccountState ConwayEra
Instance details Defined in Cardano.Ledger.Conway.State.Account type AccountState ConwayEra = ConwayAccountState ConwayEra
type Accounts ConwayEra
Instance details Defined in Cardano.Ledger.Conway.State.Account type Accounts ConwayEra = ConwayAccounts ConwayEra
type CertState ConwayEra
Instance details Defined in Cardano.Ledger.Conway.State.CertState type CertState ConwayEra = ConwayCertState ConwayEra
type GovState ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Governance type GovState ConwayEra = ConwayGovState ConwayEra
type InstantStake ConwayEra
Instance details Defined in Cardano.Ledger.Conway.State.Stake type InstantStake ConwayEra = ConwayInstantStake ConwayEra
type ScriptsNeeded ConwayEra
Instance details Defined in Cardano.Ledger.Conway.UTxO type ScriptsNeeded ConwayEra = AlonzoScriptsNeeded 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 "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 "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 PParams
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra PParams = 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 FuturePParams
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra FuturePParams = Void
type TranslationError ConwayEra UTxO
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra UTxO = 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 Rep (PlutusScript ConwayEra)
Instance details Defined in Cardano.Ledger.Conway.Scripts type Rep (PlutusScript ConwayEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.20.0.0-inplace" 'False) (C1 ('MetaCons "ConwayPlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('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 (Tx ConwayEra)
Instance details Defined in Cardano.Ledger.Conway.Tx type Rep (Tx ConwayEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Conway.Tx" "cardano-ledger-conway-1.20.0.0-inplace" 'True) (C1 ('MetaCons "MkConwayTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unConwayTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx ConwayEra))))
type Rep (TxBody ConwayEra)
Instance details Defined in Cardano.Ledger.Conway.TxBody type Rep (TxBody ConwayEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Conway.TxBody" "cardano-ledger-conway-1.20.0.0-inplace" 'True) (C1 ('MetaCons "MkConwayTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ConwayTxBodyRaw))))
type Rep (TransitionConfig ConwayEra)
Instance details Defined in Cardano.Ledger.Conway.Transition type Rep (TransitionConfig ConwayEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Conway.Transition" "cardano-ledger-conway-1.20.0.0-inplace" 'False) (C1 ('MetaCons "ConwayTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "ctcConwayGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ConwayGenesis) :*: S1 ('MetaSel ('Just "ctcBabbageTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig BabbageEra))))
type RawType (TxBody ConwayEra)
Instance details Defined in Cardano.Ledger.Conway.TxBody type RawType (TxBody ConwayEra) = ConwayTxBodyRaw
type Prerequisites (ConwayGovState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type Prerequisites (ConwayGovState ConwayEra) = ()
type Prerequisites (DRepPulsingState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type Prerequisites (DRepPulsingState ConwayEra) = ()
type Prerequisites (PulsingSnapshot ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type Prerequisites (PulsingSnapshot ConwayEra) = ()
type Prerequisites (RatifySignal ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type Prerequisites (RatifySignal ConwayEra) = ()
type Prerequisites (RatifyState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type Prerequisites (RatifyState ConwayEra) = ()
type Prerequisites (EnactSignal ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type Prerequisites (EnactSignal ConwayEra) = ()
type Prerequisites (GovSignal ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type Prerequisites (GovSignal ConwayEra) = ()
type Prerequisites (ConwayGovCertEnv ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type Prerequisites (ConwayGovCertEnv ConwayEra) = ()
type Prerequisites (Tx ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type Prerequisites (Tx ConwayEra) = ()
type Prerequisites (TxBody ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type Prerequisites (TxBody ConwayEra) = ()
type TypeSpec (ConwayGovState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TypeSpec (ConwayGovState ConwayEra) = TypeSpec (SimpleRep (ConwayGovState ConwayEra))
type TypeSpec (DRepPulsingState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TypeSpec (DRepPulsingState ConwayEra) = TypeSpec (SimpleRep (DRepPulsingState ConwayEra))
type TypeSpec (PulsingSnapshot ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TypeSpec (PulsingSnapshot ConwayEra) = TypeSpec (SimpleRep (PulsingSnapshot ConwayEra))
type TypeSpec (RatifySignal ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TypeSpec (RatifySignal ConwayEra) = TypeSpec (SimpleRep (RatifySignal ConwayEra))
type TypeSpec (RatifyState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TypeSpec (RatifyState ConwayEra) = TypeSpec (SimpleRep (RatifyState ConwayEra))
type TypeSpec (EnactSignal ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TypeSpec (EnactSignal ConwayEra) = TypeSpec (SimpleRep (EnactSignal ConwayEra))
type TypeSpec (GovSignal ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TypeSpec (GovSignal ConwayEra) = TypeSpec (SimpleRep (GovSignal ConwayEra))
type TypeSpec (ConwayGovCertEnv ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TypeSpec (ConwayGovCertEnv ConwayEra) = TypeSpec (SimpleRep (ConwayGovCertEnv ConwayEra))
type TypeSpec (Tx ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TypeSpec (Tx ConwayEra) = TypeSpec (SimpleRep (Tx ConwayEra))
type TypeSpec (TxBody ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TypeSpec (TxBody ConwayEra) = TypeSpec (SimpleRep (TxBody ConwayEra))
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 (Tx ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type SimpleRep (Tx ConwayEra) = SOP (TheSop (Tx ConwayEra))
type SimpleRep (TxBody ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type SimpleRep (TxBody ConwayEra) = SOP (TheSop (TxBody 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 (Tx ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TheSop (Tx ConwayEra) = TheSop (AlonzoTx ConwayEra)
type TheSop (TxBody ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TheSop (TxBody ConwayEra)
type Prerequisites (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type Prerequisites (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) = ()
type TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) = TypeSpec (SimpleRep (DRepPulser ConwayEra Identity (RatifyState 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 @EraBlockBody proof action). This way the constraint does not percolate upwards, past the call site of action

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

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

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

data ValueWit era where Source #

Constructors

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

data CertStateWit era where Source #

Constructors

CertStateShelleyToBabbage ∷ (EraCertState era, CertState era ~ ShelleyCertState era) ⇒ CertStateWit era
CertStateConwayToConway ∷ (ConwayEraCertState era, CertState era ~ ConwayCertState era) ⇒ CertStateWit 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 #

whichCertState ∷ Proof era → CertStateWit era Source #