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

Cardano.Ledger.Alonzo.Rules.Ledger

Synopsis

Documentation

data AlonzoLEDGER era Source #

Instances

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

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

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

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

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

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

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

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type BaseM (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type Environment (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type Event (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type PredicateFailure (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type Signal (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

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

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type State (AlonzoLEDGER era) = LedgerState era

ledgerTransition ∷ ∀ (someLEDGER ∷ TypeType) era. (Signal (someLEDGER era) ~ Tx era, State (someLEDGER era) ~ LedgerState era, Environment (someLEDGER era) ~ LedgerEnv era, Embed (EraRule "UTXOW" era) (someLEDGER era), Embed (EraRule "DELEGS" era) (someLEDGER era), Environment (EraRule "DELEGS" era) ~ DelegsEnv era, State (EraRule "DELEGS" era) ~ CertState era, Signal (EraRule "DELEGS" era) ~ Seq (TxCert era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ Tx era, AlonzoEraTx era) ⇒ TransitionRule (someLEDGER era) Source #

An abstract Alonzo Era, Ledger transition. Fix someLedger at a concrete type to make it concrete.

Orphan instances

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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