Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Alonzo

Contents

Orphan instances

Synopsis

type Alonzo = AlonzoEra StandardCrypto
data AlonzoEra c
data AlonzoTxOut era
data MaryValue c
data AlonzoTxBody era
data AlonzoScript era
data AlonzoTxAuxData era
reapplyAlonzoTx ∷ ∀ era m. (ApplyTx era, MonadError (ApplyTxError era) m) ⇒ Globals → MempoolEnv era → MempoolState era → Validated (Tx era) → m (MempoolState era)

Documentation

type Alonzo = AlonzoEra StandardCrypto Source #

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 Methods injectFailure ∷ AllegraUtxoPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" AlonzoBbodyPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ AlonzoBbodyPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" AlonzoUtxoPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ AlonzoUtxoPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" AlonzoUtxosPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ AlonzoUtxosPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" AlonzoUtxowPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ AlonzoUtxowPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" ShelleyBbodyPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ ShelleyBbodyPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" ShelleyDelegPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ ShelleyDelegPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" ShelleyDelegsPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ ShelleyDelegsPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" ShelleyDelplPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ ShelleyDelplPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" ShelleyLedgerPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ ShelleyLedgerPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" ShelleyLedgersPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ ShelleyLedgersPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" ShelleyPoolPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ ShelleyPoolPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" ShelleyPpupPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ ShelleyPpupPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" ShelleyUtxoPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ ShelleyUtxoPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" ShelleyUtxowPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ ShelleyUtxowPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "DELEG" ShelleyDelegPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Deleg Methods injectFailure ∷ ShelleyDelegPredFailure (AlonzoEra c) → EraRuleFailure "DELEG" (AlonzoEra c) Source #
InjectRuleFailure "DELEGS" ShelleyDelegPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Delegs Methods injectFailure ∷ ShelleyDelegPredFailure (AlonzoEra c) → EraRuleFailure "DELEGS" (AlonzoEra c) Source #
InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Delegs Methods injectFailure ∷ ShelleyDelegsPredFailure (AlonzoEra c) → EraRuleFailure "DELEGS" (AlonzoEra c) Source #
InjectRuleFailure "DELEGS" ShelleyDelplPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Delegs Methods injectFailure ∷ ShelleyDelplPredFailure (AlonzoEra c) → EraRuleFailure "DELEGS" (AlonzoEra c) Source #
InjectRuleFailure "DELEGS" ShelleyPoolPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Delegs Methods injectFailure ∷ ShelleyPoolPredFailure (AlonzoEra c) → EraRuleFailure "DELEGS" (AlonzoEra c) Source #
InjectRuleFailure "DELPL" ShelleyDelegPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Delpl Methods injectFailure ∷ ShelleyDelegPredFailure (AlonzoEra c) → EraRuleFailure "DELPL" (AlonzoEra c) Source #
InjectRuleFailure "DELPL" ShelleyDelplPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Delpl Methods injectFailure ∷ ShelleyDelplPredFailure (AlonzoEra c) → EraRuleFailure "DELPL" (AlonzoEra c) Source #
InjectRuleFailure "DELPL" ShelleyPoolPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Delpl Methods injectFailure ∷ ShelleyPoolPredFailure (AlonzoEra c) → EraRuleFailure "DELPL" (AlonzoEra c) Source #
InjectRuleFailure "LEDGER" AllegraUtxoPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods injectFailure ∷ AllegraUtxoPredFailure (AlonzoEra c) → EraRuleFailure "LEDGER" (AlonzoEra c) Source #
InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods injectFailure ∷ AlonzoUtxoPredFailure (AlonzoEra c) → EraRuleFailure "LEDGER" (AlonzoEra c) Source #
InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods injectFailure ∷ AlonzoUtxosPredFailure (AlonzoEra c) → EraRuleFailure "LEDGER" (AlonzoEra c) Source #
InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods injectFailure ∷ AlonzoUtxowPredFailure (AlonzoEra c) → EraRuleFailure "LEDGER" (AlonzoEra c) Source #
InjectRuleFailure "LEDGER" ShelleyDelegPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods injectFailure ∷ ShelleyDelegPredFailure (AlonzoEra c) → EraRuleFailure "LEDGER" (AlonzoEra c) Source #
InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods injectFailure ∷ ShelleyDelegsPredFailure (AlonzoEra c) → EraRuleFailure "LEDGER" (AlonzoEra c) Source #
InjectRuleFailure "LEDGER" ShelleyDelplPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods injectFailure ∷ ShelleyDelplPredFailure (AlonzoEra c) → EraRuleFailure "LEDGER" (AlonzoEra c) Source #
InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods injectFailure ∷ ShelleyLedgerPredFailure (AlonzoEra c) → EraRuleFailure "LEDGER" (AlonzoEra c) Source #
InjectRuleFailure "LEDGER" ShelleyPoolPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods injectFailure ∷ ShelleyPoolPredFailure (AlonzoEra c) → EraRuleFailure "LEDGER" (AlonzoEra c) Source #
InjectRuleFailure "LEDGER" ShelleyPpupPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods injectFailure ∷ ShelleyPpupPredFailure (AlonzoEra c) → EraRuleFailure "LEDGER" (AlonzoEra c) Source #
InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods injectFailure ∷ ShelleyUtxoPredFailure (AlonzoEra c) → EraRuleFailure "LEDGER" (AlonzoEra c) Source #
InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods injectFailure ∷ ShelleyUtxowPredFailure (AlonzoEra c) → EraRuleFailure "LEDGER" (AlonzoEra c) Source #
InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ AllegraUtxoPredFailure (AlonzoEra c) → EraRuleFailure "LEDGERS" (AlonzoEra c) Source #
InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ AlonzoUtxoPredFailure (AlonzoEra c) → EraRuleFailure "LEDGERS" (AlonzoEra c) Source #
InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ AlonzoUtxosPredFailure (AlonzoEra c) → EraRuleFailure "LEDGERS" (AlonzoEra c) Source #
InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ AlonzoUtxowPredFailure (AlonzoEra c) → EraRuleFailure "LEDGERS" (AlonzoEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ ShelleyDelegPredFailure (AlonzoEra c) → EraRuleFailure "LEDGERS" (AlonzoEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ ShelleyDelegsPredFailure (AlonzoEra c) → EraRuleFailure "LEDGERS" (AlonzoEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ ShelleyDelplPredFailure (AlonzoEra c) → EraRuleFailure "LEDGERS" (AlonzoEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgerPredFailure (AlonzoEra c) → EraRuleFailure "LEDGERS" (AlonzoEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgersPredFailure (AlonzoEra c) → EraRuleFailure "LEDGERS" (AlonzoEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ ShelleyPoolPredFailure (AlonzoEra c) → EraRuleFailure "LEDGERS" (AlonzoEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ ShelleyPpupPredFailure (AlonzoEra c) → EraRuleFailure "LEDGERS" (AlonzoEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxoPredFailure (AlonzoEra c) → EraRuleFailure "LEDGERS" (AlonzoEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxowPredFailure (AlonzoEra c) → EraRuleFailure "LEDGERS" (AlonzoEra c) Source #
InjectRuleFailure "POOL" ShelleyPoolPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Pool Methods injectFailure ∷ ShelleyPoolPredFailure (AlonzoEra c) → EraRuleFailure "POOL" (AlonzoEra c) Source #
InjectRuleFailure "PPUP" ShelleyPpupPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ppup Methods injectFailure ∷ ShelleyPpupPredFailure (AlonzoEra c) → EraRuleFailure "PPUP" (AlonzoEra c) Source #
InjectRuleFailure "UTXO" AllegraUtxoPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo Methods injectFailure ∷ AllegraUtxoPredFailure (AlonzoEra c) → EraRuleFailure "UTXO" (AlonzoEra c) Source #
InjectRuleFailure "UTXO" AlonzoUtxoPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo Methods injectFailure ∷ AlonzoUtxoPredFailure (AlonzoEra c) → EraRuleFailure "UTXO" (AlonzoEra c) Source #
InjectRuleFailure "UTXO" AlonzoUtxosPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo Methods injectFailure ∷ AlonzoUtxosPredFailure (AlonzoEra c) → EraRuleFailure "UTXO" (AlonzoEra c) Source #
InjectRuleFailure "UTXO" ShelleyPpupPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo Methods injectFailure ∷ ShelleyPpupPredFailure (AlonzoEra c) → EraRuleFailure "UTXO" (AlonzoEra c) Source #
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo Methods injectFailure ∷ ShelleyUtxoPredFailure (AlonzoEra c) → EraRuleFailure "UTXO" (AlonzoEra c) Source #
InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos Methods injectFailure ∷ AlonzoUtxosPredFailure (AlonzoEra c) → EraRuleFailure "UTXOS" (AlonzoEra c) Source #
InjectRuleFailure "UTXOS" ShelleyPpupPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos Methods injectFailure ∷ ShelleyPpupPredFailure (AlonzoEra c) → EraRuleFailure "UTXOS" (AlonzoEra c) Source #
InjectRuleFailure "UTXOW" AllegraUtxoPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow Methods injectFailure ∷ AllegraUtxoPredFailure (AlonzoEra c) → EraRuleFailure "UTXOW" (AlonzoEra c) Source #
InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow Methods injectFailure ∷ AlonzoUtxoPredFailure (AlonzoEra c) → EraRuleFailure "UTXOW" (AlonzoEra c) Source #
InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow Methods injectFailure ∷ AlonzoUtxosPredFailure (AlonzoEra c) → EraRuleFailure "UTXOW" (AlonzoEra c) Source #
InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow Methods injectFailure ∷ AlonzoUtxowPredFailure (AlonzoEra c) → EraRuleFailure "UTXOW" (AlonzoEra c) Source #
InjectRuleFailure "UTXOW" ShelleyPpupPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow Methods injectFailure ∷ ShelleyPpupPredFailure (AlonzoEra c) → EraRuleFailure "UTXOW" (AlonzoEra c) Source #
InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow Methods injectFailure ∷ ShelleyUtxoPredFailure (AlonzoEra c) → EraRuleFailure "UTXOW" (AlonzoEra c) Source #
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow Methods injectFailure ∷ ShelleyUtxowPredFailure (AlonzoEra c) → EraRuleFailure "UTXOW" (AlonzoEra c) Source #
Crypto c ⇒ EraPlutusTxInfo 'PlutusV1 (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo Methods toPlutusTxCert ∷ proxy 'PlutusV1 → TxCert (AlonzoEra c) → Either (ContextError (AlonzoEra c)) (PlutusTxCert 'PlutusV1) Source # toPlutusScriptPurpose ∷ proxy 'PlutusV1 → PlutusPurpose AsIxItem (AlonzoEra c) → Either (ContextError (AlonzoEra c)) (PlutusScriptPurpose 'PlutusV1) Source # toPlutusTxInfo ∷ proxy 'PlutusV1 → PParams (AlonzoEra c) → EpochInfo (Either Text) → SystemStart → UTxO (AlonzoEra c) → Tx (AlonzoEra c) → Either (ContextError (AlonzoEra c)) (PlutusTxInfo 'PlutusV1) Source # toPlutusScriptContext ∷ proxy 'PlutusV1 → PlutusTxInfo 'PlutusV1 → PlutusPurpose AsIxItem (AlonzoEra c) → Either (ContextError (AlonzoEra c)) (PlutusScriptContext 'PlutusV1) Source #
Crypto c ⇒ FromJSON (TransitionConfig (AlonzoEra c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition Methods parseJSON ∷ Value → Parser (TransitionConfig (AlonzoEra c)) Source # parseJSONList ∷ Value → Parser [TransitionConfig (AlonzoEra c)] Source # omittedField ∷ Maybe (TransitionConfig (AlonzoEra c)) Source #
Crypto c ⇒ ToJSON (TransitionConfig (AlonzoEra c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition Methods toJSON ∷ TransitionConfig (AlonzoEra c) → Value Source # toEncoding ∷ TransitionConfig (AlonzoEra c) → Encoding Source # toJSONList ∷ [TransitionConfig (AlonzoEra c)] → Value Source # toEncodingList ∷ [TransitionConfig (AlonzoEra c)] → Encoding Source # omitField ∷ TransitionConfig (AlonzoEra c) → Bool Source #
Generic (PlutusScript (AlonzoEra c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Associated Types type Rep (PlutusScript (AlonzoEra c)) ∷ Type → Type Source # Methods from ∷ PlutusScript (AlonzoEra c) → Rep (PlutusScript (AlonzoEra c)) x Source # to ∷ Rep (PlutusScript (AlonzoEra c)) x → PlutusScript (AlonzoEra c) Source #
Generic (TransitionConfig (AlonzoEra c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition Associated Types type Rep (TransitionConfig (AlonzoEra c)) ∷ Type → Type Source # Methods from ∷ TransitionConfig (AlonzoEra c) → Rep (TransitionConfig (AlonzoEra c)) x Source # to ∷ Rep (TransitionConfig (AlonzoEra c)) x → TransitionConfig (AlonzoEra c) Source #
Show (PlutusScript (AlonzoEra c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods showsPrec ∷ Int → PlutusScript (AlonzoEra c) → ShowS Source # show ∷ PlutusScript (AlonzoEra c) → String Source # showList ∷ [PlutusScript (AlonzoEra c)] → ShowS Source #
Crypto c ⇒ Show (TransitionConfig (AlonzoEra c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition Methods showsPrec ∷ Int → TransitionConfig (AlonzoEra c) → ShowS Source # show ∷ TransitionConfig (AlonzoEra c) → String Source # showList ∷ [TransitionConfig (AlonzoEra c)] → ShowS Source #
Crypto c ⇒ AllegraEraTxAuxData (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData (AlonzoEra c)) (StrictSeq (Timelock (AlonzoEra c))) Source #
Crypto c ⇒ AllegraEraTxBody (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods vldtTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) ValidityInterval Source #
Crypto c ⇒ AlonzoEraPParams (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods hkdCoinsPerUTxOWordL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ExactEra AlonzoEra (AlonzoEra c)) ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f CoinPerWord) Source # hkdCostModelsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f CostModels) Source # hkdPricesL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Prices) Source # hkdMaxTxExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f ExUnits) Source # hkdMaxBlockExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f ExUnits) Source # hkdMaxValSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Natural) Source # hkdCollateralPercentageL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Natural) Source # hkdMaxCollateralInputsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Natural) Source #
Crypto c ⇒ EraPlutusContext (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo Associated Types type ContextError (AlonzoEra c) = (r ∷ Type) Source # Methods mkPlutusScriptContext ∷ PlutusScript (AlonzoEra c) → PlutusPurpose AsIxItem (AlonzoEra c) → PParams (AlonzoEra c) → EpochInfo (Either Text) → SystemStart → UTxO (AlonzoEra c) → Tx (AlonzoEra c) → Either (ContextError (AlonzoEra c)) (Data (AlonzoEra c)) 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 eraMaxLanguage ∷ Language Source # toPlutusScript ∷ Script (AlonzoEra c) → Maybe (PlutusScript (AlonzoEra c)) Source # fromPlutusScript ∷ PlutusScript (AlonzoEra c) → Script (AlonzoEra c) Source # mkPlutusScript ∷ ∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → Maybe (PlutusScript (AlonzoEra c)) Source # withPlutusScript ∷ PlutusScript (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 # toSpendingPurpose ∷ PlutusPurpose f (AlonzoEra c) → Maybe (f Word32 (TxIn (EraCrypto (AlonzoEra c)))) Source # mkMintingPurpose ∷ f Word32 (PolicyID (EraCrypto (AlonzoEra c))) → PlutusPurpose f (AlonzoEra c) Source # toMintingPurpose ∷ PlutusPurpose f (AlonzoEra c) → Maybe (f Word32 (PolicyID (EraCrypto (AlonzoEra c)))) Source # mkCertifyingPurpose ∷ f Word32 (TxCert (AlonzoEra c)) → PlutusPurpose f (AlonzoEra c) Source # toCertifyingPurpose ∷ PlutusPurpose f (AlonzoEra c) → Maybe (f Word32 (TxCert (AlonzoEra c))) Source # mkRewardingPurpose ∷ f Word32 (RewardAccount (EraCrypto (AlonzoEra c))) → PlutusPurpose f (AlonzoEra c) Source # toRewardingPurpose ∷ PlutusPurpose f (AlonzoEra c) → Maybe (f Word32 (RewardAccount (EraCrypto (AlonzoEra c)))) Source # upgradePlutusPurposeAsIx ∷ PlutusPurpose AsIx (PreviousEra (AlonzoEra c)) → PlutusPurpose AsIx (AlonzoEra c) Source #
Crypto c ⇒ AlonzoEraTx (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods isValidTxL ∷ Lens' (Tx (AlonzoEra c)) IsValid Source #
Crypto c ⇒ AlonzoEraTxAuxData (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData (AlonzoEra c)) (Map Language (NonEmpty PlutusBinary)) Source #
Crypto c ⇒ AlonzoEraTxBody (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods collateralInputsTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (Set (TxIn (EraCrypto (AlonzoEra c)))) Source # reqSignerHashesTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (Set (KeyHash 'Witness (EraCrypto (AlonzoEra c)))) Source # scriptIntegrityHashTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (StrictMaybe (ScriptIntegrityHash (EraCrypto (AlonzoEra c)))) Source # networkIdTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (StrictMaybe Network) Source # redeemerPointer ∷ TxBody (AlonzoEra c) → PlutusPurpose AsItem (AlonzoEra c) → StrictMaybe (PlutusPurpose AsIx (AlonzoEra c)) Source # redeemerPointerInverse ∷ TxBody (AlonzoEra c) → PlutusPurpose AsIx (AlonzoEra c) → StrictMaybe (PlutusPurpose AsIxItem (AlonzoEra c)) Source #
Crypto c ⇒ AlonzoEraTxOut (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods dataHashTxOutL ∷ Lens' (TxOut (AlonzoEra c)) (StrictMaybe (DataHash (EraCrypto (AlonzoEra c)))) Source # datumTxOutF ∷ SimpleGetter (TxOut (AlonzoEra c)) (Datum (AlonzoEra c)) Source #
(EraScript (AlonzoEra c), Crypto c) ⇒ AlonzoEraTxWits (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods datsTxWitsL ∷ Lens' (TxWits (AlonzoEra c)) (TxDats (AlonzoEra c)) Source # rdmrsTxWitsL ∷ Lens' (TxWits (AlonzoEra c)) (Redeemers (AlonzoEra c)) Source #
Crypto c ⇒ AlonzoEraUTxO (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.UTxO Methods getSupplementalDataHashes ∷ UTxO (AlonzoEra c) → TxBody (AlonzoEra c) → Set (DataHash (EraCrypto (AlonzoEra c))) Source # getSpendingDatum ∷ UTxO (AlonzoEra c) → Tx (AlonzoEra c) → PlutusPurpose AsItem (AlonzoEra c) → Maybe (Data (AlonzoEra c)) Source #
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 # Methods upgradeScript ∷ Script (PreviousEra (AlonzoEra c)) → Script (AlonzoEra c) Source # scriptPrefixTag ∷ Script (AlonzoEra c) → ByteString Source # getNativeScript ∷ Script (AlonzoEra c) → Maybe (NativeScript (AlonzoEra c)) Source # fromNativeScript ∷ NativeScript (AlonzoEra c) → Script (AlonzoEra c) Source #
Crypto c ⇒ EraSegWits (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxSeq Associated Types type TxSeq (AlonzoEra c) = (r ∷ Type) Source # Methods fromTxSeq ∷ TxSeq (AlonzoEra c) → StrictSeq (Tx (AlonzoEra c)) Source # toTxSeq ∷ StrictSeq (Tx (AlonzoEra c)) → TxSeq (AlonzoEra c) Source # hashTxSeq ∷ TxSeq (AlonzoEra c) → Hash (HASH (EraCrypto (AlonzoEra c))) EraIndependentBlockBody Source # numSegComponents ∷ Word64 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 # Methods mkBasicTx ∷ TxBody (AlonzoEra c) → Tx (AlonzoEra c) Source # bodyTxL ∷ Lens' (Tx (AlonzoEra c)) (TxBody (AlonzoEra c)) Source # witsTxL ∷ Lens' (Tx (AlonzoEra c)) (TxWits (AlonzoEra c)) Source # auxDataTxL ∷ Lens' (Tx (AlonzoEra c)) (StrictMaybe (AuxiliaryData (AlonzoEra c))) Source # sizeTxF ∷ SimpleGetter (Tx (AlonzoEra c)) Integer Source # validateNativeScript ∷ Tx (AlonzoEra c) → NativeScript (AlonzoEra c) → Bool Source # getMinFeeTx ∷ PParams (AlonzoEra c) → Tx (AlonzoEra c) → Int → Coin Source # upgradeTx ∷ Tx (PreviousEra (AlonzoEra c)) → Either (TxUpgradeError (AlonzoEra c)) (Tx (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 # Methods mkBasicTxAuxData ∷ TxAuxData (AlonzoEra c) Source # metadataTxAuxDataL ∷ Lens' (TxAuxData (AlonzoEra c)) (Map Word64 Metadatum) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra (AlonzoEra c)) → TxAuxData (AlonzoEra c) Source # hashTxAuxData ∷ TxAuxData (AlonzoEra c) → AuxiliaryDataHash (EraCrypto (AlonzoEra c)) Source # validateTxAuxData ∷ ProtVer → TxAuxData (AlonzoEra c) → Bool 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 # Methods mkBasicTxBody ∷ TxBody (AlonzoEra c) Source # inputsTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (Set (TxIn (EraCrypto (AlonzoEra c)))) Source # outputsTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (StrictSeq (TxOut (AlonzoEra c))) Source # feeTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) Coin Source # withdrawalsTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (Withdrawals (EraCrypto (AlonzoEra c))) Source # auxDataHashTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (StrictMaybe (AuxiliaryDataHash (EraCrypto (AlonzoEra c)))) Source # spendableInputsTxBodyF ∷ SimpleGetter (TxBody (AlonzoEra c)) (Set (TxIn (EraCrypto (AlonzoEra c)))) Source # allInputsTxBodyF ∷ SimpleGetter (TxBody (AlonzoEra c)) (Set (TxIn (EraCrypto (AlonzoEra c)))) Source # certsTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (StrictSeq (TxCert (AlonzoEra c))) Source # getTotalDepositsTxBody ∷ PParams (AlonzoEra c) → (KeyHash 'StakePool (EraCrypto (AlonzoEra c)) → Bool) → TxBody (AlonzoEra c) → Coin Source # getTotalRefundsTxBody ∷ PParams (AlonzoEra c) → (Credential 'Staking (EraCrypto (AlonzoEra c)) → Maybe Coin) → (Credential 'DRepRole (EraCrypto (AlonzoEra c)) → Maybe Coin) → TxBody (AlonzoEra c) → Coin Source # getGenesisKeyHashCountTxBody ∷ TxBody (AlonzoEra c) → Int Source # upgradeTxBody ∷ TxBody (PreviousEra (AlonzoEra c)) → Either (TxBodyUpgradeError (AlonzoEra c)) (TxBody (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 # Methods mkBasicTxOut ∷ Addr (EraCrypto (AlonzoEra c)) → Value (AlonzoEra c) → TxOut (AlonzoEra c) Source # upgradeTxOut ∷ TxOut (PreviousEra (AlonzoEra c)) → TxOut (AlonzoEra c) Source # valueTxOutL ∷ Lens' (TxOut (AlonzoEra c)) (Value (AlonzoEra c)) Source # compactValueTxOutL ∷ Lens' (TxOut (AlonzoEra c)) (CompactForm (Value (AlonzoEra c))) Source # valueEitherTxOutL ∷ Lens' (TxOut (AlonzoEra c)) (Either (Value (AlonzoEra c)) (CompactForm (Value (AlonzoEra c)))) Source # addrTxOutL ∷ Lens' (TxOut (AlonzoEra c)) (Addr (EraCrypto (AlonzoEra c))) Source # compactAddrTxOutL ∷ Lens' (TxOut (AlonzoEra c)) (CompactAddr (EraCrypto (AlonzoEra c))) Source # addrEitherTxOutL ∷ Lens' (TxOut (AlonzoEra c)) (Either (Addr (EraCrypto (AlonzoEra c))) (CompactAddr (EraCrypto (AlonzoEra c)))) Source # getMinCoinSizedTxOut ∷ PParams (AlonzoEra c) → Sized (TxOut (AlonzoEra c)) → Coin Source # getMinCoinTxOut ∷ PParams (AlonzoEra c) → TxOut (AlonzoEra c) → Coin 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 # Methods mkBasicTxWits ∷ TxWits (AlonzoEra c) Source # addrTxWitsL ∷ Lens' (TxWits (AlonzoEra c)) (Set (WitVKey 'Witness (EraCrypto (AlonzoEra c)))) Source # bootAddrTxWitsL ∷ Lens' (TxWits (AlonzoEra c)) (Set (BootstrapWitness (EraCrypto (AlonzoEra c)))) Source # scriptTxWitsL ∷ Lens' (TxWits (AlonzoEra c)) (Map (ScriptHash (EraCrypto (AlonzoEra c))) (Script (AlonzoEra c))) Source # upgradeTxWits ∷ TxWits (PreviousEra (AlonzoEra c)) → TxWits (AlonzoEra c) 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 eraName ∷ String 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 applyPPUpdates ∷ PParams (AlonzoEra c) → PParamsUpdate (AlonzoEra c) → PParams (AlonzoEra c) Source # emptyPParamsIdentity ∷ PParamsHKD Identity (AlonzoEra c) Source # emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe (AlonzoEra c) Source # upgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDApplicative f, EraPParams (PreviousEra (AlonzoEra c))) ⇒ UpgradePParams f (AlonzoEra c) → PParamsHKD f (PreviousEra (AlonzoEra c)) → PParamsHKD f (AlonzoEra c) Source # downgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, EraPParams (PreviousEra (AlonzoEra c))) ⇒ DowngradePParams f (AlonzoEra c) → PParamsHKD f (AlonzoEra c) → PParamsHKD f (PreviousEra (AlonzoEra c)) Source # hkdMinFeeAL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Coin) Source # hkdMinFeeBL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Coin) Source # hkdMaxBBSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Word32) Source # hkdMaxTxSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Word32) Source # hkdMaxBHSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Word16) Source # hkdKeyDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Coin) Source # hkdPoolDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Coin) Source # hkdEMaxL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f EpochInterval) Source # hkdNOptL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Natural) Source # hkdA0L ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f NonNegativeInterval) Source # hkdRhoL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f UnitInterval) Source # hkdTauL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f UnitInterval) Source # hkdDL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (AlonzoEra c) 6) ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f UnitInterval) Source # ppDG ∷ SimpleGetter (PParams (AlonzoEra c)) UnitInterval Source # hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (AlonzoEra c) 6) ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Nonce) Source # hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (AlonzoEra c) 8) ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f ProtVer) Source # ppProtocolVersionL ∷ Lens' (PParams (AlonzoEra c)) ProtVer Source # ppuProtocolVersionL ∷ Lens' (PParamsUpdate (AlonzoEra c)) (StrictMaybe ProtVer) Source # hkdMinUTxOValueL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (AlonzoEra c) 4) ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Coin) Source # hkdMinPoolCostL ∷ ∀ (f ∷ Type → Type). 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 # Methods upgradeTxCert ∷ TxCert (PreviousEra (AlonzoEra c)) → Either (TxCertUpgradeError (AlonzoEra c)) (TxCert (AlonzoEra c)) Source # getVKeyWitnessTxCert ∷ TxCert (AlonzoEra c) → Maybe (KeyHash 'Witness (EraCrypto (AlonzoEra c))) Source # getScriptWitnessTxCert ∷ TxCert (AlonzoEra c) → Maybe (ScriptHash (EraCrypto (AlonzoEra c))) Source # mkRegPoolTxCert ∷ PoolParams (EraCrypto (AlonzoEra c)) → TxCert (AlonzoEra c) Source # getRegPoolTxCert ∷ TxCert (AlonzoEra c) → Maybe (PoolParams (EraCrypto (AlonzoEra c))) Source # mkRetirePoolTxCert ∷ KeyHash 'StakePool (EraCrypto (AlonzoEra c)) → EpochNo → TxCert (AlonzoEra c) Source # getRetirePoolTxCert ∷ TxCert (AlonzoEra c) → Maybe (KeyHash 'StakePool (EraCrypto (AlonzoEra c)), EpochNo) Source # lookupRegStakeTxCert ∷ TxCert (AlonzoEra c) → Maybe (Credential 'Staking (EraCrypto (AlonzoEra c))) Source # lookupUnRegStakeTxCert ∷ TxCert (AlonzoEra c) → Maybe (Credential 'Staking (EraCrypto (AlonzoEra c))) Source # getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams (AlonzoEra c) → (KeyHash 'StakePool (EraCrypto (AlonzoEra c)) → Bool) → f (TxCert (AlonzoEra c)) → Coin Source # getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams (AlonzoEra c) → (Credential 'Staking (EraCrypto (AlonzoEra c)) → Maybe Coin) → (Credential 'DRepRole (EraCrypto (AlonzoEra c)) → Maybe Coin) → f (TxCert (AlonzoEra c)) → Coin Source #
SafeToHash (PlutusScript (AlonzoEra c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods originalBytes ∷ PlutusScript (AlonzoEra c) → ByteString Source # originalBytesSize ∷ PlutusScript (AlonzoEra c) → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c0) ⇒ Proxy c0 → Proxy index → PlutusScript (AlonzoEra c) → SafeHash c0 index Source #
Crypto c ⇒ EraUTxO (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.UTxO Associated Types type ScriptsNeeded (AlonzoEra c) = (r ∷ Type) Source # Methods getConsumedValue ∷ PParams (AlonzoEra c) → (Credential 'Staking (EraCrypto (AlonzoEra c)) → Maybe Coin) → (Credential 'DRepRole (EraCrypto (AlonzoEra c)) → Maybe Coin) → UTxO (AlonzoEra c) → TxBody (AlonzoEra c) → Value (AlonzoEra c) Source # getProducedValue ∷ PParams (AlonzoEra c) → (KeyHash 'StakePool (EraCrypto (AlonzoEra c)) → Bool) → TxBody (AlonzoEra c) → Value (AlonzoEra c) Source # getScriptsProvided ∷ UTxO (AlonzoEra c) → Tx (AlonzoEra c) → ScriptsProvided (AlonzoEra c) Source # getScriptsNeeded ∷ UTxO (AlonzoEra c) → TxBody (AlonzoEra c) → ScriptsNeeded (AlonzoEra c) Source # getScriptsHashesNeeded ∷ ScriptsNeeded (AlonzoEra c) → Set (ScriptHash (EraCrypto (AlonzoEra c))) Source # getWitsVKeyNeeded ∷ CertState (AlonzoEra c) → UTxO (AlonzoEra c) → TxBody (AlonzoEra c) → Set (KeyHash 'Witness (EraCrypto (AlonzoEra c))) Source # getMinFeeTxUtxo ∷ PParams (AlonzoEra c) → Tx (AlonzoEra c) → UTxO (AlonzoEra c) → Coin Source #
Crypto c ⇒ MaryEraTxBody (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods mintTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (MultiAsset (EraCrypto (AlonzoEra c))) Source # mintValueTxBodyF ∷ SimpleGetter (TxBody (AlonzoEra c)) (Value (AlonzoEra c)) Source # mintedTxBodyF ∷ SimpleGetter (TxBody (AlonzoEra c)) (Set (PolicyID (EraCrypto (AlonzoEra c)))) Source #
Crypto c ⇒ CanStartFromGenesis (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo Associated Types type AdditionalGenesisConfig (AlonzoEra c) Source # Methods fromShelleyPParams ∷ AdditionalGenesisConfig (AlonzoEra c) → PParams (ShelleyEra (EraCrypto (AlonzoEra c))) → PParams (AlonzoEra c) Source # initialState ∷ ShelleyGenesis (EraCrypto (AlonzoEra c)) → AdditionalGenesisConfig (AlonzoEra c) → NewEpochState (AlonzoEra c) Source #
(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyTx (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo Methods applyTx ∷ MonadError (ApplyTxError (AlonzoEra c)) m ⇒ Globals → MempoolEnv (AlonzoEra c) → MempoolState (AlonzoEra c) → Tx (AlonzoEra c) → m (MempoolState (AlonzoEra c), Validated (Tx (AlonzoEra c))) Source # reapplyTx ∷ MonadError (ApplyTxError (AlonzoEra c)) m ⇒ Globals → MempoolEnv (AlonzoEra c) → MempoolState (AlonzoEra c) → Validated (Tx (AlonzoEra c)) → m (MempoolState (AlonzoEra c)) Source #
(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyBlock (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo Methods applyTickOpts ∷ ∀ (ep ∷ EventPolicy). ApplySTSOpts ep → Globals → NewEpochState (AlonzoEra c) → SlotNo → EventReturnType ep (EraRule "TICK" (AlonzoEra c)) (NewEpochState (AlonzoEra c)) Source # applyBlockOpts ∷ ∀ (ep ∷ EventPolicy) m. (EventReturnTypeRep ep, MonadError (BlockTransitionError (AlonzoEra c)) m) ⇒ ApplySTSOpts ep → Globals → NewEpochState (AlonzoEra c) → Block (BHeaderView (EraCrypto (AlonzoEra c))) (AlonzoEra c) → m (EventReturnType ep (EraRule "BBODY" (AlonzoEra c)) (NewEpochState (AlonzoEra c))) Source # reapplyBlock ∷ Globals → NewEpochState (AlonzoEra c) → Block (BHeaderView (EraCrypto (AlonzoEra c))) (AlonzoEra c) → NewEpochState (AlonzoEra c) Source #
Crypto c ⇒ EraGov (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams Associated Types type GovState (AlonzoEra c) = (r ∷ Type) Source # Methods emptyGovState ∷ GovState (AlonzoEra c) Source # getProposedPPUpdates ∷ GovState (AlonzoEra c) → Maybe (ProposedPPUpdates (AlonzoEra c)) Source # curPParamsGovStateL ∷ Lens' (GovState (AlonzoEra c)) (PParams (AlonzoEra c)) Source # prevPParamsGovStateL ∷ Lens' (GovState (AlonzoEra c)) (PParams (AlonzoEra c)) Source # futurePParamsGovStateL ∷ Lens' (GovState (AlonzoEra c)) (FuturePParams (AlonzoEra c)) Source # obligationGovState ∷ GovState (AlonzoEra c) → Obligations Source #
Crypto c ⇒ EraTransition (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition Associated Types data TransitionConfig (AlonzoEra c) Source # Methods mkTransitionConfig ∷ TranslationContext (AlonzoEra c) → TransitionConfig (PreviousEra (AlonzoEra c)) → TransitionConfig (AlonzoEra c) Source # injectIntoTestState ∷ TransitionConfig (AlonzoEra c) → NewEpochState (AlonzoEra c) → NewEpochState (AlonzoEra c) Source # tcPreviousEraConfigL ∷ Lens' (TransitionConfig (AlonzoEra c)) (TransitionConfig (PreviousEra (AlonzoEra c))) Source # tcTranslationContextL ∷ Lens' (TransitionConfig (AlonzoEra c)) (TranslationContext (AlonzoEra c)) Source # tcShelleyGenesisL ∷ Lens' (TransitionConfig (AlonzoEra c)) (ShelleyGenesis (EraCrypto (AlonzoEra c))) Source # tcInitialPParamsG ∷ SimpleGetter (TransitionConfig (AlonzoEra c)) (PParams (AlonzoEra c)) Source #
Crypto c ⇒ ShelleyEraTxBody (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (StrictMaybe (Update (AlonzoEra c))) Source #
Crypto c ⇒ ShelleyEraTxCert (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxCert Methods mkRegTxCert ∷ StakeCredential (EraCrypto (AlonzoEra c)) → TxCert (AlonzoEra c) Source # getRegTxCert ∷ TxCert (AlonzoEra c) → Maybe (StakeCredential (EraCrypto (AlonzoEra c))) Source # mkUnRegTxCert ∷ StakeCredential (EraCrypto (AlonzoEra c)) → TxCert (AlonzoEra c) Source # getUnRegTxCert ∷ TxCert (AlonzoEra c) → Maybe (StakeCredential (EraCrypto (AlonzoEra c))) Source # mkDelegStakeTxCert ∷ StakeCredential (EraCrypto (AlonzoEra c)) → KeyHash 'StakePool (EraCrypto (AlonzoEra c)) → TxCert (AlonzoEra c) Source # getDelegStakeTxCert ∷ TxCert (AlonzoEra c) → Maybe (StakeCredential (EraCrypto (AlonzoEra c)), KeyHash 'StakePool (EraCrypto (AlonzoEra c))) Source # mkGenesisDelegTxCert ∷ GenesisDelegCert (EraCrypto (AlonzoEra c)) → TxCert (AlonzoEra c) Source # getGenesisDelegTxCert ∷ TxCert (AlonzoEra c) → Maybe (GenesisDelegCert (EraCrypto (AlonzoEra c))) Source # mkMirTxCert ∷ MIRCert (EraCrypto (AlonzoEra c)) → TxCert (AlonzoEra c) Source # getMirTxCert ∷ TxCert (AlonzoEra c) → Maybe (MIRCert (EraCrypto (AlonzoEra c))) Source #
NFData (PlutusScript (AlonzoEra c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods rnf ∷ PlutusScript (AlonzoEra c) → () Source #
Eq (PlutusScript (AlonzoEra c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods (==) ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → Bool Source # (/=) ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → Bool Source #
Crypto c ⇒ Eq (TransitionConfig (AlonzoEra c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition Methods (==) ∷ TransitionConfig (AlonzoEra c) → TransitionConfig (AlonzoEra c) → Bool Source # (/=) ∷ TransitionConfig (AlonzoEra c) → TransitionConfig (AlonzoEra c) → Bool Source #
Ord (PlutusScript (AlonzoEra c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods compare ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → Ordering Source # (<) ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → Bool Source # (<=) ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → Bool Source # (>) ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → Bool Source # (>=) ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → Bool Source # max ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) Source # min ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) Source #
NoThunks (PlutusScript (AlonzoEra c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods noThunks ∷ Context → PlutusScript (AlonzoEra c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PlutusScript (AlonzoEra c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PlutusScript (AlonzoEra c)) → String Source #
Crypto c ⇒ NoThunks (TransitionConfig (AlonzoEra c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition Methods noThunks ∷ Context → TransitionConfig (AlonzoEra c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig (AlonzoEra c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig (AlonzoEra c)) → String Source #
Crypto c ⇒ TranslateEra (AlonzoEra c) Tx Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError (AlonzoEra c) Tx Source # Methods translateEra ∷ TranslationContext (AlonzoEra c) → Tx (PreviousEra (AlonzoEra c)) → Except (TranslationError (AlonzoEra c) Tx) (Tx (AlonzoEra c)) Source #
Crypto c ⇒ TranslateEra (AlonzoEra c) CertState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError (AlonzoEra c) CertState Source # Methods translateEra ∷ TranslationContext (AlonzoEra c) → CertState (PreviousEra (AlonzoEra c)) → Except (TranslationError (AlonzoEra c) CertState) (CertState (AlonzoEra c)) Source #
Crypto c ⇒ TranslateEra (AlonzoEra c) CommitteeState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError (AlonzoEra c) CommitteeState Source # Methods translateEra ∷ TranslationContext (AlonzoEra c) → CommitteeState (PreviousEra (AlonzoEra c)) → Except (TranslationError (AlonzoEra c) CommitteeState) (CommitteeState (AlonzoEra c)) Source #
Crypto c ⇒ TranslateEra (AlonzoEra c) DState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError (AlonzoEra c) DState Source # Methods translateEra ∷ TranslationContext (AlonzoEra c) → DState (PreviousEra (AlonzoEra c)) → Except (TranslationError (AlonzoEra c) DState) (DState (AlonzoEra c)) Source #
Crypto c ⇒ TranslateEra (AlonzoEra c) PState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError (AlonzoEra c) PState Source # Methods translateEra ∷ TranslationContext (AlonzoEra c) → PState (PreviousEra (AlonzoEra c)) → Except (TranslationError (AlonzoEra c) PState) (PState (AlonzoEra c)) Source #
Crypto c ⇒ TranslateEra (AlonzoEra c) VState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError (AlonzoEra c) VState Source # Methods translateEra ∷ TranslationContext (AlonzoEra c) → VState (PreviousEra (AlonzoEra c)) → Except (TranslationError (AlonzoEra c) VState) (VState (AlonzoEra c)) Source #
Crypto c ⇒ TranslateEra (AlonzoEra c) PParams Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError (AlonzoEra c) PParams Source # Methods translateEra ∷ TranslationContext (AlonzoEra c) → PParams (PreviousEra (AlonzoEra c)) → Except (TranslationError (AlonzoEra c) PParams) (PParams (AlonzoEra c)) Source #
Crypto c ⇒ TranslateEra (AlonzoEra c) UTxO Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError (AlonzoEra c) UTxO Source # Methods translateEra ∷ TranslationContext (AlonzoEra c) → UTxO (PreviousEra (AlonzoEra c)) → Except (TranslationError (AlonzoEra c) UTxO) (UTxO (AlonzoEra c)) Source #
Crypto c ⇒ TranslateEra (AlonzoEra c) FuturePParams Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError (AlonzoEra c) FuturePParams Source # Methods translateEra ∷ TranslationContext (AlonzoEra c) → FuturePParams (PreviousEra (AlonzoEra c)) → Except (TranslationError (AlonzoEra c) FuturePParams) (FuturePParams (AlonzoEra c)) Source #
Crypto c ⇒ TranslateEra (AlonzoEra c) ShelleyGovState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError (AlonzoEra c) ShelleyGovState Source # Methods translateEra ∷ TranslationContext (AlonzoEra c) → ShelleyGovState (PreviousEra (AlonzoEra c)) → Except (TranslationError (AlonzoEra c) ShelleyGovState) (ShelleyGovState (AlonzoEra c)) Source #
Crypto c ⇒ TranslateEra (AlonzoEra c) EpochState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError (AlonzoEra c) EpochState Source # Methods translateEra ∷ TranslationContext (AlonzoEra c) → EpochState (PreviousEra (AlonzoEra c)) → Except (TranslationError (AlonzoEra c) EpochState) (EpochState (AlonzoEra c)) Source #
Crypto c ⇒ TranslateEra (AlonzoEra c) LedgerState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError (AlonzoEra c) LedgerState Source # Methods translateEra ∷ TranslationContext (AlonzoEra c) → LedgerState (PreviousEra (AlonzoEra c)) → Except (TranslationError (AlonzoEra c) LedgerState) (LedgerState (AlonzoEra c)) Source #
Crypto c ⇒ TranslateEra (AlonzoEra c) NewEpochState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError (AlonzoEra c) NewEpochState Source # Methods translateEra ∷ TranslationContext (AlonzoEra c) → NewEpochState (PreviousEra (AlonzoEra c)) → Except (TranslationError (AlonzoEra c) NewEpochState) (NewEpochState (AlonzoEra c)) Source #
Crypto c ⇒ TranslateEra (AlonzoEra c) UTxOState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError (AlonzoEra c) UTxOState Source # Methods translateEra ∷ TranslationContext (AlonzoEra c) → UTxOState (PreviousEra (AlonzoEra c)) → Except (TranslationError (AlonzoEra c) UTxOState) (UTxOState (AlonzoEra c)) Source #
Crypto c ⇒ TranslateEra (AlonzoEra c) ProposedPPUpdates Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError (AlonzoEra c) ProposedPPUpdates Source # Methods translateEra ∷ TranslationContext (AlonzoEra c) → ProposedPPUpdates (PreviousEra (AlonzoEra c)) → Except (TranslationError (AlonzoEra c) ProposedPPUpdates) (ProposedPPUpdates (AlonzoEra c)) Source #
Crypto c ⇒ ToJSON (AlonzoPParams Identity (AlonzoEra c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods toJSON ∷ AlonzoPParams Identity (AlonzoEra c) → Value Source # toEncoding ∷ AlonzoPParams Identity (AlonzoEra c) → Encoding Source # toJSONList ∷ [AlonzoPParams Identity (AlonzoEra c)] → Value Source # toEncodingList ∷ [AlonzoPParams Identity (AlonzoEra c)] → Encoding Source # omitField ∷ AlonzoPParams Identity (AlonzoEra c) → Bool Source #
Crypto c ⇒ ToJSON (AlonzoPParams StrictMaybe (AlonzoEra c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods toJSON ∷ AlonzoPParams StrictMaybe (AlonzoEra c) → Value Source # toEncoding ∷ AlonzoPParams StrictMaybe (AlonzoEra c) → Encoding Source # toJSONList ∷ [AlonzoPParams StrictMaybe (AlonzoEra c)] → Value Source # toEncodingList ∷ [AlonzoPParams StrictMaybe (AlonzoEra c)] → Encoding Source # omitField ∷ AlonzoPParams StrictMaybe (AlonzoEra c) → Bool Source #
type PlutusPurpose f (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type PlutusPurpose f (AlonzoEra c) = AlonzoPlutusPurpose f (AlonzoEra c)
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 "LEDGER" (AlonzoEra c) = ShelleyLedgerEvent (AlonzoEra c)
type EraRuleEvent "PPUP" (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ppup type EraRuleEvent "PPUP" (AlonzoEra c) = PpupEvent (AlonzoEra c)
type EraRuleEvent "TICK" (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules type EraRuleEvent "TICK" (AlonzoEra c) = ShelleyTickEvent (AlonzoEra c)
type EraRuleFailure "BBODY" (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type EraRuleFailure "BBODY" (AlonzoEra c) = AlonzoBbodyPredFailure (AlonzoEra c)
type EraRuleFailure "DELEG" (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Deleg type EraRuleFailure "DELEG" (AlonzoEra c) = ShelleyDelegPredFailure (AlonzoEra c)
type EraRuleFailure "DELEGS" (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Delegs type EraRuleFailure "DELEGS" (AlonzoEra c) = ShelleyDelegsPredFailure (AlonzoEra c)
type EraRuleFailure "DELPL" (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Delpl type EraRuleFailure "DELPL" (AlonzoEra c) = ShelleyDelplPredFailure (AlonzoEra c)
type EraRuleFailure "LEDGER" (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type EraRuleFailure "LEDGER" (AlonzoEra c) = ShelleyLedgerPredFailure (AlonzoEra c)
type EraRuleFailure "LEDGERS" (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers type EraRuleFailure "LEDGERS" (AlonzoEra c) = ShelleyLedgersPredFailure (AlonzoEra c)
type EraRuleFailure "POOL" (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Pool type EraRuleFailure "POOL" (AlonzoEra c) = ShelleyPoolPredFailure (AlonzoEra c)
type EraRuleFailure "PPUP" (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ppup type EraRuleFailure "PPUP" (AlonzoEra c) = ShelleyPpupPredFailure (AlonzoEra c)
type EraRuleFailure "UTXO" (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type EraRuleFailure "UTXO" (AlonzoEra c) = AlonzoUtxoPredFailure (AlonzoEra c)
type EraRuleFailure "UTXOS" (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type EraRuleFailure "UTXOS" (AlonzoEra c) = AlonzoUtxosPredFailure (AlonzoEra c)
type EraRuleFailure "UTXOW" (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type EraRuleFailure "UTXOW" (AlonzoEra c) = AlonzoUtxowPredFailure (AlonzoEra c)
type DowngradePParams f (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams type DowngradePParams f (AlonzoEra c) = DowngradeAlonzoPParams f
type PParamsHKD f (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams type PParamsHKD f (AlonzoEra c) = AlonzoPParams f (AlonzoEra c)
type UpgradePParams f (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams type UpgradePParams f (AlonzoEra c) = UpgradeAlonzoPParams f
type Rep (PlutusScript (AlonzoEra c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Rep (PlutusScript (AlonzoEra c)) = Rep (Plutus 'PlutusV1)
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.8.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 type ContextError (AlonzoEra c) = AlonzoContextError (AlonzoEra c)
newtype PlutusScript (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts newtype PlutusScript (AlonzoEra c) = AlonzoPlutusV1 (Plutus 'PlutusV1)
type NativeScript (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type NativeScript (AlonzoEra c) = Timelock (AlonzoEra c)
type Script (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Script (AlonzoEra c) = AlonzoScript (AlonzoEra c)
type Tx (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx type Tx (AlonzoEra c) = AlonzoTx (AlonzoEra c)
type TxAuxData (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type TxAuxData (AlonzoEra c) = AlonzoTxAuxData (AlonzoEra c)
type TxBody (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody type TxBody (AlonzoEra c) = AlonzoTxBody (AlonzoEra c)
type TxBodyUpgradeError (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody type TxBodyUpgradeError (AlonzoEra c) = AlonzoTxBodyUpgradeError
type TxOut (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut type TxOut (AlonzoEra c) = AlonzoTxOut (AlonzoEra c)
type TxSeq (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxSeq type TxSeq (AlonzoEra c) = AlonzoTxSeq (AlonzoEra c)
type TxUpgradeError (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx type TxUpgradeError (AlonzoEra c)
type TxWits (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type TxWits (AlonzoEra c) = AlonzoTxWits (AlonzoEra c)
type Value (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type Value (AlonzoEra c) = MaryValue c
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 PreviousEra (AlonzoEra c) = MaryEra c
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 TranslationContext (AlonzoEra c) = AlonzoGenesis
type TxCert (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxCert type TxCert (AlonzoEra c) = ShelleyTxCert (AlonzoEra c)
type TxCertUpgradeError (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxCert type TxCertUpgradeError (AlonzoEra c) = Void
type ScriptsNeeded (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.UTxO type ScriptsNeeded (AlonzoEra c) = AlonzoScriptsNeeded (AlonzoEra c)
type AdditionalGenesisConfig (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo type AdditionalGenesisConfig (AlonzoEra c) = AlonzoGenesis
type GovState (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams type GovState (AlonzoEra c) = ShelleyGovState (AlonzoEra c)
data TransitionConfig (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition data TransitionConfig (AlonzoEra c) = AlonzoTransitionConfig { atcAlonzoGenesis ∷ !AlonzoGenesis atcMaryTransitionConfig ∷ !(TransitionConfig (MaryEra c)) }
type TranslationError (AlonzoEra c) Tx Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) Tx = DecoderError
type TranslationError (AlonzoEra c) CertState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) CertState = Void
type TranslationError (AlonzoEra c) CommitteeState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) CommitteeState = Void
type TranslationError (AlonzoEra c) DState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) DState = Void
type TranslationError (AlonzoEra c) PState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) PState = Void
type TranslationError (AlonzoEra c) VState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) VState = Void
type TranslationError (AlonzoEra c) PParams Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) PParams = Void
type TranslationError (AlonzoEra c) UTxO Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) UTxO = Void
type TranslationError (AlonzoEra c) FuturePParams Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) FuturePParams = Void
type TranslationError (AlonzoEra c) ShelleyGovState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) ShelleyGovState = Void
type TranslationError (AlonzoEra c) EpochState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) EpochState = Void
type TranslationError (AlonzoEra c) LedgerState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) LedgerState = Void
type TranslationError (AlonzoEra c) NewEpochState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) NewEpochState = Void
type TranslationError (AlonzoEra c) UTxOState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) UTxOState = Void
type TranslationError (AlonzoEra c) ProposedPPUpdates Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) ProposedPPUpdates = Void

data AlonzoTxOut era Source #

Instances

Instances details

(Era era, Val (Value era)) ⇒ ToJSON (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods toJSON ∷ AlonzoTxOut era → Value Source # toEncoding ∷ AlonzoTxOut era → Encoding Source # toJSONList ∷ [AlonzoTxOut era] → Value Source # toEncodingList ∷ [AlonzoTxOut era] → Encoding Source # omitField ∷ AlonzoTxOut era → Bool Source #
Generic (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Associated Types type Rep (AlonzoTxOut era) ∷ Type → Type Source # Methods from ∷ AlonzoTxOut era → Rep (AlonzoTxOut era) x Source # to ∷ Rep (AlonzoTxOut era) x → AlonzoTxOut era Source #
(Era era, Val (Value era)) ⇒ Show (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods showsPrec ∷ Int → AlonzoTxOut era → ShowS Source # show ∷ AlonzoTxOut era → String Source # showList ∷ [AlonzoTxOut era] → ShowS Source #
(Era era, Val (Value era)) ⇒ FromCBOR (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods fromCBOR ∷ Decoder s (AlonzoTxOut era) Source # label ∷ Proxy (AlonzoTxOut era) → Text Source #
(Era era, Val (Value era)) ⇒ ToCBOR (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods toCBOR ∷ AlonzoTxOut 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 Methods decCBOR ∷ Decoder s (AlonzoTxOut era) Source # dropCBOR ∷ Proxy (AlonzoTxOut era) → Decoder s () Source # label ∷ Proxy (AlonzoTxOut era) → Text Source #
(Era era, Val (Value era)) ⇒ DecShareCBOR (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Associated Types type Share (AlonzoTxOut era) Source # Methods getShare ∷ AlonzoTxOut era → Share (AlonzoTxOut era) Source # decShareCBOR ∷ Share (AlonzoTxOut era) → Decoder s (AlonzoTxOut era) Source # decSharePlusCBOR ∷ StateT (Share (AlonzoTxOut era)) (Decoder s) (AlonzoTxOut era) Source #
(Era era, Val (Value era)) ⇒ EncCBOR (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods encCBOR ∷ AlonzoTxOut 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 rnf ∷ AlonzoTxOut 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 Methods noThunks ∷ Context → AlonzoTxOut era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoTxOut era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AlonzoTxOut era) → String Source #
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.8.0.0-inplace" 'False) ((C1 ('MetaCons "TxOutCompact'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactAddr (EraCrypto era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :+: C1 ('MetaCons "TxOutCompactDH'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactAddr (EraCrypto era))) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DataHash (EraCrypto era)))))) :+: (C1 ('MetaCons "TxOut_AddrHash28_AdaOnly" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era))) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)))) :+: C1 ('MetaCons "TxOut_AddrHash28_AdaOnly_DataHash32" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 DataHash32)))))
type Share (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut type Share (AlonzoTxOut era) = Interns (Credential 'Staking (EraCrypto era))

data MaryValue c Source #

The Value representing MultiAssets

Instances

Instances details

Inject Coin (MaryValue c)
Instance details Defined in Cardano.Ledger.Mary.Value Methods inject ∷ Coin → MaryValue c Source #
Crypto c ⇒ ToJSON (MaryValue c)
Instance details Defined in Cardano.Ledger.Mary.Value Methods toJSON ∷ MaryValue c → Value Source # toEncoding ∷ MaryValue c → Encoding Source # toJSONList ∷ [MaryValue c] → Value Source # toEncodingList ∷ [MaryValue c] → Encoding Source # omitField ∷ MaryValue c → Bool Source #
Monoid (MaryValue c)
Instance details Defined in Cardano.Ledger.Mary.Value Methods mempty ∷ MaryValue c Source # mappend ∷ MaryValue c → MaryValue c → MaryValue c Source # mconcat ∷ [MaryValue c] → MaryValue c Source #
Semigroup (MaryValue c)
Instance details Defined in Cardano.Ledger.Mary.Value Methods (<>) ∷ MaryValue c → MaryValue c → MaryValue c Source # sconcat ∷ NonEmpty (MaryValue c) → MaryValue c Source # stimes ∷ Integral b ⇒ b → MaryValue c → MaryValue c Source #
Generic (MaryValue c)
Instance details Defined in Cardano.Ledger.Mary.Value Associated Types type Rep (MaryValue c) ∷ Type → Type Source # Methods from ∷ MaryValue c → Rep (MaryValue c) x Source # to ∷ Rep (MaryValue c) x → MaryValue c Source #
Show (CompactForm (MaryValue c))
Instance details Defined in Cardano.Ledger.Mary.Value Methods showsPrec ∷ Int → CompactForm (MaryValue c) → ShowS Source # show ∷ CompactForm (MaryValue c) → String Source # showList ∷ [CompactForm (MaryValue c)] → ShowS Source #
Show (MaryValue c)
Instance details Defined in Cardano.Ledger.Mary.Value Methods showsPrec ∷ Int → MaryValue c → ShowS Source # show ∷ MaryValue c → String Source # showList ∷ [MaryValue c] → ShowS Source #
Crypto c ⇒ DecCBOR (CompactForm (MaryValue c))
Instance details Defined in Cardano.Ledger.Mary.Value Methods decCBOR ∷ Decoder s (CompactForm (MaryValue c)) Source # dropCBOR ∷ Proxy (CompactForm (MaryValue c)) → Decoder s () Source # label ∷ Proxy (CompactForm (MaryValue c)) → Text Source #
Crypto c ⇒ DecCBOR (MaryValue c)
Instance details Defined in Cardano.Ledger.Mary.Value Methods decCBOR ∷ Decoder s (MaryValue c) Source # dropCBOR ∷ Proxy (MaryValue c) → Decoder s () Source # label ∷ Proxy (MaryValue c) → Text Source #
Crypto c ⇒ EncCBOR (CompactForm (MaryValue c))
Instance details Defined in Cardano.Ledger.Mary.Value Methods encCBOR ∷ CompactForm (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 encCBOR ∷ MaryValue 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 # Methods toCompact ∷ MaryValue c → Maybe (CompactForm (MaryValue c)) Source # fromCompact ∷ CompactForm (MaryValue c) → MaryValue c Source #
Crypto c ⇒ Val (MaryValue c)
Instance details Defined in Cardano.Ledger.Mary.Value Methods zero ∷ MaryValue c Source # (<+>) ∷ MaryValue c → MaryValue c → MaryValue c Source # (<×>) ∷ Integral i ⇒ i → MaryValue c → MaryValue c Source # (<->) ∷ MaryValue c → MaryValue c → MaryValue c Source # isZero ∷ MaryValue c → Bool Source # coin ∷ MaryValue c → Coin Source # modifyCoin ∷ (Coin → Coin) → MaryValue c → MaryValue c Source # size ∷ MaryValue c → Integer Source # pointwise ∷ (Integer → Integer → Bool) → MaryValue c → MaryValue c → Bool Source # isAdaOnly ∷ MaryValue c → Bool Source # isAdaOnlyCompact ∷ CompactForm (MaryValue c) → Bool Source # coinCompact ∷ CompactForm (MaryValue c) → CompactForm Coin Source # injectCompact ∷ CompactForm Coin → CompactForm (MaryValue c) Source # modifyCompactCoin ∷ (CompactForm Coin → CompactForm Coin) → CompactForm (MaryValue c) → CompactForm (MaryValue c) Source #
NFData (CompactForm (MaryValue c))
Instance details Defined in Cardano.Ledger.Mary.Value Methods rnf ∷ CompactForm (MaryValue c) → () Source #
NFData (MaryValue c)
Instance details Defined in Cardano.Ledger.Mary.Value Methods rnf ∷ MaryValue c → () Source #
Crypto c ⇒ Eq (CompactForm (MaryValue c))
Instance details Defined in Cardano.Ledger.Mary.Value Methods (==) ∷ CompactForm (MaryValue c) → CompactForm (MaryValue c) → Bool Source # (/=) ∷ CompactForm (MaryValue c) → CompactForm (MaryValue c) → Bool Source #
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 invert ∷ MaryValue c → MaryValue c Source # (~~) ∷ MaryValue c → MaryValue c → MaryValue c Source # pow ∷ Integral x ⇒ MaryValue c → x → MaryValue c Source #
NoThunks (CompactForm (MaryValue c))
Instance details Defined in Cardano.Ledger.Mary.Value Methods noThunks ∷ Context → CompactForm (MaryValue c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CompactForm (MaryValue c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CompactForm (MaryValue c)) → String Source #
NoThunks (MaryValue c)
Instance details Defined in Cardano.Ledger.Mary.Value Methods noThunks ∷ Context → MaryValue c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MaryValue c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (MaryValue c) → String Source #
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.6.0.0-inplace" 'False) (C1 ('MetaCons "MaryValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MultiAsset c))))
newtype CompactForm (MaryValue c)
Instance details Defined in Cardano.Ledger.Mary.Value newtype CompactForm (MaryValue c) = CompactValue (CompactValue c)

data AlonzoTxBody era Source #

Instances

Instances details

Memoized AlonzoTxBody Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Associated Types type RawType AlonzoTxBody = (r ∷ Type → Type) Source # Methods getMemoBytes ∷ AlonzoTxBody era → MemoBytes (RawType AlonzoTxBody) era wrapMemoBytes ∷ MemoBytes (RawType AlonzoTxBody) era → AlonzoTxBody era
Generic (AlonzoTxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Associated Types type Rep (AlonzoTxBody era) ∷ Type → Type Source # Methods from ∷ AlonzoTxBody era → Rep (AlonzoTxBody era) x Source # to ∷ Rep (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 Methods showsPrec ∷ Int → AlonzoTxBody era → ShowS Source # show ∷ AlonzoTxBody era → String Source # showList ∷ [AlonzoTxBody era] → ShowS Source #
Typeable era ⇒ ToCBOR (AlonzoTxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods toCBOR ∷ AlonzoTxBody 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 Methods decCBOR ∷ Decoder s (Annotator (AlonzoTxBody era)) Source # dropCBOR ∷ Proxy (Annotator (AlonzoTxBody era)) → Decoder s () Source # label ∷ Proxy (Annotator (AlonzoTxBody era)) → Text Source #
Era era ⇒ EncCBOR (AlonzoTxBody era) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods encCBOR ∷ AlonzoTxBody 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 Methods eqRaw ∷ AlonzoTxBody era → AlonzoTxBody era → Bool Source #
SafeToHash (AlonzoTxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods originalBytes ∷ AlonzoTxBody era → ByteString Source # originalBytesSize ∷ AlonzoTxBody era → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → AlonzoTxBody era → SafeHash c index Source #
(Era era, NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era)) ⇒ NFData (AlonzoTxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods rnf ∷ AlonzoTxBody 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 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 Methods noThunks ∷ Context → AlonzoTxBody era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoTxBody era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AlonzoTxBody era) → String Source #
c ~ EraCrypto era ⇒ HashAnnotated (AlonzoTxBody era) EraIndependentTxBody c Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods indexProxy ∷ AlonzoTxBody era → Proxy EraIndependentTxBody Source # hashAnnotated ∷ AlonzoTxBody era → SafeHash c EraIndependentTxBody Source #
type RawType AlonzoTxBody Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody type RawType AlonzoTxBody = AlonzoTxBodyRaw
type Rep (AlonzoTxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody type Rep (AlonzoTxBody era) = D1 ('MetaData "AlonzoTxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.8.0.0-inplace" 'True) (C1 ('MetaCons "TxBodyConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe 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 Methods toJSON ∷ AlonzoScript era → Value Source # toEncoding ∷ AlonzoScript era → Encoding Source # toJSONList ∷ [AlonzoScript era] → Value Source # toEncodingList ∷ [AlonzoScript era] → Encoding Source # omitField ∷ AlonzoScript era → Bool Source #
Generic (AlonzoScript era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Associated Types type Rep (AlonzoScript era) ∷ Type → Type Source # Methods from ∷ AlonzoScript era → Rep (AlonzoScript era) x Source # to ∷ Rep (AlonzoScript era) x → AlonzoScript era Source #
(AlonzoEraScript era, Script era ~ AlonzoScript era) ⇒ Show (AlonzoScript era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods showsPrec ∷ Int → AlonzoScript era → ShowS Source # show ∷ AlonzoScript era → String Source # showList ∷ [AlonzoScript era] → ShowS Source #
AlonzoEraScript era ⇒ ToCBOR (AlonzoScript era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods toCBOR ∷ AlonzoScript 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 Methods decCBOR ∷ Decoder s (Annotator (AlonzoScript era)) Source # dropCBOR ∷ Proxy (Annotator (AlonzoScript era)) → Decoder s () Source # label ∷ Proxy (Annotator (AlonzoScript era)) → Text Source #
AlonzoEraScript era ⇒ EncCBOR (AlonzoScript era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods encCBOR ∷ AlonzoScript 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 eqRaw ∷ AlonzoScript 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 Methods originalBytes ∷ AlonzoScript era → ByteString Source # originalBytesSize ∷ AlonzoScript era → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → AlonzoScript era → SafeHash c index Source #
NFData (PlutusScript era) ⇒ NFData (AlonzoScript era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods rnf ∷ AlonzoScript 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 Methods noThunks ∷ Context → AlonzoScript era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoScript era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AlonzoScript era) → String Source #
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.8.0.0-inplace" 'False) (C1 ('MetaCons "TimelockScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Timelock era))) :+: C1 ('MetaCons "PlutusScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe 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 ∷ Type → Type) Source # Methods getMemoBytes ∷ AlonzoTxAuxData era → MemoBytes (RawType AlonzoTxAuxData) era wrapMemoBytes ∷ MemoBytes (RawType AlonzoTxAuxData) era → AlonzoTxAuxData era
Generic (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Associated Types type Rep (AlonzoTxAuxData era) ∷ Type → Type Source # Methods from ∷ AlonzoTxAuxData era → Rep (AlonzoTxAuxData era) x Source # to ∷ Rep (AlonzoTxAuxData era) x → AlonzoTxAuxData era Source #
HashAlgorithm (HASH (EraCrypto era)) ⇒ Show (AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods showsPrec ∷ Int → AuxiliaryData era → ShowS Source # show ∷ AuxiliaryData era → String Source # showList ∷ [AuxiliaryData era] → ShowS Source #
Typeable era ⇒ ToCBOR (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods toCBOR ∷ AlonzoTxAuxData 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 Methods decCBOR ∷ Decoder s (Annotator (AuxiliaryData era)) Source # dropCBOR ∷ Proxy (Annotator (AuxiliaryData era)) → Decoder s () Source # label ∷ Proxy (Annotator (AuxiliaryData era)) → Text Source #
Era era ⇒ EncCBOR (AlonzoTxAuxData era) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods encCBOR ∷ AlonzoTxAuxData 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 eqRaw ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool Source #
SafeToHash (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods originalBytes ∷ AlonzoTxAuxData era → ByteString Source # originalBytesSize ∷ AlonzoTxAuxData era → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → AlonzoTxAuxData era → SafeHash c index Source #
NFData (AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods rnf ∷ AuxiliaryData 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 Methods noThunks ∷ Context → AuxiliaryData era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AuxiliaryData era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AuxiliaryData era) → String Source #
EraCrypto era ~ c ⇒ HashAnnotated (AuxiliaryData era) EraIndependentTxAuxData c Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods indexProxy ∷ AuxiliaryData era → Proxy EraIndependentTxAuxData Source # hashAnnotated ∷ AuxiliaryData era → SafeHash c EraIndependentTxAuxData Source #
type RawType AlonzoTxAuxData Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type RawType AlonzoTxAuxData = AlonzoTxAuxDataRaw
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.8.0.0-inplace" 'True) (C1 ('MetaCons "AuxiliaryDataConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxAuxDataRaw era))))

reapplyAlonzoTx ∷ ∀ era m. (ApplyTx era, MonadError (ApplyTxError era) m) ⇒ Globals → MempoolEnv 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 # Methods fromShelleyPParams ∷ AdditionalGenesisConfig (AlonzoEra c) → PParams (ShelleyEra (EraCrypto (AlonzoEra c))) → PParams (AlonzoEra c) Source # initialState ∷ ShelleyGenesis (EraCrypto (AlonzoEra c)) → AdditionalGenesisConfig (AlonzoEra c) → NewEpochState (AlonzoEra c) Source #
(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyTx (AlonzoEra c) Source #
Instance details Methods applyTx ∷ MonadError (ApplyTxError (AlonzoEra c)) m ⇒ Globals → MempoolEnv (AlonzoEra c) → MempoolState (AlonzoEra c) → Tx (AlonzoEra c) → m (MempoolState (AlonzoEra c), Validated (Tx (AlonzoEra c))) Source # reapplyTx ∷ MonadError (ApplyTxError (AlonzoEra c)) m ⇒ Globals → MempoolEnv (AlonzoEra c) → MempoolState (AlonzoEra c) → Validated (Tx (AlonzoEra c)) → m (MempoolState (AlonzoEra c)) Source #
(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyBlock (AlonzoEra c) Source #
Instance details Methods applyTickOpts ∷ ∀ (ep ∷ EventPolicy). ApplySTSOpts ep → Globals → NewEpochState (AlonzoEra c) → SlotNo → EventReturnType ep (EraRule "TICK" (AlonzoEra c)) (NewEpochState (AlonzoEra c)) Source # applyBlockOpts ∷ ∀ (ep ∷ EventPolicy) m. (EventReturnTypeRep ep, MonadError (BlockTransitionError (AlonzoEra c)) m) ⇒ ApplySTSOpts ep → Globals → NewEpochState (AlonzoEra c) → Block (BHeaderView (EraCrypto (AlonzoEra c))) (AlonzoEra c) → m (EventReturnType ep (EraRule "BBODY" (AlonzoEra c)) (NewEpochState (AlonzoEra c))) Source # reapplyBlock ∷ Globals → NewEpochState (AlonzoEra c) → Block (BHeaderView (EraCrypto (AlonzoEra c))) (AlonzoEra c) → NewEpochState (AlonzoEra c) Source #