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

Cardano.Ledger.Alonzo

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.Internal

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.Internal

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.Internal

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.Internal

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 #

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

Defined in Cardano.Ledger.Alonzo.Genesis

Associated Types

type Genesis (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.Internal

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.Internal

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.12.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 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.Internal

type TxBodyUpgradeError (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

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.Internal

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 Genesis (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

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 AlonzoTxOut era Source #

Instances

Instances details
(Era era, Val (Value era)) ⇒ ToJSON (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Generic (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type Rep (AlonzoTxOut era) ∷ TypeType Source #

Methods

fromAlonzoTxOut era → Rep (AlonzoTxOut era) x Source #

toRep (AlonzoTxOut era) x → AlonzoTxOut era Source #

(Era era, Val (Value era)) ⇒ Show (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

(Era era, Val (Value era)) ⇒ FromCBOR (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

(Era era, Val (Value era)) ⇒ ToCBOR (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

toCBORAlonzoTxOut era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxOut era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxOut era] → Size Source #

(Era era, Val (Value era)) ⇒ DecCBOR (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

(Era era, Val (Value era)) ⇒ DecShareCBOR (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type Share (AlonzoTxOut era) Source #

(Era era, Val (Value era)) ⇒ EncCBOR (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

encCBORAlonzoTxOut era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxOut era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxOut era] → Size Source #

NFData (AlonzoTxOut era) Source #

Already in NF

Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

rnfAlonzoTxOut era → () Source #

(Eq (Value era), Compactible (Value era)) ⇒ Eq (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

(==)AlonzoTxOut era → AlonzoTxOut era → Bool Source #

(/=)AlonzoTxOut era → AlonzoTxOut era → Bool Source #

NoThunks (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type Rep (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type Rep (AlonzoTxOut era) = D1 ('MetaData "AlonzoTxOut" "Cardano.Ledger.Alonzo.TxOut" "cardano-ledger-alonzo-1.12.0.0-inplace" 'False) ((C1 ('MetaCons "TxOutCompact'" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactAddr (EraCrypto era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :+: C1 ('MetaCons "TxOutCompactDH'" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactAddr (EraCrypto era))) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DataHash (EraCrypto era)))))) :+: (C1 ('MetaCons "TxOut_AddrHash28_AdaOnly" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era))) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)))) :+: C1 ('MetaCons "TxOut_AddrHash28_AdaOnly_DataHash32" 'PrefixI 'False) ((S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra)) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 DataHash32)))))
type Share (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

data MaryValue c Source #

The Value representing MultiAssets

Instances

Instances details
Inject Coin (MaryValue c) 
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

injectCoinMaryValue c Source #

Crypto c ⇒ ToJSON (MaryValue c) 
Instance details

Defined in Cardano.Ledger.Mary.Value

Monoid (MaryValue c) 
Instance details

Defined in Cardano.Ledger.Mary.Value

Semigroup (MaryValue c) 
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

(<>)MaryValue c → MaryValue c → MaryValue c Source #

sconcatNonEmpty (MaryValue c) → MaryValue c Source #

stimesIntegral b ⇒ b → MaryValue c → MaryValue c Source #

Generic (MaryValue c) 
Instance details

Defined in Cardano.Ledger.Mary.Value

Associated Types

type Rep (MaryValue c) ∷ TypeType Source #

Methods

fromMaryValue c → Rep (MaryValue c) x Source #

toRep (MaryValue c) x → MaryValue c Source #

Show (CompactForm (MaryValue c)) 
Instance details

Defined in Cardano.Ledger.Mary.Value

Show (MaryValue c) 
Instance details

Defined in Cardano.Ledger.Mary.Value

Crypto c ⇒ DecCBOR (CompactForm (MaryValue c)) 
Instance details

Defined in Cardano.Ledger.Mary.Value

Crypto c ⇒ DecCBOR (MaryValue c) 
Instance details

Defined in Cardano.Ledger.Mary.Value

Crypto c ⇒ EncCBOR (CompactForm (MaryValue c)) 
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

encCBORCompactForm (MaryValue c) → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (CompactForm (MaryValue c)) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CompactForm (MaryValue c)] → Size Source #

Crypto c ⇒ EncCBOR (MaryValue c) 
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

encCBORMaryValue c → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (MaryValue c) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [MaryValue c] → Size Source #

Crypto c ⇒ Compactible (MaryValue c) 
Instance details

Defined in Cardano.Ledger.Mary.Value

Associated Types

data CompactForm (MaryValue c) Source #

Crypto c ⇒ Val (MaryValue c) 
Instance details

Defined in Cardano.Ledger.Mary.Value

NFData (CompactForm (MaryValue c)) 
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

rnfCompactForm (MaryValue c) → () Source #

NFData (MaryValue c) 
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

rnfMaryValue c → () Source #

Crypto c ⇒ Eq (CompactForm (MaryValue c)) 
Instance details

Defined in Cardano.Ledger.Mary.Value

Crypto c ⇒ Eq (MaryValue c) 
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

(==)MaryValue c → MaryValue c → Bool Source #

(/=)MaryValue c → MaryValue c → Bool Source #

Abelian (MaryValue c) 
Instance details

Defined in Cardano.Ledger.Mary.Value

Group (MaryValue c) 
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

invertMaryValue c → MaryValue c Source #

(~~)MaryValue c → MaryValue c → MaryValue c Source #

powIntegral x ⇒ MaryValue c → x → MaryValue c Source #

NoThunks (CompactForm (MaryValue c)) 
Instance details

Defined in Cardano.Ledger.Mary.Value

NoThunks (MaryValue c) 
Instance details

Defined in Cardano.Ledger.Mary.Value

type Rep (MaryValue c) 
Instance details

Defined in Cardano.Ledger.Mary.Value

type Rep (MaryValue c) = D1 ('MetaData "MaryValue" "Cardano.Ledger.Mary.Value" "cardano-ledger-mary-1.7.0.1-inplace" 'False) (C1 ('MetaCons "MaryValue" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MultiAsset c))))
newtype CompactForm (MaryValue c) 
Instance details

Defined in Cardano.Ledger.Mary.Value

data AlonzoTxBody era Source #

Instances

Instances details
Memoized AlonzoTxBody Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Associated Types

type RawType AlonzoTxBody = (r ∷ TypeType) Source #

Generic (AlonzoTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Associated Types

type Rep (AlonzoTxBody era) ∷ TypeType Source #

Methods

fromAlonzoTxBody era → Rep (AlonzoTxBody era) x Source #

toRep (AlonzoTxBody era) x → AlonzoTxBody era Source #

(Era era, Show (TxOut era), Show (TxCert era), Show (PParamsUpdate era)) ⇒ Show (AlonzoTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Typeable era ⇒ ToCBOR (AlonzoTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

toCBORAlonzoTxBody era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxBody era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxBody era] → Size Source #

(Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) ⇒ DecCBOR (Annotator (AlonzoTxBody era)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Era era ⇒ EncCBOR (AlonzoTxBody era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

encCBORAlonzoTxBody era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxBody era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxBody era] → Size Source #

(Era era, Eq (PParamsUpdate era), Eq (TxOut era), Eq (TxCert era)) ⇒ EqRaw (AlonzoTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

eqRawAlonzoTxBody era → AlonzoTxBody era → Bool Source #

SafeToHash (AlonzoTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

(Era era, NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era)) ⇒ NFData (AlonzoTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

rnfAlonzoTxBody era → () Source #

(Era era, Eq (TxOut era), Eq (TxCert era), Eq (PParamsUpdate era)) ⇒ Eq (AlonzoTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

(==)AlonzoTxBody era → AlonzoTxBody era → Bool Source #

(/=)AlonzoTxBody era → AlonzoTxBody era → Bool Source #

(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (AlonzoTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

c ~ EraCrypto era ⇒ HashAnnotated (AlonzoTxBody era) EraIndependentTxBody c Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

type RawType AlonzoTxBody Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

type Rep (AlonzoTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

type Rep (AlonzoTxBody era) = D1 ('MetaData "AlonzoTxBody" "Cardano.Ledger.Alonzo.TxBody.Internal" "cardano-ledger-alonzo-1.12.0.0-inplace" 'True) (C1 ('MetaCons "TxBodyConstr" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxBodyRaw era))))

data AlonzoScript era Source #

Scripts in the Alonzo Era, Either a Timelock script or a Plutus script.

Instances

Instances details
AlonzoEraScript era ⇒ ToJSON (AlonzoScript era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Generic (AlonzoScript era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (AlonzoScript era) ∷ TypeType Source #

Methods

fromAlonzoScript era → Rep (AlonzoScript era) x Source #

toRep (AlonzoScript era) x → AlonzoScript era Source #

(AlonzoEraScript era, Script era ~ AlonzoScript era) ⇒ Show (AlonzoScript era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

AlonzoEraScript era ⇒ ToCBOR (AlonzoScript era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toCBORAlonzoScript era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoScript era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoScript era] → Size Source #

AlonzoEraScript era ⇒ DecCBOR (Annotator (AlonzoScript era)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

AlonzoEraScript era ⇒ EncCBOR (AlonzoScript era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

encCBORAlonzoScript era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoScript era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoScript era] → Size Source #

Eq (PlutusScript era) ⇒ EqRaw (AlonzoScript era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

eqRawAlonzoScript era → AlonzoScript era → Bool Source #

SafeToHash (PlutusScript era) ⇒ SafeToHash (AlonzoScript era) Source #

Both constructors know their original bytes

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

NFData (PlutusScript era) ⇒ NFData (AlonzoScript era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnfAlonzoScript era → () Source #

Eq (PlutusScript era) ⇒ Eq (AlonzoScript era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

(==)AlonzoScript era → AlonzoScript era → Bool Source #

(/=)AlonzoScript era → AlonzoScript era → Bool Source #

(Era era, NoThunks (PlutusScript era)) ⇒ NoThunks (AlonzoScript era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (AlonzoScript era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (AlonzoScript era) = D1 ('MetaData "AlonzoScript" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-1.12.0.0-inplace" 'False) (C1 ('MetaCons "TimelockScript" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Timelock era))) :+: C1 ('MetaCons "PlutusScript" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PlutusScript era))))

data AlonzoTxAuxData era Source #

Instances

Instances details
Memoized AlonzoTxAuxData Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Associated Types

type RawType AlonzoTxAuxData = (r ∷ TypeType) Source #

Generic (AlonzoTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Associated Types

type Rep (AlonzoTxAuxData era) ∷ TypeType Source #

HashAlgorithm (HASH (EraCrypto era)) ⇒ Show (AuxiliaryData era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Typeable era ⇒ ToCBOR (AlonzoTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

toCBORAlonzoTxAuxData era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxAuxData era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxAuxData era] → Size Source #

Era era ⇒ DecCBOR (Annotator (AuxiliaryData era)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Era era ⇒ EncCBOR (AlonzoTxAuxData era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

encCBORAlonzoTxAuxData era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxAuxData era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxAuxData era] → Size Source #

EqRaw (AlonzoTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

eqRawAlonzoTxAuxData era → AlonzoTxAuxData era → Bool Source #

SafeToHash (AlonzoTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

NFData (AuxiliaryData era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

rnfAuxiliaryData era → () Source #

Eq (AuxiliaryData era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

(==)AuxiliaryData era → AuxiliaryData era → Bool Source #

(/=)AuxiliaryData era → AuxiliaryData era → Bool Source #

NoThunks (AuxiliaryData era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

EraCrypto era ~ c ⇒ HashAnnotated (AuxiliaryData era) EraIndependentTxAuxData c Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type RawType AlonzoTxAuxData Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type Rep (AlonzoTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type Rep (AlonzoTxAuxData era) = D1 ('MetaData "AlonzoTxAuxData" "Cardano.Ledger.Alonzo.TxAuxData" "cardano-ledger-alonzo-1.12.0.0-inplace" 'True) (C1 ('MetaCons "AuxiliaryDataConstr" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxAuxDataRaw era))))

reapplyAlonzoTx ∷ ∀ era m. (ApplyTx era, MonadError (ApplyTxError era) m) ⇒ GlobalsMempoolEnv era → MempoolState era → Validated (Tx era) → m (MempoolState era) Source #

Orphan instances

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

Associated Types

type AdditionalGenesisConfig (AlonzoEra c) Source #

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

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