cardano-ledger-conway-1.16.0.1: Cardano ledger with an updated on-chain governance system.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Conway.Rules.Ledger

Synopsis

Documentation

data ConwayLEDGER era Source #

Instances

Instances details
(AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, GovState era ~ ConwayGovState era, Embed (EraRule "UTXOW" era) (ConwayLEDGER era), Embed (EraRule "GOV" era) (ConwayLEDGER era), Embed (EraRule "CERTS" era) (ConwayLEDGER era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Signal (EraRule "UTXOW" era) ~ Tx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era) ⇒ STS (ConwayLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

(EraTx era, ConwayEraTxBody era, ConwayEraPParams era, ConwayEraGov era, Embed (EraRule "CERT" era) (ConwayCERTS era), State (EraRule "CERT" era) ~ CertState era, Environment (EraRule "CERT" era) ~ CertEnv era, Signal (EraRule "CERT" era) ~ TxCert era, PredicateFailure (EraRule "CERTS" era) ~ ConwayCertsPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era, EraRule "CERTS" era ~ ConwayCERTS era) ⇒ Embed (ConwayCERTS era) (ConwayLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

(EraPParams era, EraRule "DELEG" era ~ ConwayDELEG era, PredicateFailure (EraRule "CERTS" era) ~ ConwayCertsPredFailure era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era, Event (EraRule "CERT" era) ~ ConwayCertEvent era) ⇒ Embed (ConwayDELEG era) (ConwayLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

(ConwayEraTxCert era, ConwayEraPParams era, BaseM (ConwayLEDGER era) ~ ShelleyBase, PredicateFailure (EraRule "GOV" era) ~ ConwayGovPredFailure era, Event (EraRule "GOV" era) ~ ConwayGovEvent era, EraRule "GOV" era ~ ConwayGOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era) ⇒ Embed (ConwayGOV era) (ConwayLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

(Embed (EraRule "UTXOW" era) (ConwayLEDGER era), Embed (EraRule "CERTS" era) (ConwayLEDGER era), Embed (EraRule "GOV" era) (ConwayLEDGER era), ConwayEraGov era, AlonzoEraTx era, ConwayEraTxBody era, ConwayEraPParams era, GovState era ~ ConwayGovState era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Signal (EraRule "UTXOW" era) ~ Tx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, EraRule "GOV" era ~ ConwayGOV era, PredicateFailure (EraRule "LEDGER" era) ~ ConwayLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ConwayLedgerEvent era, EraGov era) ⇒ Embed (ConwayLEDGER era) (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

(Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), BaseM (ConwayUTXOW era) ~ ShelleyBase, AlonzoEraTx era, EraUTxO era, BabbageEraTxBody era, Embed (EraRule "UTXO" era) (ConwayUTXOW era), State (EraRule "UTXO" era) ~ UTxOState era, Environment (EraRule "UTXO" era) ~ UtxoEnv era, Script era ~ AlonzoScript era, TxOut era ~ BabbageTxOut era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (EraRule "UTXO" era) ~ Tx era, PredicateFailure (EraRule "UTXOW" era) ~ ConwayUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, STS (ConwayUTXOW era), PredicateFailure (ConwayUTXOW era) ~ ConwayUtxowPredFailure era, Event (ConwayUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (ConwayUTXOW era) (ConwayLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

type BaseM (ConwayLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

type Environment (ConwayLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

type Event (ConwayLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

type PredicateFailure (ConwayLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

type Signal (ConwayLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

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

Defined in Cardano.Ledger.Conway.Rules.Ledger

type State (ConwayLEDGER era) = LedgerState era

data ConwayLedgerPredFailure era Source #

Constructors

ConwayUtxowFailure (PredicateFailure (EraRule "UTXOW" era)) 
ConwayCertsFailure (PredicateFailure (EraRule "CERTS" era)) 
ConwayGovFailure (PredicateFailure (EraRule "GOV" era)) 
ConwayWdrlNotDelegatedToDRep (Set (Credential 'Staking (EraCrypto era))) 
ConwayTreasuryValueMismatch 

Fields

ConwayTxRefScriptsSizeTooBig 

Fields

  • Int

    Computed sum of reference script size

  • Int

    Maximum allowed total reference script size

Instances

Instances details
InjectRuleFailure "BBODY" ConwayLedgerPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "LEDGER" ConwayLedgerPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGERS" ConwayLedgerPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Generic (ConwayLedgerPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Associated Types

type Rep (ConwayLedgerPredFailure era) ∷ TypeType Source #

(Era era, Show (PredicateFailure (EraRule "UTXOW" era)), Show (PredicateFailure (EraRule "CERTS" era)), Show (PredicateFailure (EraRule "GOV" era))) ⇒ Show (ConwayLedgerPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

(Era era, DecCBOR (PredicateFailure (EraRule "UTXOW" era)), DecCBOR (PredicateFailure (EraRule "CERTS" era)), DecCBOR (PredicateFailure (EraRule "GOV" era))) ⇒ DecCBOR (ConwayLedgerPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

(Era era, EncCBOR (PredicateFailure (EraRule "UTXOW" era)), EncCBOR (PredicateFailure (EraRule "CERTS" era)), EncCBOR (PredicateFailure (EraRule "GOV" era))) ⇒ EncCBOR (ConwayLedgerPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

(Era era, NFData (PredicateFailure (EraRule "UTXOW" era)), NFData (PredicateFailure (EraRule "CERTS" era)), NFData (PredicateFailure (EraRule "GOV" era))) ⇒ NFData (ConwayLedgerPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

rnfConwayLedgerPredFailure era → () Source #

(Era era, Eq (PredicateFailure (EraRule "UTXOW" era)), Eq (PredicateFailure (EraRule "CERTS" era)), Eq (PredicateFailure (EraRule "GOV" era))) ⇒ Eq (ConwayLedgerPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

(Era era, NoThunks (PredicateFailure (EraRule "UTXOW" era)), NoThunks (PredicateFailure (EraRule "CERTS" era)), NoThunks (PredicateFailure (EraRule "GOV" era))) ⇒ NoThunks (ConwayLedgerPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

type Rep (ConwayLedgerPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

type Rep (ConwayLedgerPredFailure era) = D1 ('MetaData "ConwayLedgerPredFailure" "Cardano.Ledger.Conway.Rules.Ledger" "cardano-ledger-conway-1.16.0.1-inplace" 'False) ((C1 ('MetaCons "ConwayUtxowFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXOW" era)))) :+: (C1 ('MetaCons "ConwayCertsFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "CERTS" era)))) :+: C1 ('MetaCons "ConwayGovFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "GOV" era)))))) :+: (C1 ('MetaCons "ConwayWdrlNotDelegatedToDRep" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (Credential 'Staking (EraCrypto era))))) :+: (C1 ('MetaCons "ConwayTreasuryValueMismatch" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: C1 ('MetaCons "ConwayTxRefScriptsSizeTooBig" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))))

data ConwayLedgerEvent era Source #

Constructors

UtxowEvent (Event (EraRule "UTXOW" era)) 
CertsEvent (Event (EraRule "CERTS" era)) 
GovEvent (Event (EraRule "GOV" era)) 

Instances

Instances details
Generic (ConwayLedgerEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Associated Types

type Rep (ConwayLedgerEvent era) ∷ TypeType Source #

(NFData (Event (EraRule "CERTS" era)), NFData (Event (EraRule "UTXOW" era)), NFData (Event (EraRule "GOV" era))) ⇒ NFData (ConwayLedgerEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

rnfConwayLedgerEvent era → () Source #

(Eq (Event (EraRule "CERTS" era)), Eq (Event (EraRule "UTXOW" era)), Eq (Event (EraRule "GOV" era))) ⇒ Eq (ConwayLedgerEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

type Rep (ConwayLedgerEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

type Rep (ConwayLedgerEvent era) = D1 ('MetaData "ConwayLedgerEvent" "Cardano.Ledger.Conway.Rules.Ledger" "cardano-ledger-conway-1.16.0.1-inplace" 'False) (C1 ('MetaCons "UtxowEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "UTXOW" era)))) :+: (C1 ('MetaCons "CertsEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "CERTS" era)))) :+: C1 ('MetaCons "GovEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "GOV" era))))))

maxRefScriptSizePerTxInt Source #

In the next era this will become a proper protocol parameter. For now this is a hard coded limit on the total number of bytes of reference scripts that a transaction can use.

Orphan instances

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

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

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

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

InjectRuleFailure "LEDGER" BabbageUtxoPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "LEDGER" BabbageUtxowPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "LEDGER" ConwayCertPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "LEDGER" ConwayCertsPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "LEDGER" ConwayDelegPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "LEDGER" ConwayGovPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "LEDGER" ConwayGovCertPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "LEDGER" ConwayUtxoPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "LEDGER" ConwayUtxosPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "LEDGER" ConwayUtxowPredFailure (ConwayEra c) Source # 
Instance details

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

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

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

(AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, GovState era ~ ConwayGovState era, Embed (EraRule "UTXOW" era) (ConwayLEDGER era), Embed (EraRule "GOV" era) (ConwayLEDGER era), Embed (EraRule "CERTS" era) (ConwayLEDGER era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Signal (EraRule "UTXOW" era) ~ Tx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era) ⇒ STS (ConwayLEDGER era) Source # 
Instance details

(EraTx era, ConwayEraTxBody era, ConwayEraPParams era, ConwayEraGov era, Embed (EraRule "CERT" era) (ConwayCERTS era), State (EraRule "CERT" era) ~ CertState era, Environment (EraRule "CERT" era) ~ CertEnv era, Signal (EraRule "CERT" era) ~ TxCert era, PredicateFailure (EraRule "CERTS" era) ~ ConwayCertsPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era, EraRule "CERTS" era ~ ConwayCERTS era) ⇒ Embed (ConwayCERTS era) (ConwayLEDGER era) Source # 
Instance details

(EraPParams era, EraRule "DELEG" era ~ ConwayDELEG era, PredicateFailure (EraRule "CERTS" era) ~ ConwayCertsPredFailure era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era, Event (EraRule "CERT" era) ~ ConwayCertEvent era) ⇒ Embed (ConwayDELEG era) (ConwayLEDGER era) Source # 
Instance details

(ConwayEraTxCert era, ConwayEraPParams era, BaseM (ConwayLEDGER era) ~ ShelleyBase, PredicateFailure (EraRule "GOV" era) ~ ConwayGovPredFailure era, Event (EraRule "GOV" era) ~ ConwayGovEvent era, EraRule "GOV" era ~ ConwayGOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era) ⇒ Embed (ConwayGOV era) (ConwayLEDGER era) Source # 
Instance details

(Embed (EraRule "UTXOW" era) (ConwayLEDGER era), Embed (EraRule "CERTS" era) (ConwayLEDGER era), Embed (EraRule "GOV" era) (ConwayLEDGER era), ConwayEraGov era, AlonzoEraTx era, ConwayEraTxBody era, ConwayEraPParams era, GovState era ~ ConwayGovState era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Signal (EraRule "UTXOW" era) ~ Tx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, EraRule "GOV" era ~ ConwayGOV era, PredicateFailure (EraRule "LEDGER" era) ~ ConwayLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ConwayLedgerEvent era, EraGov era) ⇒ Embed (ConwayLEDGER era) (ShelleyLEDGERS era) Source # 
Instance details

(Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), BaseM (ConwayUTXOW era) ~ ShelleyBase, AlonzoEraTx era, EraUTxO era, BabbageEraTxBody era, Embed (EraRule "UTXO" era) (ConwayUTXOW era), State (EraRule "UTXO" era) ~ UTxOState era, Environment (EraRule "UTXO" era) ~ UtxoEnv era, Script era ~ AlonzoScript era, TxOut era ~ BabbageTxOut era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (EraRule "UTXO" era) ~ Tx era, PredicateFailure (EraRule "UTXOW" era) ~ ConwayUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, STS (ConwayUTXOW era), PredicateFailure (ConwayUTXOW era) ~ ConwayUtxowPredFailure era, Event (ConwayUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (ConwayUTXOW era) (ConwayLEDGER era) Source # 
Instance details