cardano-ledger-alonzo-1.10.0.1: Cardano ledger introducing Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Alonzo.Era

Synopsis

Documentation

data AlonzoEra c Source #

The Alonzo era

Instances

Instances details
InjectRuleFailure "BBODY" AllegraUtxoPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" AlonzoBbodyPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" AlonzoUtxoPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" AlonzoUtxosPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" AlonzoUtxowPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelegPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelplPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyPoolPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyPpupPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "DELEG" ShelleyDelegPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Deleg

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delegs

InjectRuleFailure "DELPL" ShelleyDelegPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delpl

InjectRuleFailure "DELPL" ShelleyDelplPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delpl

InjectRuleFailure "DELPL" ShelleyPoolPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delpl

InjectRuleFailure "LEDGER" AllegraUtxoPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "POOL" ShelleyPoolPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Pool

InjectRuleFailure "PPUP" ShelleyPpupPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

InjectRuleFailure "UTXO" AllegraUtxoPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

InjectRuleFailure "UTXO" AlonzoUtxoPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

InjectRuleFailure "UTXO" AlonzoUtxosPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

InjectRuleFailure "UTXO" ShelleyPpupPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

InjectRuleFailure "UTXOS" ShelleyPpupPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Crypto c ⇒ EraPlutusTxInfo 'PlutusV1 (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

Crypto c ⇒ FromJSON (TransitionConfig (AlonzoEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Crypto c ⇒ ToJSON (TransitionConfig (AlonzoEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Generic (PlutusScript (AlonzoEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (PlutusScript (AlonzoEra c)) ∷ TypeType Source #

Generic (TransitionConfig (AlonzoEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Associated Types

type Rep (TransitionConfig (AlonzoEra c)) ∷ TypeType Source #

Show (PlutusScript (AlonzoEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Crypto c ⇒ Show (TransitionConfig (AlonzoEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Crypto c ⇒ AllegraEraScript (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Crypto c ⇒ AllegraEraTxAuxData (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Crypto c ⇒ AllegraEraTxBody (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Crypto c ⇒ AlonzoEraPParams (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Crypto c ⇒ EraPlutusContext (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

Associated Types

type ContextError (AlonzoEra c) = (r ∷ Type) Source #

Crypto c ⇒ AlonzoEraScript (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

data PlutusScript (AlonzoEra c) Source #

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

Methods

eraMaxLanguageLanguage Source #

toPlutusScriptScript (AlonzoEra c) → Maybe (PlutusScript (AlonzoEra c)) Source #

fromPlutusScriptPlutusScript (AlonzoEra c) → Script (AlonzoEra c) Source #

mkPlutusScript ∷ ∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → Maybe (PlutusScript (AlonzoEra c)) Source #

withPlutusScriptPlutusScript (AlonzoEra c) → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → a Source #

hoistPlutusPurpose ∷ (∀ ix it. g ix it → f ix it) → PlutusPurpose g (AlonzoEra c) → PlutusPurpose f (AlonzoEra c) Source #

mkSpendingPurpose ∷ f Word32 (TxIn (EraCrypto (AlonzoEra c))) → PlutusPurpose f (AlonzoEra c) Source #

toSpendingPurposePlutusPurpose f (AlonzoEra c) → Maybe (f Word32 (TxIn (EraCrypto (AlonzoEra c)))) Source #

mkMintingPurpose ∷ f Word32 (PolicyID (EraCrypto (AlonzoEra c))) → PlutusPurpose f (AlonzoEra c) Source #

toMintingPurposePlutusPurpose f (AlonzoEra c) → Maybe (f Word32 (PolicyID (EraCrypto (AlonzoEra c)))) Source #

mkCertifyingPurpose ∷ f Word32 (TxCert (AlonzoEra c)) → PlutusPurpose f (AlonzoEra c) Source #

toCertifyingPurposePlutusPurpose f (AlonzoEra c) → Maybe (f Word32 (TxCert (AlonzoEra c))) Source #

mkRewardingPurpose ∷ f Word32 (RewardAccount (EraCrypto (AlonzoEra c))) → PlutusPurpose f (AlonzoEra c) Source #

toRewardingPurposePlutusPurpose f (AlonzoEra c) → Maybe (f Word32 (RewardAccount (EraCrypto (AlonzoEra c)))) Source #

upgradePlutusPurposeAsIxPlutusPurpose AsIx (PreviousEra (AlonzoEra c)) → PlutusPurpose AsIx (AlonzoEra c) Source #

Crypto c ⇒ AlonzoEraTx (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Crypto c ⇒ AlonzoEraTxAuxData (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Crypto c ⇒ AlonzoEraTxBody (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Crypto c ⇒ AlonzoEraTxOut (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

(EraScript (AlonzoEra c), Crypto c) ⇒ AlonzoEraTxWits (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Crypto c ⇒ AlonzoEraUTxO (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

Crypto c ⇒ EraScript (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Script (AlonzoEra c) = (r ∷ Type) Source #

type NativeScript (AlonzoEra c) = (r ∷ Type) Source #

Crypto c ⇒ EraSegWits (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxSeq

Associated Types

type TxSeq (AlonzoEra c) = (r ∷ Type) Source #

Crypto c ⇒ EraTx (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Associated Types

type Tx (AlonzoEra c) = (r ∷ Type) Source #

type TxUpgradeError (AlonzoEra c) Source #

Crypto c ⇒ EraTxAuxData (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Associated Types

type TxAuxData (AlonzoEra c) = (r ∷ Type) Source #

Crypto c ⇒ EraTxBody (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Associated Types

type TxBody (AlonzoEra c) = (r ∷ Type) Source #

type TxBodyUpgradeError (AlonzoEra c) Source #

Crypto c ⇒ EraTxOut (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type TxOut (AlonzoEra c) = (r ∷ Type) Source #

(EraScript (AlonzoEra c), Crypto c) ⇒ EraTxWits (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type TxWits (AlonzoEra c) = (r ∷ Type) Source #

Crypto c ⇒ Era (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

Associated Types

type EraCrypto (AlonzoEra c) Source #

type PreviousEra (AlonzoEra c) = (r ∷ Type) Source #

type ProtVerLow (AlonzoEra c) ∷ Nat Source #

type ProtVerHigh (AlonzoEra c) ∷ Nat Source #

Methods

eraNameString Source #

Crypto c ⇒ EraPParams (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Associated Types

type PParamsHKD f (AlonzoEra c) = (r ∷ Type) Source #

type UpgradePParams f (AlonzoEra c) Source #

type DowngradePParams f (AlonzoEra c) Source #

Methods

applyPPUpdatesPParams (AlonzoEra c) → PParamsUpdate (AlonzoEra c) → PParams (AlonzoEra c) Source #

emptyPParamsIdentityPParamsHKD Identity (AlonzoEra c) Source #

emptyPParamsStrictMaybePParamsHKD StrictMaybe (AlonzoEra c) Source #

upgradePParamsHKD ∷ ∀ (f ∷ TypeType). (HKDApplicative f, EraPParams (PreviousEra (AlonzoEra c))) ⇒ UpgradePParams f (AlonzoEra c) → PParamsHKD f (PreviousEra (AlonzoEra c)) → PParamsHKD f (AlonzoEra c) Source #

downgradePParamsHKD ∷ ∀ (f ∷ TypeType). (HKDFunctor f, EraPParams (PreviousEra (AlonzoEra c))) ⇒ DowngradePParams f (AlonzoEra c) → PParamsHKD f (AlonzoEra c) → PParamsHKD f (PreviousEra (AlonzoEra c)) Source #

hkdMinFeeAL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Coin) Source #

hkdMinFeeBL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Coin) Source #

hkdMaxBBSizeL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Word32) Source #

hkdMaxTxSizeL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Word32) Source #

hkdMaxBHSizeL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Word16) Source #

hkdKeyDepositL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Coin) Source #

hkdPoolDepositL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Coin) Source #

hkdEMaxL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f EpochInterval) Source #

hkdNOptL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Natural) Source #

hkdA0L ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f NonNegativeInterval) Source #

hkdRhoL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f UnitInterval) Source #

hkdTauL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f UnitInterval) Source #

hkdDL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (AlonzoEra c) 6) ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f UnitInterval) Source #

ppDGSimpleGetter (PParams (AlonzoEra c)) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (AlonzoEra c) 6) ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (AlonzoEra c) 8) ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f ProtVer) Source #

ppProtocolVersionLLens' (PParams (AlonzoEra c)) ProtVer Source #

ppuProtocolVersionLLens' (PParamsUpdate (AlonzoEra c)) (StrictMaybe ProtVer) Source #

hkdMinUTxOValueL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (AlonzoEra c) 4) ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Coin) Source #

hkdMinPoolCostL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Coin) Source #

Crypto c ⇒ EraTxCert (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxCert

Associated Types

type TxCert (AlonzoEra c) = (r ∷ Type) Source #

type TxCertUpgradeError (AlonzoEra c) Source #

SafeToHash (PlutusScript (AlonzoEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Crypto c ⇒ EraUTxO (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

Associated Types

type ScriptsNeeded (AlonzoEra c) = (r ∷ Type) Source #

Crypto c ⇒ MaryEraTxBody (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Crypto c ⇒ CanStartFromGenesis (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo

Associated Types

type AdditionalGenesisConfig (AlonzoEra c) Source #

(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyTx (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo

(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyBlock (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo

Crypto c ⇒ EraGov (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Associated Types

type GovState (AlonzoEra c) = (r ∷ Type) Source #

Crypto c ⇒ ShelleyEraScript (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Crypto c ⇒ EraTransition (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Associated Types

data TransitionConfig (AlonzoEra c) Source #

Crypto c ⇒ ShelleyEraTxBody (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Crypto c ⇒ ShelleyEraTxCert (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxCert

NFData (PlutusScript (AlonzoEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnfPlutusScript (AlonzoEra c) → () Source #

Eq (PlutusScript (AlonzoEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Crypto c ⇒ Eq (TransitionConfig (AlonzoEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Ord (PlutusScript (AlonzoEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

NoThunks (PlutusScript (AlonzoEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Crypto c ⇒ NoThunks (TransitionConfig (AlonzoEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Crypto c ⇒ TranslateEra (AlonzoEra c) Tx Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError (AlonzoEra c) Tx Source #

Crypto c ⇒ TranslateEra (AlonzoEra c) CertState Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError (AlonzoEra c) CertState Source #

Crypto c ⇒ TranslateEra (AlonzoEra c) CommitteeState Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Crypto c ⇒ TranslateEra (AlonzoEra c) DState Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError (AlonzoEra c) DState Source #

Crypto c ⇒ TranslateEra (AlonzoEra c) PState Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError (AlonzoEra c) PState Source #

Crypto c ⇒ TranslateEra (AlonzoEra c) VState Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError (AlonzoEra c) VState Source #

Crypto c ⇒ TranslateEra (AlonzoEra c) PParams Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError (AlonzoEra c) PParams Source #

Crypto c ⇒ TranslateEra (AlonzoEra c) UTxO Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError (AlonzoEra c) UTxO Source #

Crypto c ⇒ TranslateEra (AlonzoEra c) FuturePParams Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Crypto c ⇒ TranslateEra (AlonzoEra c) ShelleyGovState Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Crypto c ⇒ TranslateEra (AlonzoEra c) EpochState Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError (AlonzoEra c) EpochState Source #

Crypto c ⇒ TranslateEra (AlonzoEra c) LedgerState Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError (AlonzoEra c) LedgerState Source #

Crypto c ⇒ TranslateEra (AlonzoEra c) NewEpochState Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Crypto c ⇒ TranslateEra (AlonzoEra c) UTxOState Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError (AlonzoEra c) UTxOState Source #

Crypto c ⇒ TranslateEra (AlonzoEra c) ProposedPPUpdates Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Crypto c ⇒ ToJSON (AlonzoPParams Identity (AlonzoEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Crypto c ⇒ ToJSON (AlonzoPParams StrictMaybe (AlonzoEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type PlutusPurpose f (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type EraRule "BBODY" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "BBODY" (AlonzoEra c) = AlonzoBBODY (AlonzoEra c)
type EraRule "DELEG" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELEG" (AlonzoEra c) = ShelleyDELEG (AlonzoEra c)
type EraRule "DELEGS" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELEGS" (AlonzoEra c) = ShelleyDELEGS (AlonzoEra c)
type EraRule "DELPL" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELPL" (AlonzoEra c) = ShelleyDELPL (AlonzoEra c)
type EraRule "EPOCH" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "EPOCH" (AlonzoEra c) = ShelleyEPOCH (AlonzoEra c)
type EraRule "LEDGER" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "LEDGER" (AlonzoEra c) = AlonzoLEDGER (AlonzoEra c)
type EraRule "LEDGERS" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "LEDGERS" (AlonzoEra c) = ShelleyLEDGERS (AlonzoEra c)
type EraRule "MIR" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "MIR" (AlonzoEra c) = ShelleyMIR (AlonzoEra c)
type EraRule "NEWEPOCH" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "NEWEPOCH" (AlonzoEra c) = ShelleyNEWEPOCH (AlonzoEra c)
type EraRule "NEWPP" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "NEWPP" (AlonzoEra c) = ShelleyNEWPP (AlonzoEra c)
type EraRule "POOL" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "POOL" (AlonzoEra c) = ShelleyPOOL (AlonzoEra c)
type EraRule "POOLREAP" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "POOLREAP" (AlonzoEra c) = ShelleyPOOLREAP (AlonzoEra c)
type EraRule "PPUP" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "PPUP" (AlonzoEra c) = ShelleyPPUP (AlonzoEra c)
type EraRule "RUPD" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "RUPD" (AlonzoEra c) = ShelleyRUPD (AlonzoEra c)
type EraRule "SNAP" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "SNAP" (AlonzoEra c) = ShelleySNAP (AlonzoEra c)
type EraRule "TICK" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "TICK" (AlonzoEra c) = ShelleyTICK (AlonzoEra c)
type EraRule "TICKF" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "TICKF" (AlonzoEra c) = ShelleyTICKF (AlonzoEra c)
type EraRule "UPEC" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UPEC" (AlonzoEra c) = ShelleyUPEC (AlonzoEra c)
type EraRule "UTXO" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXO" (AlonzoEra c) = AlonzoUTXO (AlonzoEra c)
type EraRule "UTXOS" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXOS" (AlonzoEra c) = AlonzoUTXOS (AlonzoEra c)
type EraRule "UTXOW" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXOW" (AlonzoEra c) = AlonzoUTXOW (AlonzoEra c)
type EraRuleEvent "LEDGER" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules

type EraRuleEvent "PPUP" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

type EraRuleEvent "TICK" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules

type EraRuleFailure "BBODY" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type EraRuleFailure "DELEG" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Deleg

type EraRuleFailure "DELEGS" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delegs

type EraRuleFailure "DELPL" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delpl

type EraRuleFailure "LEDGER" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type EraRuleFailure "LEDGERS" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

type EraRuleFailure "POOL" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Pool

type EraRuleFailure "PPUP" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

type EraRuleFailure "UTXO" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type EraRuleFailure "UTXOS" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type EraRuleFailure "UTXOW" (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type DowngradePParams f (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type PParamsHKD f (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type UpgradePParams f (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type Rep (PlutusScript (AlonzoEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (TransitionConfig (AlonzoEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

type Rep (TransitionConfig (AlonzoEra c)) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Alonzo.Transition" "cardano-ledger-alonzo-1.10.0.1-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 c)))))
type ContextError (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

newtype PlutusScript (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type NativeScript (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Script (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Tx (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type TxAuxData (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type TxBody (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type TxBodyUpgradeError (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type TxOut (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type TxSeq (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxSeq

type TxUpgradeError (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type TxWits (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Value (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraCrypto (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraCrypto (AlonzoEra c) = c
type PreviousEra (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type ProtVerHigh (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type ProtVerHigh (AlonzoEra c) = 6
type ProtVerLow (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type ProtVerLow (AlonzoEra c) = 5
type TranslationContext (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TxCert (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxCert

type TxCertUpgradeError (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxCert

type ScriptsNeeded (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

type AdditionalGenesisConfig (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo

type GovState (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

data TransitionConfig (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

type TranslationError (AlonzoEra c) Tx Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) CertState Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) CommitteeState Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) DState Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) PState Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) VState Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) PParams Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) UTxO Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) FuturePParams Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) ShelleyGovState Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) EpochState Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) LedgerState Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) NewEpochState Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) UTxOState Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) ProposedPPUpdates Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

data AlonzoUTXO era Source #

Instances

Instances details
(EraUTxO era, AlonzoEraTx era, Embed (EraRule "UTXOS" era) (AlonzoUTXO era), Environment (EraRule "UTXOS" era) ~ UtxoEnv era, State (EraRule "UTXOS" era) ~ UTxOState era, Signal (EraRule "UTXOS" era) ~ Tx era, EraRule "UTXO" era ~ AlonzoUTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "UTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, ProtVerAtMost era 8) ⇒ STS (AlonzoUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Associated Types

type State (AlonzoUTXO era) Source #

type Signal (AlonzoUTXO era) Source #

type Environment (AlonzoUTXO era) Source #

type BaseM (AlonzoUTXO era) ∷ TypeType Source #

type Event (AlonzoUTXO era) Source #

type PredicateFailure (AlonzoUTXO era) Source #

(Era era, STS (AlonzoUTXO era), PredicateFailure (EraRule "UTXO" era) ~ AlonzoUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (AlonzoUTXOW era) ~ ShelleyBase, PredicateFailure (AlonzoUTXOW era) ~ AlonzoUtxowPredFailure era, Event (AlonzoUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (AlonzoUTXO era) (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

(Era era, STS (AlonzoUTXOS era), PredicateFailure (EraRule "UTXOS" era) ~ AlonzoUtxosPredFailure era, Event (EraRule "UTXOS" era) ~ Event (AlonzoUTXOS era)) ⇒ Embed (AlonzoUTXOS era) (AlonzoUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type BaseM (AlonzoUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type Environment (AlonzoUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type Environment (AlonzoUTXO era) = UtxoEnv era
type Event (AlonzoUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type PredicateFailure (AlonzoUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type Signal (AlonzoUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type Signal (AlonzoUTXO era) = Tx era
type State (AlonzoUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type State (AlonzoUTXO era) = UTxOState era

data AlonzoUTXOS era Source #

Instances

Instances details
(AlonzoEraTx era, AlonzoEraPParams era, ShelleyEraTxBody era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, AlonzoEraScript era, TxCert era ~ ShelleyTxCert era, EraGov era, GovState era ~ ShelleyGovState era, State (EraRule "PPUP" era) ~ ShelleyGovState era, Embed (EraRule "PPUP" era) (AlonzoUTXOS era), Environment (EraRule "PPUP" era) ~ PpupEnv era, Signal (EraRule "PPUP" era) ~ StrictMaybe (Update era), EncCBOR (PredicateFailure (EraRule "PPUP" era)), Eq (EraRuleFailure "PPUP" era), Show (EraRuleFailure "PPUP" era), EraPlutusContext era) ⇒ STS (AlonzoUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Associated Types

type State (AlonzoUTXOS era) Source #

type Signal (AlonzoUTXOS era) Source #

type Environment (AlonzoUTXOS era) Source #

type BaseM (AlonzoUTXOS era) ∷ TypeType Source #

type Event (AlonzoUTXOS era) Source #

type PredicateFailure (AlonzoUTXOS era) Source #

(Era era, STS (AlonzoUTXOS era), PredicateFailure (EraRule "UTXOS" era) ~ AlonzoUtxosPredFailure era, Event (EraRule "UTXOS" era) ~ Event (AlonzoUTXOS era)) ⇒ Embed (AlonzoUTXOS era) (AlonzoUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

(Era era, STS (ShelleyPPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, Event (EraRule "PPUP" era) ~ Event (ShelleyPPUP era), EraRuleEvent "PPUP" era ~ PpupEvent era) ⇒ Embed (ShelleyPPUP era) (AlonzoUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type BaseM (AlonzoUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type Environment (AlonzoUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type Event (AlonzoUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type PredicateFailure (AlonzoUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type Signal (AlonzoUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type Signal (AlonzoUTXOS era) = Tx era
type State (AlonzoUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type State (AlonzoUTXOS era) = UTxOState era

data AlonzoUTXOW era Source #

Instances

Instances details
(AlonzoEraTx era, EraTxAuxData era, AlonzoEraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), EraRule "UTXOW" era ~ AlonzoUTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, Embed (EraRule "UTXO" era) (AlonzoUTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx era) ⇒ STS (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Associated Types

type State (AlonzoUTXOW era) Source #

type Signal (AlonzoUTXOW era) Source #

type Environment (AlonzoUTXOW era) Source #

type BaseM (AlonzoUTXOW era) ∷ TypeType Source #

type Event (AlonzoUTXOW era) Source #

type PredicateFailure (AlonzoUTXOW era) Source #

(Era era, STS (AlonzoUTXO era), PredicateFailure (EraRule "UTXO" era) ~ AlonzoUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (AlonzoUTXOW era) ~ ShelleyBase, PredicateFailure (AlonzoUTXOW era) ~ AlonzoUtxowPredFailure era, Event (AlonzoUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (AlonzoUTXO era) (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

(Era era, STS (AlonzoUTXOW era), PredicateFailure (EraRule "UTXOW" era) ~ AlonzoUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era) ⇒ Embed (AlonzoUTXOW era) (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type BaseM (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type Environment (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type Event (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type PredicateFailure (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type Signal (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type Signal (AlonzoUTXOW era) = Tx era
type State (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type State (AlonzoUTXOW era) = UTxOState era

data AlonzoBBODY era Source #

Instances

Instances details
(Era era, BaseM ledgers ~ ShelleyBase, ledgers ~ EraRule "LEDGERS" era, STS ledgers, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), Era era) ⇒ Embed ledgers (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

(DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), EraRule "BBODY" era ~ AlonzoBBODY era, InjectRuleFailure "BBODY" AlonzoBbodyPredFailure era, Embed (EraRule "LEDGERS" era) (AlonzoBBODY era), Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, State (EraRule "LEDGERS" era) ~ LedgerState era, Signal (EraRule "LEDGERS" era) ~ Seq (AlonzoTx era), AlonzoEraTxWits era, Tx era ~ AlonzoTx era, TxSeq era ~ AlonzoTxSeq era, Tx era ~ AlonzoTx era, EraSegWits era, AlonzoEraPParams era) ⇒ STS (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Associated Types

type State (AlonzoBBODY era) Source #

type Signal (AlonzoBBODY era) Source #

type Environment (AlonzoBBODY era) Source #

type BaseM (AlonzoBBODY era) ∷ TypeType Source #

type Event (AlonzoBBODY era) Source #

type PredicateFailure (AlonzoBBODY era) Source #

type BaseM (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type Environment (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type Event (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type PredicateFailure (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type Signal (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type Signal (AlonzoBBODY era) = Block (BHeaderView (EraCrypto era)) era
type State (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

data AlonzoLEDGER era Source #

Instances

Instances details
(DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), AlonzoEraTx era, EraGov era, Tx era ~ AlonzoTx era, Embed (EraRule "DELEGS" era) (AlonzoLEDGER era), Embed (EraRule "UTXOW" era) (AlonzoLEDGER era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ AlonzoTx era, Environment (EraRule "DELEGS" era) ~ DelegsEnv era, State (EraRule "DELEGS" era) ~ CertState era, Signal (EraRule "DELEGS" era) ~ Seq (TxCert era), ProtVerAtMost era 8) ⇒ STS (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

(Era era, STS (AlonzoLEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ShelleyLedgerEvent era) ⇒ Embed (AlonzoLEDGER era) (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

(Era era, STS (AlonzoUTXOW era), PredicateFailure (EraRule "UTXOW" era) ~ AlonzoUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era) ⇒ Embed (AlonzoUTXOW era) (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

(Era era, STS (ShelleyDELEGS era), PredicateFailure (EraRule "DELEGS" era) ~ ShelleyDelegsPredFailure era, Event (EraRule "DELEGS" era) ~ ShelleyDelegsEvent era) ⇒ Embed (ShelleyDELEGS era) (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type BaseM (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type Environment (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type Event (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type PredicateFailure (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type Signal (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type Signal (AlonzoLEDGER era) = AlonzoTx era
type State (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type State (AlonzoLEDGER era) = LedgerState era