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

Cardano.Ledger.Conway.Rules

Synopsis

Documentation

data ConwayBBODY era Source #

Instances

Instances details
(Era era, BaseM ledgers ~ ShelleyBase, ledgers ~ EraRule "LEDGERS" era, STS ledgers) ⇒ Embed ledgers (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

(Embed (EraRule "LEDGERS" era) (EraRule "BBODY" era), Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, State (EraRule "LEDGERS" era) ~ LedgerState era, Signal (EraRule "LEDGERS" era) ~ Seq (AlonzoTx era), AlonzoEraTxWits era, Tx era ~ AlonzoTx era, TxSeq era ~ AlonzoTxSeq era, EraSegWits era, AlonzoEraPParams era, InjectRuleFailure "BBODY" AlonzoBbodyPredFailure era, InjectRuleFailure "BBODY" ConwayBbodyPredFailure era, EraRule "BBODY" era ~ ConwayBBODY era, EraTx era, BabbageEraTxBody era) ⇒ STS (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Associated Types

type State (ConwayBBODY era) Source #

type Signal (ConwayBBODY era) Source #

type Environment (ConwayBBODY era) Source #

type BaseM (ConwayBBODY era) ∷ TypeType Source #

type Event (ConwayBBODY era) Source #

type PredicateFailure (ConwayBBODY era) Source #

type BaseM (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type Environment (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type Event (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type PredicateFailure (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type Signal (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type State (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

data ConwayBbodyPredFailure era Source #

Instances

Instances details
InjectRuleFailure "BBODY" ConwayBbodyPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Generic (ConwayBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Associated Types

type Rep (ConwayBbodyPredFailure era) ∷ TypeType Source #

(Era era, Show (PredicateFailure (EraRule "LEDGERS" era))) ⇒ Show (ConwayBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

(Era era, DecCBOR (PredicateFailure (EraRule "LEDGERS" era))) ⇒ DecCBOR (ConwayBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

(Era era, EncCBOR (PredicateFailure (EraRule "LEDGERS" era))) ⇒ EncCBOR (ConwayBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

(Era era, Eq (PredicateFailure (EraRule "LEDGERS" era))) ⇒ Eq (ConwayBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

(Era era, NoThunks (PredicateFailure (EraRule "LEDGERS" era))) ⇒ NoThunks (ConwayBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type Rep (ConwayBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type Rep (ConwayBbodyPredFailure era) = D1 ('MetaData "ConwayBbodyPredFailure" "Cardano.Ledger.Conway.Rules.Bbody" "cardano-ledger-conway-1.19.0.0-inplace" 'False) ((C1 ('MetaCons "WrongBlockBodySizeBBODY" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ Int))) :+: C1 ('MetaCons "InvalidBodyHashBBODY" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ (Hash HASH EraIndependentBlockBody))))) :+: (C1 ('MetaCons "LedgersFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PredicateFailure (EraRule "LEDGERS" era)))) :+: (C1 ('MetaCons "TooManyExUnits" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelLTEQ ExUnits))) :+: C1 ('MetaCons "BodyRefScriptsSizeTooBig" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelLTEQ Int))))))

maxRefScriptSizePerBlockInt 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 all reference scripts combined from all transactions within a block.

data ConwayCERT era Source #

Instances

Instances details
(Era era, State (EraRule "DELEG" era) ~ CertState era, State (EraRule "POOL" era) ~ PState era, State (EraRule "GOVCERT" era) ~ CertState era, Environment (EraRule "DELEG" era) ~ ConwayDelegEnv era, Environment (EraRule "POOL" era) ~ PoolEnv era, Environment (EraRule "GOVCERT" era) ~ ConwayGovCertEnv era, Signal (EraRule "DELEG" era) ~ ConwayDelegCert, Signal (EraRule "POOL" era) ~ PoolCert, Signal (EraRule "GOVCERT" era) ~ ConwayGovCert, Embed (EraRule "DELEG" era) (ConwayCERT era), Embed (EraRule "POOL" era) (ConwayCERT era), Embed (EraRule "GOVCERT" era) (ConwayCERT era), TxCert era ~ ConwayTxCert era) ⇒ STS (ConwayCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

Associated Types

type State (ConwayCERT era) Source #

type Signal (ConwayCERT era) Source #

type Environment (ConwayCERT era) Source #

type BaseM (ConwayCERT era) ∷ TypeType Source #

type Event (ConwayCERT era) Source #

type PredicateFailure (ConwayCERT era) Source #

(Era era, STS (ConwayCERT era), BaseM (EraRule "CERT" era) ~ ShelleyBase, Event (EraRule "CERT" era) ~ ConwayCertEvent era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era) ⇒ Embed (ConwayCERT era) (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

(Era era, STS (ConwayDELEG era), PredicateFailure (EraRule "DELEG" era) ~ ConwayDelegPredFailure era) ⇒ Embed (ConwayDELEG era) (ConwayCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

(Era era, STS (ConwayGOVCERT era), PredicateFailure (EraRule "GOVCERT" era) ~ ConwayGovCertPredFailure era) ⇒ Embed (ConwayGOVCERT era) (ConwayCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

(Era era, STS (ShelleyPOOL era), Event (EraRule "POOL" era) ~ PoolEvent era, PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, PredicateFailure (ShelleyPOOL era) ~ ShelleyPoolPredFailure era, BaseM (ShelleyPOOL era) ~ ShelleyBase) ⇒ Embed (ShelleyPOOL era) (ConwayCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type BaseM (ConwayCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type Environment (ConwayCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type Environment (ConwayCERT era) = CertEnv era
type Event (ConwayCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type PredicateFailure (ConwayCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type Signal (ConwayCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type Signal (ConwayCERT era) = TxCert era
type State (ConwayCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type State (ConwayCERT era) = CertState era

data ConwayCertPredFailure era Source #

Constructors

DelegFailure (PredicateFailure (EraRule "DELEG" era)) 
PoolFailure (PredicateFailure (EraRule "POOL" era)) 
GovCertFailure (PredicateFailure (EraRule "GOVCERT" era)) 

Instances

Instances details
InjectRuleFailure "BBODY" ConwayCertPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "CERT" ConwayCertPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

InjectRuleFailure "CERTS" ConwayCertPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

InjectRuleFailure "LEDGER" ConwayCertPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGERS" ConwayCertPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Generic (ConwayCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

Associated Types

type Rep (ConwayCertPredFailure era) ∷ TypeType Source #

(Show (PredicateFailure (EraRule "DELEG" era)), Show (PredicateFailure (EraRule "POOL" era)), Show (PredicateFailure (EraRule "GOVCERT" era))) ⇒ Show (ConwayCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

(Typeable era, DecCBOR (PredicateFailure (EraRule "DELEG" era)), DecCBOR (PredicateFailure (EraRule "POOL" era)), DecCBOR (PredicateFailure (EraRule "GOVCERT" era))) ⇒ DecCBOR (ConwayCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

(Typeable era, EncCBOR (PredicateFailure (EraRule "DELEG" era)), EncCBOR (PredicateFailure (EraRule "POOL" era)), EncCBOR (PredicateFailure (EraRule "GOVCERT" era))) ⇒ EncCBOR (ConwayCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

(NFData (PredicateFailure (EraRule "DELEG" era)), NFData (PredicateFailure (EraRule "POOL" era)), NFData (PredicateFailure (EraRule "GOVCERT" era))) ⇒ NFData (ConwayCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

Methods

rnfConwayCertPredFailure era → () Source #

(Eq (PredicateFailure (EraRule "DELEG" era)), Eq (PredicateFailure (EraRule "POOL" era)), Eq (PredicateFailure (EraRule "GOVCERT" era))) ⇒ Eq (ConwayCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

(NoThunks (PredicateFailure (EraRule "DELEG" era)), NoThunks (PredicateFailure (EraRule "POOL" era)), NoThunks (PredicateFailure (EraRule "GOVCERT" era))) ⇒ NoThunks (ConwayCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type Rep (ConwayCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type Rep (ConwayCertPredFailure era) = D1 ('MetaData "ConwayCertPredFailure" "Cardano.Ledger.Conway.Rules.Cert" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "DelegFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "DELEG" era)))) :+: (C1 ('MetaCons "PoolFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "POOL" era)))) :+: C1 ('MetaCons "GovCertFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "GOVCERT" era))))))

data ConwayCertEvent era Source #

Constructors

DelegEvent (Event (EraRule "DELEG" era)) 
PoolEvent (Event (EraRule "POOL" era)) 
GovCertEvent (Event (EraRule "GOVCERT" era)) 

Instances

Instances details
Generic (ConwayCertEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

Associated Types

type Rep (ConwayCertEvent era) ∷ TypeType Source #

(NFData (Event (EraRule "DELEG" era)), NFData (Event (EraRule "GOVCERT" era)), NFData (Event (EraRule "POOL" era))) ⇒ NFData (ConwayCertEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

Methods

rnfConwayCertEvent era → () Source #

(Eq (Event (EraRule "DELEG" era)), Eq (Event (EraRule "GOVCERT" era)), Eq (Event (EraRule "POOL" era))) ⇒ Eq (ConwayCertEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type Rep (ConwayCertEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type Rep (ConwayCertEvent era) = D1 ('MetaData "ConwayCertEvent" "Cardano.Ledger.Conway.Rules.Cert" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "DelegEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "DELEG" era)))) :+: (C1 ('MetaCons "PoolEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "POOL" era)))) :+: C1 ('MetaCons "GovCertEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "GOVCERT" era))))))

data CertEnv era Source #

Constructors

CertEnv 

Fields

Instances

Instances details
Generic (CertEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

Associated Types

type Rep (CertEnv era) ∷ TypeType Source #

Methods

fromCertEnv era → Rep (CertEnv era) x Source #

toRep (CertEnv era) x → CertEnv era Source #

EraPParams era ⇒ Show (CertEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

Methods

showsPrecIntCertEnv era → ShowS Source #

showCertEnv era → String Source #

showList ∷ [CertEnv era] → ShowS Source #

EraPParams era ⇒ EncCBOR (CertEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

Methods

encCBORCertEnv era → Encoding Source #

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

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

EraPParams era ⇒ NFData (CertEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

Methods

rnfCertEnv era → () Source #

EraPParams era ⇒ Eq (CertEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

Methods

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

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

type Rep (CertEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type Rep (CertEnv era) = D1 ('MetaData "CertEnv" "Cardano.Ledger.Conway.Rules.Cert" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "CertEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cePParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "ceCurrentEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)) :*: (S1 ('MetaSel ('Just "ceCurrentCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (Committee era))) :*: S1 ('MetaSel ('Just "ceCommitteeProposals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (GovPurposeId 'CommitteePurpose era) (GovActionState era))))))

data ConwayDELEG era Source #

Instances

Instances details
(EraPParams era, State (EraRule "DELEG" era) ~ CertState era, Signal (EraRule "DELEG" era) ~ ConwayDelegCert, Environment (EraRule "DELEG" era) ~ ConwayDelegEnv era, EraRule "DELEG" era ~ ConwayDELEG era) ⇒ STS (ConwayDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

Associated Types

type State (ConwayDELEG era) Source #

type Signal (ConwayDELEG era) Source #

type Environment (ConwayDELEG era) Source #

type BaseM (ConwayDELEG era) ∷ TypeType Source #

type Event (ConwayDELEG era) Source #

type PredicateFailure (ConwayDELEG era) Source #

(Era era, STS (ConwayDELEG era), PredicateFailure (EraRule "DELEG" era) ~ ConwayDelegPredFailure era) ⇒ Embed (ConwayDELEG era) (ConwayCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

(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

type BaseM (ConwayDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type Environment (ConwayDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type Event (ConwayDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type Event (ConwayDELEG era) = Void
type PredicateFailure (ConwayDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type Signal (ConwayDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type State (ConwayDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type State (ConwayDELEG era) = CertState era

data ConwayDelegPredFailure era Source #

Instances

Instances details
InjectRuleFailure "BBODY" ConwayDelegPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "CERT" ConwayDelegPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

InjectRuleFailure "CERTS" ConwayDelegPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

InjectRuleFailure "DELEG" ConwayDelegPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

InjectRuleFailure "LEDGER" ConwayDelegPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGERS" ConwayDelegPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Generic (ConwayDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

Associated Types

type Rep (ConwayDelegPredFailure era) ∷ TypeType Source #

Show (ConwayDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

Era era ⇒ DecCBOR (ConwayDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

Era era ⇒ EncCBOR (ConwayDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

NFData (ConwayDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

Methods

rnfConwayDelegPredFailure era → () Source #

Eq (ConwayDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

NoThunks (ConwayDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type Rep (ConwayDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type Rep (ConwayDelegPredFailure era) = D1 ('MetaData "ConwayDelegPredFailure" "Cardano.Ledger.Conway.Rules.Deleg" "cardano-ledger-conway-1.19.0.0-inplace" 'False) ((C1 ('MetaCons "IncorrectDepositDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: (C1 ('MetaCons "StakeKeyRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'Staking))) :+: C1 ('MetaCons "StakeKeyNotRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'Staking))))) :+: (C1 ('MetaCons "StakeKeyHasNonZeroRewardAccountBalanceDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: (C1 ('MetaCons "DelegateeDRepNotRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'DRepRole))) :+: C1 ('MetaCons "DelegateeStakePoolNotRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool))))))

data ConwayDelegEnv era Source #

Instances

Instances details
Generic (ConwayDelegEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

Associated Types

type Rep (ConwayDelegEnv era) ∷ TypeType Source #

Methods

fromConwayDelegEnv era → Rep (ConwayDelegEnv era) x Source #

toRep (ConwayDelegEnv era) x → ConwayDelegEnv era Source #

Show (PParams era) ⇒ Show (ConwayDelegEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

EraPParams era ⇒ EncCBOR (ConwayDelegEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

Methods

encCBORConwayDelegEnv era → Encoding Source #

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

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

(Era era, NFData (PParams era)) ⇒ NFData (ConwayDelegEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

Methods

rnfConwayDelegEnv era → () Source #

Eq (PParams era) ⇒ Eq (ConwayDelegEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type Rep (ConwayDelegEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type Rep (ConwayDelegEnv era) = D1 ('MetaData "ConwayDelegEnv" "Cardano.Ledger.Conway.Rules.Deleg" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "ConwayDelegEnv" 'PrefixI 'True) (S1 ('MetaSel ('Just "cdePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "cdePools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash 'StakePool) PoolParams))))

processDelegation Source #

Arguments

Credential 'Staking

Delegator

Delegatee

New delegatee

CertState era 
CertState era 

Apply new delegation, while properly cleaning up older delegations. This function does not enforce that delegatee is registered, that has to be handled by the caller.

data ConwayGOVCERT era Source #

Instances

Instances details
(ConwayEraPParams era, State (EraRule "GOVCERT" era) ~ CertState era, Signal (EraRule "GOVCERT" era) ~ ConwayGovCert, Environment (EraRule "GOVCERT" era) ~ ConwayGovCertEnv era, EraRule "GOVCERT" era ~ ConwayGOVCERT era, Eq (PredicateFailure (EraRule "GOVCERT" era)), Show (PredicateFailure (EraRule "GOVCERT" era))) ⇒ STS (ConwayGOVCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

(Era era, STS (ConwayGOVCERT era), PredicateFailure (EraRule "GOVCERT" era) ~ ConwayGovCertPredFailure era) ⇒ Embed (ConwayGOVCERT era) (ConwayCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type BaseM (ConwayGOVCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type Environment (ConwayGOVCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type Event (ConwayGOVCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type Event (ConwayGOVCERT era) = Void
type PredicateFailure (ConwayGOVCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type Signal (ConwayGOVCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type State (ConwayGOVCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type State (ConwayGOVCERT era) = CertState era

data ConwayGovCertPredFailure era Source #

Constructors

ConwayDRepAlreadyRegistered !(Credential 'DRepRole) 
ConwayDRepNotRegistered !(Credential 'DRepRole) 
ConwayDRepIncorrectDeposit !(Mismatch 'RelEQ Coin) 
ConwayCommitteeHasPreviouslyResigned !(Credential 'ColdCommitteeRole) 
ConwayDRepIncorrectRefund !(Mismatch 'RelEQ Coin) 
ConwayCommitteeIsUnknown !(Credential 'ColdCommitteeRole)

Predicate failure whenever an update to an unknown committee member is attempted. Current Constitutional Committee and all available proposals will be searched before reporting this predicate failure.

Instances

Instances details
InjectRuleFailure "BBODY" ConwayGovCertPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "CERT" ConwayGovCertPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

InjectRuleFailure "CERTS" ConwayGovCertPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

InjectRuleFailure "LEDGER" ConwayGovCertPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGERS" ConwayGovCertPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Generic (ConwayGovCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

Associated Types

type Rep (ConwayGovCertPredFailure era) ∷ TypeType Source #

Show (ConwayGovCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

Typeable era ⇒ DecCBOR (ConwayGovCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

Era era ⇒ EncCBOR (ConwayGovCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

NFData (ConwayGovCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

Methods

rnfConwayGovCertPredFailure era → () Source #

Eq (ConwayGovCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

NoThunks (ConwayGovCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type Rep (ConwayGovCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type Rep (ConwayGovCertPredFailure era) = D1 ('MetaData "ConwayGovCertPredFailure" "Cardano.Ledger.Conway.Rules.GovCert" "cardano-ledger-conway-1.19.0.0-inplace" 'False) ((C1 ('MetaCons "ConwayDRepAlreadyRegistered" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole))) :+: (C1 ('MetaCons "ConwayDRepNotRegistered" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole))) :+: C1 ('MetaCons "ConwayDRepIncorrectDeposit" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ Coin))))) :+: (C1 ('MetaCons "ConwayCommitteeHasPreviouslyResigned" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'ColdCommitteeRole))) :+: (C1 ('MetaCons "ConwayDRepIncorrectRefund" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ Coin))) :+: C1 ('MetaCons "ConwayCommitteeIsUnknown" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'ColdCommitteeRole))))))

data ConwayGovCertEnv era Source #

Constructors

ConwayGovCertEnv 

Fields

Instances

Instances details
Generic (ConwayGovCertEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

Associated Types

type Rep (ConwayGovCertEnv era) ∷ TypeType Source #

EraPParams era ⇒ Show (ConwayGovCertEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

EraPParams era ⇒ EncCBOR (ConwayGovCertEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

Methods

encCBORConwayGovCertEnv era → Encoding Source #

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

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

EraPParams era ⇒ NFData (ConwayGovCertEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

Methods

rnfConwayGovCertEnv era → () Source #

EraPParams era ⇒ Eq (ConwayGovCertEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type Rep (ConwayGovCertEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type Rep (ConwayGovCertEnv era) = D1 ('MetaData "ConwayGovCertEnv" "Cardano.Ledger.Conway.Rules.GovCert" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "ConwayGovCertEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cgcePParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "cgceCurrentEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)) :*: (S1 ('MetaSel ('Just "cgceCurrentCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (Committee era))) :*: S1 ('MetaSel ('Just "cgceCommitteeProposals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (GovPurposeId 'CommitteePurpose era) (GovActionState era))))))

computeDRepExpiry Source #

Arguments

EpochInterval

DRepActivity PParam

EpochNo

Current epoch

EpochNo

The count of the dormant epochs

EpochNo

Computed expiry

data ConwayCERTS era Source #

Instances

Instances details
(EraTx era, ConwayEraTxBody era, ConwayEraPParams era, State (EraRule "CERT" era) ~ CertState era, Signal (EraRule "CERT" era) ~ TxCert era, Environment (EraRule "CERT" era) ~ CertEnv era, Embed (EraRule "CERT" era) (ConwayCERTS era)) ⇒ STS (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Associated Types

type State (ConwayCERTS era) Source #

type Signal (ConwayCERTS era) Source #

type Environment (ConwayCERTS era) Source #

type BaseM (ConwayCERTS era) ∷ TypeType Source #

type Event (ConwayCERTS era) Source #

type PredicateFailure (ConwayCERTS era) Source #

(Era era, STS (ConwayCERT era), BaseM (EraRule "CERT" era) ~ ShelleyBase, Event (EraRule "CERT" era) ~ ConwayCertEvent era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era) ⇒ Embed (ConwayCERT era) (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

(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

type BaseM (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type Environment (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type Event (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type PredicateFailure (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type Signal (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type Signal (ConwayCERTS era) = Seq (TxCert era)
type State (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type State (ConwayCERTS era) = CertState era

data ConwayCertsPredFailure era Source #

Constructors

WithdrawalsNotInRewardsCERTS !(Map RewardAccount Coin)

Withdrawals that are missing or do not withdrawal the entire amount

CertFailure !(PredicateFailure (EraRule "CERT" era))

CERT rule subtransition Failures

Instances

Instances details
InjectRuleFailure "BBODY" ConwayCertsPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "CERTS" ConwayCertsPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

InjectRuleFailure "LEDGER" ConwayCertsPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGERS" ConwayCertsPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Generic (ConwayCertsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Associated Types

type Rep (ConwayCertsPredFailure era) ∷ TypeType Source #

Show (PredicateFailure (EraRule "CERT" era)) ⇒ Show (ConwayCertsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

(Era era, DecCBOR (PredicateFailure (EraRule "CERT" era))) ⇒ DecCBOR (ConwayCertsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

(Era era, EncCBOR (PredicateFailure (EraRule "CERT" era))) ⇒ EncCBOR (ConwayCertsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

NFData (PredicateFailure (EraRule "CERT" era)) ⇒ NFData (ConwayCertsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Methods

rnfConwayCertsPredFailure era → () Source #

Eq (PredicateFailure (EraRule "CERT" era)) ⇒ Eq (ConwayCertsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

NoThunks (PredicateFailure (EraRule "CERT" era)) ⇒ NoThunks (ConwayCertsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type Rep (ConwayCertsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type Rep (ConwayCertsPredFailure era) = D1 ('MetaData "ConwayCertsPredFailure" "Cardano.Ledger.Conway.Rules.Certs" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "WithdrawalsNotInRewardsCERTS" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map RewardAccount Coin))) :+: C1 ('MetaCons "CertFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PredicateFailure (EraRule "CERT" era)))))

newtype ConwayCertsEvent era Source #

Constructors

CertEvent (Event (EraRule "CERT" era)) 

Instances

Instances details
Generic (ConwayCertsEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Associated Types

type Rep (ConwayCertsEvent era) ∷ TypeType Source #

NFData (Event (EraRule "CERT" era)) ⇒ NFData (ConwayCertsEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Methods

rnfConwayCertsEvent era → () Source #

Eq (Event (EraRule "CERT" era)) ⇒ Eq (ConwayCertsEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type Rep (ConwayCertsEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type Rep (ConwayCertsEvent era) = D1 ('MetaData "ConwayCertsEvent" "Cardano.Ledger.Conway.Rules.Certs" "cardano-ledger-conway-1.19.0.0-inplace" 'True) (C1 ('MetaCons "CertEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "CERT" era)))))

data CertsEnv era Source #

Constructors

CertsEnv 

Fields

Instances

Instances details
Generic (CertsEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Associated Types

type Rep (CertsEnv era) ∷ TypeType Source #

Methods

fromCertsEnv era → Rep (CertsEnv era) x Source #

toRep (CertsEnv era) x → CertsEnv era Source #

(EraPParams era, Show (Tx era)) ⇒ Show (CertsEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Methods

showsPrecIntCertsEnv era → ShowS Source #

showCertsEnv era → String Source #

showList ∷ [CertsEnv era] → ShowS Source #

EraTx era ⇒ EncCBOR (CertsEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Methods

encCBORCertsEnv era → Encoding Source #

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

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

(EraPParams era, NFData (Tx era)) ⇒ NFData (CertsEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Methods

rnfCertsEnv era → () Source #

(EraPParams era, Eq (Tx era)) ⇒ Eq (CertsEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Methods

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

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

type Rep (CertsEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type Rep (CertsEnv era) = D1 ('MetaData "CertsEnv" "Cardano.Ledger.Conway.Rules.Certs" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "CertsEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "certsTx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Tx era)) :*: S1 ('MetaSel ('Just "certsPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era))) :*: (S1 ('MetaSel ('Just "certsCurrentEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: (S1 ('MetaSel ('Just "certsCurrentCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (Committee era))) :*: S1 ('MetaSel ('Just "certsCommitteeProposals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (GovPurposeId 'CommitteePurpose era) (GovActionState era)))))))

updateDormantDRepExpiry Source #

Arguments

EpochNo

Current Epoch

VState era 
VState era 

Update dormant expiry for all DReps that are active. And also reset the numDormantEpochs counter.

data ConwayENACT era Source #

Instances

Instances details
EraGov era ⇒ STS (ConwayENACT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

Associated Types

type State (ConwayENACT era) Source #

type Signal (ConwayENACT era) Source #

type Environment (ConwayENACT era) Source #

type BaseM (ConwayENACT era) ∷ TypeType Source #

type Event (ConwayENACT era) Source #

type PredicateFailure (ConwayENACT era) Source #

type BaseM (ConwayENACT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

type Environment (ConwayENACT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

type Environment (ConwayENACT era) = ()
type Event (ConwayENACT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

type Event (ConwayENACT era) = Void
type PredicateFailure (ConwayENACT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

type Signal (ConwayENACT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

type Signal (ConwayENACT era) = EnactSignal era
type State (ConwayENACT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

type State (ConwayENACT era) = EnactState era

data EnactSignal era Source #

Constructors

EnactSignal 

Instances

Instances details
Generic (EnactSignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

Associated Types

type Rep (EnactSignal era) ∷ TypeType Source #

Methods

fromEnactSignal era → Rep (EnactSignal era) x Source #

toRep (EnactSignal era) x → EnactSignal era Source #

EraPParams era ⇒ Show (EnactSignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

EraPParams era ⇒ EncCBOR (EnactSignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

Methods

encCBOREnactSignal era → Encoding Source #

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

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

EraPParams era ⇒ NFData (EnactSignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

Methods

rnfEnactSignal era → () Source #

EraPParams era ⇒ Eq (EnactSignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

Methods

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

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

type Rep (EnactSignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

type Rep (EnactSignal era) = D1 ('MetaData "EnactSignal" "Cardano.Ledger.Conway.Rules.Enact" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "EnactSignal" 'PrefixI 'True) (S1 ('MetaSel ('Just "esGovActionId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GovActionId) :*: S1 ('MetaSel ('Just "esGovAction") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovAction era))))

data EnactState era Source #

Constructors

EnactState 

Fields

Instances

Instances details
EraPParams era ⇒ ToJSON (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Generic (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

type Rep (EnactState era) ∷ TypeType Source #

Methods

fromEnactState era → Rep (EnactState era) x Source #

toRep (EnactState era) x → EnactState era Source #

(Era era, Show (PParams era)) ⇒ Show (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

showsPrecIntEnactState era → ShowS Source #

showEnactState era → String Source #

showList ∷ [EnactState era] → ShowS Source #

EraPParams era ⇒ FromCBOR (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

fromCBORDecoder s (EnactState era) Source #

labelProxy (EnactState era) → Text Source #

EraPParams era ⇒ ToCBOR (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

toCBOREnactState era → Encoding Source #

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

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

EraPParams era ⇒ DecCBOR (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

decCBORDecoder s (EnactState era) Source #

dropCBORProxy (EnactState era) → Decoder s () Source #

labelProxy (EnactState era) → Text Source #

EraPParams era ⇒ DecShareCBOR (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

type Share (EnactState era) Source #

EraPParams era ⇒ EncCBOR (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

encCBOREnactState era → Encoding Source #

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

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

EraPParams era ⇒ Default (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

defEnactState era Source #

EraPParams era ⇒ NFData (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

rnfEnactState era → () Source #

(Era era, Eq (PParams era)) ⇒ Eq (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

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

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

EraPParams era ⇒ NoThunks (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

type Rep (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

type Rep (EnactState era) = D1 ('MetaData "EnactState" "Cardano.Ledger.Conway.Governance.Internal" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "EnactState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ensCommittee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Committee era))) :*: (S1 ('MetaSel ('Just "ensConstitution") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Constitution era)) :*: S1 ('MetaSel ('Just "ensCurPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)))) :*: ((S1 ('MetaSel ('Just "ensPrevPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "ensTreasury") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :*: (S1 ('MetaSel ('Just "ensWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking) Coin)) :*: S1 ('MetaSel ('Just "ensPrevGovActionIds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovRelation StrictMaybe era))))))
type Share (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

type Share (EnactState era) = ()

data ConwayEPOCH era Source #

Instances

Instances details
(EraTxOut era, RunConwayRatify era, ConwayEraGov era, Embed (EraRule "SNAP" era) (ConwayEPOCH era), Environment (EraRule "SNAP" era) ~ SnapEnv era, State (EraRule "SNAP" era) ~ SnapShots, Signal (EraRule "SNAP" era) ~ (), Embed (EraRule "POOLREAP" era) (ConwayEPOCH era), Environment (EraRule "POOLREAP" era) ~ ShelleyPoolreapEnv era, State (EraRule "POOLREAP" era) ~ ShelleyPoolreapState era, Signal (EraRule "POOLREAP" era) ~ EpochNo, Eq (UpecPredFailure era), Show (UpecPredFailure era), Embed (EraRule "RATIFY" era) (ConwayEPOCH era), Environment (EraRule "RATIFY" era) ~ RatifyEnv era, GovState era ~ ConwayGovState era, State (EraRule "RATIFY" era) ~ RatifyState era, Signal (EraRule "RATIFY" era) ~ RatifySignal era, Embed (EraRule "HARDFORK" era) (ConwayEPOCH era), Environment (EraRule "HARDFORK" era) ~ (), State (EraRule "HARDFORK" era) ~ EpochState era, Signal (EraRule "HARDFORK" era) ~ ProtVer) ⇒ STS (ConwayEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

Associated Types

type State (ConwayEPOCH era) Source #

type Signal (ConwayEPOCH era) Source #

type Environment (ConwayEPOCH era) Source #

type BaseM (ConwayEPOCH era) ∷ TypeType Source #

type Event (ConwayEPOCH era) Source #

type PredicateFailure (ConwayEPOCH era) Source #

(STS (ConwayEPOCH era), Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era) ⇒ Embed (ConwayEPOCH era) (ConwayNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

(EraGov era, PredicateFailure (ConwayHARDFORK era) ~ Void, STS (ConwayHARDFORK era), BaseM (ConwayHARDFORK era) ~ ShelleyBase, Event (EraRule "HARDFORK" era) ~ ConwayHardForkEvent era) ⇒ Embed (ConwayHARDFORK era) (ConwayEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

(Era era, STS (ShelleyPOOLREAP era), PredicateFailure (EraRule "POOLREAP" era) ~ ShelleyPoolreapPredFailure era, Event (EraRule "POOLREAP" era) ~ ShelleyPoolreapEvent era) ⇒ Embed (ShelleyPOOLREAP era) (ConwayEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

(EraTxOut era, PredicateFailure (EraRule "SNAP" era) ~ ShelleySnapPredFailure era, Event (EraRule "SNAP" era) ~ SnapEvent era) ⇒ Embed (ShelleySNAP era) (ConwayEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

type BaseM (ConwayEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

type Environment (ConwayEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

type Environment (ConwayEPOCH era) = ()
type Event (ConwayEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

type PredicateFailure (ConwayEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

type Signal (ConwayEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

type State (ConwayEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

type State (ConwayEPOCH era) = EpochState era

type family PredicateFailure a Source #

Descriptive type for the possible failures which might cause a transition to fail.

As a convention, PredicateFailures which are "structural" (meaning that they are not "throwable" in practice, and are used to pass control from one transition rule to another) are prefixed with S_.

Structural PredicateFailures represent conditions between rules where the disjunction of all rules' preconditions is equal to True. That is, either one rule will throw a structural PredicateFailure and the other will succeed, or vice-versa.

Instances

Instances details
type PredicateFailure (AllegraUTXO era) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type PredicateFailure (AllegraUTXOW era) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type PredicateFailure (AlonzoBBODY era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type PredicateFailure (AlonzoLEDGER era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type PredicateFailure (AlonzoUTXO era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type PredicateFailure (AlonzoUTXOS era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type PredicateFailure (AlonzoUTXOW era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type PredicateFailure (BabbageLEDGER era) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

type PredicateFailure (BabbageUTXO era) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

type PredicateFailure (BabbageUTXOS era) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type PredicateFailure (BabbageUTXOW era) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

type PredicateFailure (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type PredicateFailure (ConwayCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type PredicateFailure (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type PredicateFailure (ConwayDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type PredicateFailure (ConwayENACT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

type PredicateFailure (ConwayEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

type PredicateFailure (ConwayGOV era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type PredicateFailure (ConwayGOVCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type PredicateFailure (ConwayHARDFORK era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.HardFork

type PredicateFailure (ConwayLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

type PredicateFailure (ConwayMEMPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

type PredicateFailure (ConwayNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type PredicateFailure (ConwayTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

type PredicateFailure (ConwayUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type PredicateFailure (ConwayUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

type PredicateFailure (ShelleyBBODY era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type PredicateFailure (ShelleyDELEG era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type PredicateFailure (ShelleyDELEGS era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type PredicateFailure (ShelleyDELPL era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type PredicateFailure (ShelleyEPOCH era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type PredicateFailure (ShelleyLEDGER era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type PredicateFailure (ShelleyLEDGERS era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type PredicateFailure (ShelleyMIR era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type PredicateFailure (ShelleyNEWEPOCH era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type PredicateFailure (ShelleyNEWPP era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type PredicateFailure (ShelleyPOOL era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type PredicateFailure (ShelleyPOOLREAP era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type PredicateFailure (ShelleyPPUP era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type PredicateFailure (ShelleyRUPD era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type PredicateFailure (ShelleySNAP era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type PredicateFailure (ShelleyTICK era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyTICKF era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyUPEC era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type PredicateFailure (ShelleyUTXO era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type PredicateFailure (ShelleyUTXOW era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type PredicateFailure (STUB e st si f m) 
Instance details

Defined in Control.State.Transition.Extended

type PredicateFailure (STUB e st si f m) = f

data ConwayEpochEvent era Source #

Constructors

PoolReapEvent (Event (EraRule "POOLREAP" era)) 
SnapEvent (Event (EraRule "SNAP" era)) 
EpochBoundaryRatifyState (RatifyState era) 
GovInfoEvent 

Fields

  • (Set (GovActionState era))

    Enacted actions

  • (Set (GovActionState era))

    Actions that were removed as conflicting due to enactment

  • (Set (GovActionState era))

    Actions that were removed due to expiration together with their dependees

  • (Map GovActionId Coin)

    Map of removed governance action ids that had an unregistered reward account to their unclaimed deposits so they can be transferred to the treasury.

HardForkEvent (Event (EraRule "HARDFORK" era)) 

Instances

Instances details
InjectRuleEvent "TICK" ConwayEpochEvent ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules

Generic (ConwayEpochEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

Associated Types

type Rep (ConwayEpochEvent era) ∷ TypeType Source #

(EraPParams era, NFData (Event (EraRule "POOLREAP" era)), NFData (Event (EraRule "SNAP" era)), NFData (Event (EraRule "HARDFORK" era))) ⇒ NFData (ConwayEpochEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

Methods

rnfConwayEpochEvent era → () Source #

(EraPParams era, Eq (Event (EraRule "POOLREAP" era)), Eq (Event (EraRule "SNAP" era)), Eq (Event (EraRule "HARDFORK" era))) ⇒ Eq (ConwayEpochEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

type Rep (ConwayEpochEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

data ConwayHARDFORK era Source #

Instances

Instances details
EraGov era ⇒ STS (ConwayHARDFORK era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.HardFork

(EraGov era, PredicateFailure (ConwayHARDFORK era) ~ Void, STS (ConwayHARDFORK era), BaseM (ConwayHARDFORK era) ~ ShelleyBase, Event (EraRule "HARDFORK" era) ~ ConwayHardForkEvent era) ⇒ Embed (ConwayHARDFORK era) (ConwayEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

type BaseM (ConwayHARDFORK era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.HardFork

type Environment (ConwayHARDFORK era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.HardFork

type Environment (ConwayHARDFORK era) = ()
type Event (ConwayHARDFORK era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.HardFork

type PredicateFailure (ConwayHARDFORK era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.HardFork

type Signal (ConwayHARDFORK era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.HardFork

type State (ConwayHARDFORK era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.HardFork

newtype ConwayHardForkEvent era Source #

Instances

Instances details
Generic (ConwayHardForkEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.HardFork

Associated Types

type Rep (ConwayHardForkEvent era) ∷ TypeType Source #

NFData (ConwayHardForkEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.HardFork

Methods

rnfConwayHardForkEvent era → () Source #

Eq (ConwayHardForkEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.HardFork

type Rep (ConwayHardForkEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.HardFork

type Rep (ConwayHardForkEvent era) = D1 ('MetaData "ConwayHardForkEvent" "Cardano.Ledger.Conway.Rules.HardFork" "cardano-ledger-conway-1.19.0.0-inplace" 'True) (C1 ('MetaCons "ConwayHardForkEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtVer)))

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), Embed (EraRule "MEMPOOL" era) (ConwayLEDGER era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, State (EraRule "MEMPOOL" era) ~ LedgerState era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Environment (EraRule "MEMPOOL" era) ~ LedgerEnv era, Signal (EraRule "UTXOW" era) ~ Tx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, Signal (EraRule "MEMPOOL" era) ~ Tx 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), Embed (EraRule "MEMPOOL" 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, Environment (EraRule "MEMPOOL" era) ~ LedgerEnv era, Signal (EraRule "UTXOW" era) ~ Tx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, Signal (EraRule "MEMPOOL" era) ~ Tx era, State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, State (EraRule "MEMPOOL" era) ~ LedgerState 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

(EraGov era, EraTx era, EraRule "MEMPOOL" era ~ ConwayMEMPOOL era, PredicateFailure (EraRule "MEMPOOL" era) ~ ConwayMempoolPredFailure era, Event (EraRule "MEMPOOL" era) ~ ConwayMempoolEvent era) ⇒ Embed (ConwayMEMPOOL era) (ConwayLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

(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 #

Instances

Instances details
InjectRuleFailure "BBODY" ConwayLedgerPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "LEDGER" ConwayLedgerPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGERS" ConwayLedgerPredFailure ConwayEra 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.19.0.0-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 (NonEmpty (KeyHash 'Staking)))) :+: C1 ('MetaCons "ConwayTreasuryValueMismatch" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ Coin)))) :+: (C1 ('MetaCons "ConwayTxRefScriptsSizeTooBig" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ Int))) :+: C1 ('MetaCons "ConwayMempoolFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))

data ConwayLedgerEvent era Source #

Constructors

UtxowEvent (Event (EraRule "UTXOW" era)) 
CertsEvent (Event (EraRule "CERTS" era)) 
GovEvent (Event (EraRule "GOV" era)) 
MempoolEvent (Event (EraRule "MEMPOOL" 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 (Event (EraRule "MEMPOOL" 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 (Event (EraRule "MEMPOOL" 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.19.0.0-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)))) :+: C1 ('MetaCons "MempoolEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "MEMPOOL" 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.

data ConwayMEMPOOL era Source #

Instances

Instances details
(EraTx era, EraGov era) ⇒ STS (ConwayMEMPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

(EraGov era, EraTx era, EraRule "MEMPOOL" era ~ ConwayMEMPOOL era, PredicateFailure (EraRule "MEMPOOL" era) ~ ConwayMempoolPredFailure era, Event (EraRule "MEMPOOL" era) ~ ConwayMempoolEvent era) ⇒ Embed (ConwayMEMPOOL era) (ConwayLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

type BaseM (ConwayMEMPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

type Environment (ConwayMEMPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

type Event (ConwayMEMPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

type PredicateFailure (ConwayMEMPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

type Signal (ConwayMEMPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

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

Defined in Cardano.Ledger.Conway.Rules.Mempool

newtype ConwayMempoolEvent era Source #

Constructors

ConwayMempoolEvent Text 

Instances

Instances details
Generic (ConwayMempoolEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

Associated Types

type Rep (ConwayMempoolEvent era) ∷ TypeType Source #

NFData (ConwayMempoolEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

Methods

rnfConwayMempoolEvent era → () Source #

Eq (ConwayMempoolEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

type Rep (ConwayMempoolEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

type Rep (ConwayMempoolEvent era) = D1 ('MetaData "ConwayMempoolEvent" "Cardano.Ledger.Conway.Rules.Mempool" "cardano-ledger-conway-1.19.0.0-inplace" 'True) (C1 ('MetaCons "ConwayMempoolEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype ConwayMempoolPredFailure era Source #

Instances

Instances details
InjectRuleFailure "LEDGER" ConwayMempoolPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "MEMPOOL" ConwayMempoolPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

Generic (ConwayMempoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

Associated Types

type Rep (ConwayMempoolPredFailure era) ∷ TypeType Source #

Show (ConwayMempoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

Typeable era ⇒ FromCBOR (ConwayMempoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

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

Defined in Cardano.Ledger.Conway.Rules.Mempool

Typeable era ⇒ DecCBOR (ConwayMempoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

Typeable era ⇒ EncCBOR (ConwayMempoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

NFData (ConwayMempoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

Methods

rnfConwayMempoolPredFailure era → () Source #

Eq (ConwayMempoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

NoThunks (ConwayMempoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

type Rep (ConwayMempoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

type Rep (ConwayMempoolPredFailure era) = D1 ('MetaData "ConwayMempoolPredFailure" "Cardano.Ledger.Conway.Rules.Mempool" "cardano-ledger-conway-1.19.0.0-inplace" 'True) (C1 ('MetaCons "ConwayMempoolPredFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data ConwayNEWEPOCH era Source #

Instances

Instances details
(EraTxOut era, ConwayEraGov era, Embed (EraRule "EPOCH" era) (ConwayNEWEPOCH era), Event (EraRule "RUPD" era) ~ RupdEvent, Environment (EraRule "EPOCH" era) ~ (), State (EraRule "EPOCH" era) ~ EpochState era, Signal (EraRule "EPOCH" era) ~ EpochNo, Default (EpochState era), Default (StashedAVVMAddresses era), Signal (EraRule "RATIFY" era) ~ RatifySignal era, State (EraRule "RATIFY" era) ~ RatifyState era, Environment (EraRule "RATIFY" era) ~ RatifyEnv era, GovState era ~ ConwayGovState era, Eq (PredicateFailure (EraRule "RATIFY" era)), Show (PredicateFailure (EraRule "RATIFY" era))) ⇒ STS (ConwayNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

(STS (ConwayEPOCH era), Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era) ⇒ Embed (ConwayEPOCH era) (ConwayNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

(STS (ConwayNEWEPOCH era), PredicateFailure (EraRule "NEWEPOCH" era) ~ ConwayNewEpochPredFailure era, Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era) ⇒ Embed (ConwayNEWEPOCH era) (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type BaseM (ConwayNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type Environment (ConwayNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type Environment (ConwayNEWEPOCH era) = ()
type Event (ConwayNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type PredicateFailure (ConwayNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type Signal (ConwayNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type State (ConwayNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

newtype ConwayNewEpochPredFailure era Source #

Instances

Instances details
Generic (ConwayNewEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

Associated Types

type Rep (ConwayNewEpochPredFailure era) ∷ TypeType Source #

(Show (PredicateFailure (EraRule "EPOCH" era)), Show (PredicateFailure (EraRule "RATIFY" era))) ⇒ Show (ConwayNewEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

NFData (ConwayNewEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

Methods

rnfConwayNewEpochPredFailure era → () Source #

Eq (ConwayNewEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type Rep (ConwayNewEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type Rep (ConwayNewEpochPredFailure era) = D1 ('MetaData "ConwayNewEpochPredFailure" "Cardano.Ledger.Conway.Rules.NewEpoch" "cardano-ledger-conway-1.19.0.0-inplace" 'True) (C1 ('MetaCons "CorruptRewardUpdate" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RewardUpdate)))

data ConwayNewEpochEvent era Source #

Instances

Instances details
Generic (ConwayNewEpochEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

Associated Types

type Rep (ConwayNewEpochEvent era) ∷ TypeType Source #

(NFData (Event (EraRule "EPOCH" era)), NFData (Event (EraRule "RUPD" era))) ⇒ NFData (ConwayNewEpochEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

Methods

rnfConwayNewEpochEvent era → () Source #

(Eq (Event (EraRule "EPOCH" era)), Eq (Event (EraRule "RUPD" era))) ⇒ Eq (ConwayNewEpochEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type Rep (ConwayNewEpochEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

data ConwayTICKF era Source #

Instances

Instances details
EraGov era ⇒ STS (ConwayTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

Associated Types

type State (ConwayTICKF era) Source #

type Signal (ConwayTICKF era) Source #

type Environment (ConwayTICKF era) Source #

type BaseM (ConwayTICKF era) ∷ TypeType Source #

type Event (ConwayTICKF era) Source #

type PredicateFailure (ConwayTICKF era) Source #

type BaseM (ConwayTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

type Environment (ConwayTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

type Environment (ConwayTICKF era) = ()
type Event (ConwayTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

type PredicateFailure (ConwayTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

type Signal (ConwayTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

type State (ConwayTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

data ConwayTickfPredFailure era Source #

Instances

Instances details
Generic (ConwayTickfPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

Associated Types

type Rep (ConwayTickfPredFailure era) ∷ TypeType Source #

Era era ⇒ Show (ConwayTickfPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

Era era ⇒ Eq (ConwayTickfPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

NoThunks (ConwayTickfPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

type Rep (ConwayTickfPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

type Rep (ConwayTickfPredFailure era) = D1 ('MetaData "ConwayTickfPredFailure" "Cardano.Ledger.Conway.Rules.Tickf" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (V1TypeType)

data RatifyState era Source #

RatifyState stores information about what will happen to the active governance actions at the next epoch boundary.

Constructors

RatifyState 

Fields

  • rsEnactState ∷ !(EnactState era)

    This is the currently active EnactState. It contains all the changes that were applied to it at the last epoch boundary by all the proposals that were enacted.

  • rsEnacted ∷ !(Seq (GovActionState era))

    Governance actions that are going to be enacted at the next epoch boundary.

  • rsExpired ∷ !(Set GovActionId)

    Governance actions that are going to be removed at the next epoch boundary, either due to expiring or because they would become invalid after another governance action gets enacted or expired before it

  • rsDelayed ∷ !Bool

    This flag is set to true if one of the proposals that was ratified at the last epoch boundary was a delaying action. This means that no other proposals will be ratified this epoch and each active proposal that has not become invalid will have its expiry date extended by one epoch.

    This flag is reset at each epoch boundary before the RATIFY rule gets called, but it might immediately be set to True again after the RATIFY rule has finished execution.

Instances

Instances details
EraPParams era ⇒ ToJSON (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Generic (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

type Rep (RatifyState era) ∷ TypeType Source #

Methods

fromRatifyState era → Rep (RatifyState era) x Source #

toRep (RatifyState era) x → RatifyState era Source #

EraPParams era ⇒ Show (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

EraPParams era ⇒ DecCBOR (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

EraPParams era ⇒ DecShareCBOR (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

type Share (RatifyState era) Source #

EraPParams era ⇒ EncCBOR (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

encCBORRatifyState era → Encoding Source #

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

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

EraPParams era ⇒ Default (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

defRatifyState era Source #

EraPParams era ⇒ NFData (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

rnfRatifyState era → () Source #

EraPParams era ⇒ Eq (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

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

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

EraPParams era ⇒ NoThunks (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

EraPParams era ⇒ NFData (DRepPulser era Identity (RatifyState era)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

Methods

rnfDRepPulser era Identity (RatifyState era) → () Source #

EraPParams era ⇒ Eq (DRepPulser era Identity (RatifyState era)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

EraPParams era ⇒ NoThunks (DRepPulser era Identity (RatifyState era)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

type Rep (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

type Rep (RatifyState era) = D1 ('MetaData "RatifyState" "Cardano.Ledger.Conway.Governance.Internal" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "RatifyState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "rsEnactState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EnactState era)) :*: S1 ('MetaSel ('Just "rsEnacted") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Seq (GovActionState era)))) :*: (S1 ('MetaSel ('Just "rsExpired") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set GovActionId)) :*: S1 ('MetaSel ('Just "rsDelayed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool))))
type Share (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

type Share (RatifyState era) = ()

spoAcceptedRatio ∷ ∀ era. RatifyEnv era → GovActionState era → ProtVerRational Source #

Final ratio for totalAcceptedStakePoolsRatio we want during the bootstrap period is: t = y / (s - a) Where: * y - total delegated stake that voted Yes * a - total delegated stake that voted Abstain * s - total delegated stake

For HardForkInitiation all SPOs that didn't vote are considered as No votes. Whereas, for all other GovActions, SPOs that didn't vote are considered as Abstain votes.

No votes are not counted. After the bootstrap period if an SPO didn't vote, it will be considered as a No vote by default. The only exceptions are when a pool delegated to an AlwaysNoConfidence or an AlwaysAbstain DRep. In those cases, behaviour is as expected: vote Yes on NoConfidence proposals in case of the former and and vote Abstain by default in case of the latter. For HardForkInitiation, behaviour is the same as during the bootstrap period: if an SPO didn't vote, their vote will always count as No.

prevActionAsExpectedGovActionState era → GovRelation StrictMaybe era → Bool Source #

Check that the previous governance action id specified in the proposal does match the last one of the same purpose that was enacted.

data ConwayGOV era Source #

Instances

Instances details
(ConwayEraTxCert era, ConwayEraPParams era, EraRule "GOV" era ~ ConwayGOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era) ⇒ STS (ConwayGOV era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Associated Types

type State (ConwayGOV era) Source #

type Signal (ConwayGOV era) Source #

type Environment (ConwayGOV era) Source #

type BaseM (ConwayGOV era) ∷ TypeType Source #

type Event (ConwayGOV era) Source #

type PredicateFailure (ConwayGOV era) Source #

(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

type BaseM (ConwayGOV era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type Environment (ConwayGOV era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type Environment (ConwayGOV era) = GovEnv era
type Event (ConwayGOV era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type Event (ConwayGOV era) = ConwayGovEvent era
type PredicateFailure (ConwayGOV era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type Signal (ConwayGOV era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type Signal (ConwayGOV era) = GovSignal era
type State (ConwayGOV era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type State (ConwayGOV era) = Proposals era

data GovEnv era Source #

Constructors

GovEnv 

Fields

Instances

Instances details
Generic (GovEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Associated Types

type Rep (GovEnv era) ∷ TypeType Source #

Methods

fromGovEnv era → Rep (GovEnv era) x Source #

toRep (GovEnv era) x → GovEnv era Source #

(Show (PParams era), Era era) ⇒ Show (GovEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Methods

showsPrecIntGovEnv era → ShowS Source #

showGovEnv era → String Source #

showList ∷ [GovEnv era] → ShowS Source #

EraPParams era ⇒ EncCBOR (GovEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Methods

encCBORGovEnv era → Encoding Source #

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

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

(NFData (PParams era), Era era) ⇒ NFData (GovEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Methods

rnfGovEnv era → () Source #

Eq (PParams era) ⇒ Eq (GovEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Methods

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

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

type Rep (GovEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type Rep (GovEnv era) = D1 ('MetaData "GovEnv" "Cardano.Ledger.Conway.Rules.Gov" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "GovEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "geTxId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Just "geEpoch") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo)) :*: (S1 ('MetaSel ('Just "gePParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: (S1 ('MetaSel ('Just "gePPolicy") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe ScriptHash)) :*: S1 ('MetaSel ('Just "geCertState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CertState era))))))

data GovSignal era Source #

Instances

Instances details
Generic (GovSignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Associated Types

type Rep (GovSignal era) ∷ TypeType Source #

Methods

fromGovSignal era → Rep (GovSignal era) x Source #

toRep (GovSignal era) x → GovSignal era Source #

(EraPParams era, Show (TxCert era)) ⇒ Show (GovSignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Methods

showsPrecIntGovSignal era → ShowS Source #

showGovSignal era → String Source #

showList ∷ [GovSignal era] → ShowS Source #

(EraPParams era, EraTxCert era) ⇒ EncCBOR (GovSignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Methods

encCBORGovSignal era → Encoding Source #

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

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

(EraPParams era, NFData (TxCert era)) ⇒ NFData (GovSignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Methods

rnfGovSignal era → () Source #

(EraPParams era, Eq (TxCert era)) ⇒ Eq (GovSignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Methods

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

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

type Rep (GovSignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type Rep (GovSignal era) = D1 ('MetaData "GovSignal" "Cardano.Ledger.Conway.Rules.Gov" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "GovSignal" 'PrefixI 'True) (S1 ('MetaSel ('Just "gsVotingProcedures") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VotingProcedures era)) :*: (S1 ('MetaSel ('Just "gsProposalProcedures") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OSet (ProposalProcedure era))) :*: S1 ('MetaSel ('Just "gsCertificates") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (TxCert era))))))

data ConwayGovEvent era Source #

Constructors

GovNewProposals !TxId !(Proposals era) 
GovRemovedVotes 

Fields

Instances

Instances details
Generic (ConwayGovEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Associated Types

type Rep (ConwayGovEvent era) ∷ TypeType Source #

Methods

fromConwayGovEvent era → Rep (ConwayGovEvent era) x Source #

toRep (ConwayGovEvent era) x → ConwayGovEvent era Source #

EraPParams era ⇒ NFData (ConwayGovEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Methods

rnfConwayGovEvent era → () Source #

EraPParams era ⇒ Eq (ConwayGovEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type Rep (ConwayGovEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

data ConwayGovPredFailure era Source #

Constructors

GovActionsDoNotExist (NonEmpty GovActionId) 
MalformedProposal (GovAction era) 
ProposalProcedureNetworkIdMismatch RewardAccount Network 
TreasuryWithdrawalsNetworkIdMismatch (Set RewardAccount) Network 
ProposalDepositIncorrect !(Mismatch 'RelEQ Coin) 
DisallowedVoters !(NonEmpty (Voter, GovActionId))

Some governance actions are not allowed to be voted on by certain types of Voters. This failure lists all governance action ids with their respective voters that are not allowed to vote on those governance actions.

ConflictingCommitteeUpdate 

Fields

ExpirationEpochTooSmall 

Fields

InvalidPrevGovActionId (ProposalProcedure era) 
VotingOnExpiredGovAction (NonEmpty (Voter, GovActionId)) 
ProposalCantFollow 

Fields

InvalidPolicyHash 

Fields

DisallowedProposalDuringBootstrap (ProposalProcedure era) 
DisallowedVotesDuringBootstrap (NonEmpty (Voter, GovActionId)) 
VotersDoNotExist (NonEmpty Voter)

Predicate failure for votes by entities that are not present in the ledger state

ZeroTreasuryWithdrawals (GovAction era)

Treasury withdrawals that sum up to zero are not allowed

ProposalReturnAccountDoesNotExist RewardAccount

Proposals that have an invalid reward account for returns of the deposit

TreasuryWithdrawalReturnAccountsDoNotExist (NonEmpty RewardAccount)

Treasury withdrawal proposals to an invalid reward account

Instances

Instances details
InjectRuleFailure "BBODY" ConwayGovPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "GOV" ConwayGovPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

InjectRuleFailure "LEDGER" ConwayGovPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGERS" ConwayGovPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Generic (ConwayGovPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Associated Types

type Rep (ConwayGovPredFailure era) ∷ TypeType Source #

EraPParams era ⇒ Show (ConwayGovPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

EraPParams era ⇒ FromCBOR (ConwayGovPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

EraPParams era ⇒ ToCBOR (ConwayGovPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

EraPParams era ⇒ DecCBOR (ConwayGovPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

EraPParams era ⇒ EncCBOR (ConwayGovPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

EraPParams era ⇒ NFData (ConwayGovPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Methods

rnfConwayGovPredFailure era → () Source #

EraPParams era ⇒ Eq (ConwayGovPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

EraPParams era ⇒ NoThunks (ConwayGovPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type Rep (ConwayGovPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type Rep (ConwayGovPredFailure era) = D1 ('MetaData "ConwayGovPredFailure" "Cardano.Ledger.Conway.Rules.Gov" "cardano-ledger-conway-1.19.0.0-inplace" 'False) ((((C1 ('MetaCons "GovActionsDoNotExist" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty GovActionId))) :+: C1 ('MetaCons "MalformedProposal" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GovAction era)))) :+: (C1 ('MetaCons "ProposalProcedureNetworkIdMismatch" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RewardAccount) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network)) :+: C1 ('MetaCons "TreasuryWithdrawalsNetworkIdMismatch" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set RewardAccount)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network)))) :+: ((C1 ('MetaCons "ProposalDepositIncorrect" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ Coin))) :+: C1 ('MetaCons "DisallowedVoters" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty (Voter, GovActionId))))) :+: (C1 ('MetaCons "ConflictingCommitteeUpdate" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (Credential 'ColdCommitteeRole)))) :+: (C1 ('MetaCons "ExpirationEpochTooSmall" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'ColdCommitteeRole) EpochNo))) :+: C1 ('MetaCons "InvalidPrevGovActionId" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProposalProcedure era))))))) :+: (((C1 ('MetaCons "VotingOnExpiredGovAction" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Voter, GovActionId)))) :+: C1 ('MetaCons "ProposalCantFollow" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (GovPurposeId 'HardForkPurpose era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelGT ProtVer)))) :+: (C1 ('MetaCons "InvalidPolicyHash" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ScriptHash)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ScriptHash))) :+: C1 ('MetaCons "DisallowedProposalDuringBootstrap" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProposalProcedure era))))) :+: ((C1 ('MetaCons "DisallowedVotesDuringBootstrap" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Voter, GovActionId)))) :+: C1 ('MetaCons "VotersDoNotExist" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Voter)))) :+: (C1 ('MetaCons "ZeroTreasuryWithdrawals" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GovAction era))) :+: (C1 ('MetaCons "ProposalReturnAccountDoesNotExist" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RewardAccount)) :+: C1 ('MetaCons "TreasuryWithdrawalReturnAccountsDoNotExist" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty RewardAccount))))))))

data ConwayUtxoPredFailure era Source #

Predicate failure for the Conway Era

Constructors

UtxosFailure (PredicateFailure (EraRule "UTXOS" era))

Subtransition Failures

BadInputsUTxO !(Set TxIn)

The bad transaction inputs

OutsideValidityIntervalUTxO 

Fields

MaxTxSizeUTxO !(Mismatch 'RelLTEQ Integer) 
InputSetEmptyUTxO 
FeeTooSmallUTxO !(Mismatch 'RelGTEQ Coin) 
ValueNotConservedUTxO !(Mismatch 'RelEQ (Value era)) 
WrongNetwork

the set of addresses with incorrect network IDs

Fields

  • !Network

    the expected network id

  • !(Set Addr)

    the set of addresses with incorrect network IDs

WrongNetworkWithdrawal 

Fields

OutputTooSmallUTxO ![TxOut era]

list of supplied transaction outputs that are too small

OutputBootAddrAttrsTooBig ![TxOut era]

list of supplied bad transaction outputs

OutputTooBigUTxO ![(Int, Int, TxOut era)]

list of supplied bad transaction output triples (actualSize,PParameterMaxValue,TxOut)

InsufficientCollateral 

Fields

  • !DeltaCoin

    balance computed

  • !Coin

    the required collateral for the given fee

ScriptsNotPaidUTxO !(UTxO era)

The UTxO entries which have the wrong kind of script

ExUnitsTooBigUTxO !(Mismatch 'RelLTEQ ExUnits) 
CollateralContainsNonADA !(Value era)

The inputs marked for use as fees contain non-ADA tokens

WrongNetworkInTxBody !(Mismatch 'RelEQ Network)

Wrong Network ID in body

OutsideForecast !SlotNo

slot number outside consensus forecast range

TooManyCollateralInputs !(Mismatch 'RelLTEQ Natural)

There are too many collateral inputs

NoCollateralInputs 
IncorrectTotalCollateralField

The collateral is not equivalent to the total collateral asserted by the transaction

Fields

  • !DeltaCoin

    collateral provided

  • !Coin

    collateral amount declared in transaction body

BabbageOutputTooSmallUTxO ![(TxOut era, Coin)]

list of supplied transaction outputs that are too small, together with the minimum value for the given output.

BabbageNonDisjointRefInputs !(NonEmpty TxIn)

TxIns that appear in both inputs and reference inputs

Instances

Instances details
InjectRuleFailure "BBODY" ConwayUtxoPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "LEDGER" ConwayUtxoPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGERS" ConwayUtxoPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

InjectRuleFailure "UTXO" ConwayUtxoPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

InjectRuleFailure "UTXOW" ConwayUtxoPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

Generic (ConwayUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

Associated Types

type Rep (ConwayUtxoPredFailure era) ∷ TypeType Source #

(Era era, Show (Value era), Show (PredicateFailure (EraRule "UTXOS" era)), Show (TxOut era), Show (Script era), Show TxIn) ⇒ Show (ConwayUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

(Era era, DecCBOR (TxOut era), EncCBOR (Value era), DecCBOR (Value era), DecCBOR (PredicateFailure (EraRule "UTXOS" era))) ⇒ DecCBOR (ConwayUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

(Era era, EncCBOR (TxOut era), EncCBOR (Value era), EncCBOR (PredicateFailure (EraRule "UTXOS" era))) ⇒ EncCBOR (ConwayUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

(Era era, NFData (Value era), NFData (TxOut era), NFData (PredicateFailure (EraRule "UTXOS" era))) ⇒ NFData (ConwayUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

Methods

rnfConwayUtxoPredFailure era → () Source #

(Era era, Eq (Value era), Eq (PredicateFailure (EraRule "UTXOS" era)), Eq (TxOut era), Eq (Script era), Eq TxIn) ⇒ Eq (ConwayUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

NoThunks (ConwayUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

type Rep (ConwayUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

type Rep (ConwayUtxoPredFailure era) = D1 ('MetaData "ConwayUtxoPredFailure" "Cardano.Ledger.Conway.Rules.Utxo" "cardano-ledger-conway-1.19.0.0-inplace" 'False) ((((C1 ('MetaCons "UtxosFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXOS" era)))) :+: C1 ('MetaCons "BadInputsUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set TxIn)))) :+: (C1 ('MetaCons "OutsideValidityIntervalUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ValidityInterval) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :+: (C1 ('MetaCons "MaxTxSizeUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelLTEQ Integer))) :+: C1 ('MetaCons "InputSetEmptyUTxO" 'PrefixI 'False) (U1TypeType)))) :+: ((C1 ('MetaCons "FeeTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelGTEQ Coin))) :+: (C1 ('MetaCons "ValueNotConservedUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ (Value era)))) :+: C1 ('MetaCons "WrongNetwork" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set Addr))))) :+: (C1 ('MetaCons "WrongNetworkWithdrawal" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set RewardAccount))) :+: (C1 ('MetaCons "OutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [TxOut era])) :+: C1 ('MetaCons "OutputBootAddrAttrsTooBig" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [TxOut era])))))) :+: (((C1 ('MetaCons "OutputTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(Int, Int, TxOut era)])) :+: (C1 ('MetaCons "InsufficientCollateral" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :+: C1 ('MetaCons "ScriptsNotPaidUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UTxO era))))) :+: (C1 ('MetaCons "ExUnitsTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelLTEQ ExUnits))) :+: (C1 ('MetaCons "CollateralContainsNonADA" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Value era))) :+: C1 ('MetaCons "WrongNetworkInTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ Network)))))) :+: ((C1 ('MetaCons "OutsideForecast" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :+: (C1 ('MetaCons "TooManyCollateralInputs" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelLTEQ Natural))) :+: C1 ('MetaCons "NoCollateralInputs" 'PrefixI 'False) (U1TypeType))) :+: (C1 ('MetaCons "IncorrectTotalCollateralField" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :+: (C1 ('MetaCons "BabbageOutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(TxOut era, Coin)])) :+: C1 ('MetaCons "BabbageNonDisjointRefInputs" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty TxIn))))))))

data ConwayUTXOS era Source #

Instances

Instances details
(AlonzoEraTx era, AlonzoEraUTxO era, ConwayEraTxBody era, ConwayEraPParams era, EraGov era, EraPlutusContext era, GovState era ~ ConwayGovState era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (ConwayUTXOS era) ~ Tx era, EraRule "UTXOS" era ~ ConwayUTXOS era, InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era, InjectRuleEvent "UTXOS" ConwayUtxosEvent era) ⇒ STS (ConwayUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

Associated Types

type State (ConwayUTXOS era) Source #

type Signal (ConwayUTXOS era) Source #

type Environment (ConwayUTXOS era) Source #

type BaseM (ConwayUTXOS era) ∷ TypeType Source #

type Event (ConwayUTXOS era) Source #

type PredicateFailure (ConwayUTXOS era) Source #

(AlonzoEraTx era, AlonzoEraUTxO era, ConwayEraTxBody era, ConwayEraPParams era, EraGov era, EraPlutusContext era, GovState era ~ ConwayGovState era, PredicateFailure (EraRule "UTXOS" era) ~ ConwayUtxosPredFailure era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (ConwayUTXOS era) ~ Tx era, EraRule "UTXOS" era ~ ConwayUTXOS era, InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era, InjectRuleEvent "UTXOS" ConwayUtxosEvent era) ⇒ Embed (ConwayUTXOS era) (BabbageUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type BaseM (ConwayUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type Environment (ConwayUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type Event (ConwayUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type PredicateFailure (ConwayUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type Signal (ConwayUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

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

Defined in Cardano.Ledger.Conway.Rules.Utxos

type State (ConwayUTXOS era) = UTxOState era

data ConwayUtxosPredFailure era Source #

Constructors

ValidationTagMismatch IsValid TagMismatchDescription

The isValid tag on the transaction is incorrect. The tag given here is that provided on the transaction (whereas evaluation of the scripts gives the opposite.). The Text tries to explain why it failed.

CollectErrors [CollectError era]

We could not find all the necessary inputs for a Plutus Script. Previous PredicateFailure tests should make this impossible, but the consequences of not detecting this means scripts get dropped, so things might validate that shouldn't. So we double check in the function collectTwoPhaseScriptInputs, it should find data for every Script.

Instances

Instances details
InjectRuleFailure "BBODY" ConwayUtxosPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "LEDGER" ConwayUtxosPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGERS" ConwayUtxosPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

InjectRuleFailure "UTXO" ConwayUtxosPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

InjectRuleFailure "UTXOS" ConwayUtxosPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

InjectRuleFailure "UTXOW" ConwayUtxosPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

Generic (ConwayUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

Associated Types

type Rep (ConwayUtxosPredFailure era) ∷ TypeType Source #

(ConwayEraScript era, Show (TxCert era), Show (ContextError era), Show (UTxOState era)) ⇒ Show (ConwayUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

(EraTxCert era, ConwayEraScript era, DecCBOR (ContextError era)) ⇒ DecCBOR (ConwayUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

(EraTxCert era, ConwayEraScript era, EncCBOR (ContextError era)) ⇒ EncCBOR (ConwayUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

(ConwayEraScript era, NFData (TxCert era), NFData (ContextError era), NFData (UTxOState era)) ⇒ NFData (ConwayUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

Methods

rnfConwayUtxosPredFailure era → () Source #

(ConwayEraScript era, Eq (TxCert era), Eq (ContextError era), Eq (UTxOState era)) ⇒ Eq (ConwayUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

(ConwayEraScript era, NoThunks (TxCert era), NoThunks (ContextError era), NoThunks (UTxOState era)) ⇒ NoThunks (ConwayUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type Rep (ConwayUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type Rep (ConwayUtxosPredFailure era) = D1 ('MetaData "ConwayUtxosPredFailure" "Cardano.Ledger.Conway.Rules.Utxos" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "ValidationTagMismatch" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IsValid) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TagMismatchDescription)) :+: C1 ('MetaCons "CollectErrors" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CollectError era])))

data ConwayUtxosEvent era Source #

Constructors

TotalDeposits (SafeHash EraIndependentTxBody) Coin 
SuccessfulPlutusScriptsEvent (NonEmpty PlutusWithContext) 
FailedPlutusScriptsEvent (NonEmpty PlutusWithContext) 
TxUTxODiff

The UTxOs consumed and created by a signal tx

Fields

  • (UTxO era)

    UTxO consumed

  • (UTxO era)

    UTxO created

Instances

Instances details
InjectRuleEvent "UTXOS" ConwayUtxosEvent ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

Generic (ConwayUtxosEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

Associated Types

type Rep (ConwayUtxosEvent era) ∷ TypeType Source #

(Era era, NFData (TxOut era)) ⇒ NFData (ConwayUtxosEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

Methods

rnfConwayUtxosEvent era → () Source #

(Era era, Eq (TxOut era)) ⇒ Eq (ConwayUtxosEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type Rep (ConwayUtxosEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

data ConwayUTXOW era Source #

Instances

Instances details
(AlonzoEraTx era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, ConwayEraTxBody era, EraRule "UTXOW" era ~ ConwayUTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "UTXOW" BabbageUtxowPredFailure era, Embed (EraRule "UTXO" era) (ConwayUTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx era, Eq (PredicateFailure (EraRule "UTXOS" era)), Show (PredicateFailure (EraRule "UTXOS" era))) ⇒ STS (ConwayUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

Associated Types

type State (ConwayUTXOW era) Source #

type Signal (ConwayUTXOW era) Source #

type Environment (ConwayUTXOW era) Source #

type BaseM (ConwayUTXOW era) ∷ TypeType Source #

type Event (ConwayUTXOW era) Source #

type PredicateFailure (ConwayUTXOW era) Source #

(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 (ConwayUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

type Environment (ConwayUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

type Event (ConwayUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

type PredicateFailure (ConwayUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

type Signal (ConwayUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

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

Defined in Cardano.Ledger.Conway.Rules.Utxow

type State (ConwayUTXOW era) = UTxOState era

data ConwayUtxowPredFailure era Source #

Predicate failure type for the Conway Era

Constructors

UtxoFailure (PredicateFailure (EraRule "UTXO" era)) 
InvalidWitnessesUTXOW ![VKey 'Witness] 
MissingVKeyWitnessesUTXOW

witnesses which failed in verifiedWits function

Fields

MissingScriptWitnessesUTXOW !(Set ScriptHash)

missing scripts

ScriptWitnessNotValidatingUTXOW !(Set ScriptHash)

failed scripts

MissingTxBodyMetadataHash !TxAuxDataHash

hash of the full metadata

MissingTxMetadata !TxAuxDataHash

hash of the metadata included in the transaction body

ConflictingMetadataHash !(Mismatch 'RelEQ TxAuxDataHash) 
InvalidMetadata

Contains out of range values (string`s too long)

ExtraneousScriptWitnessesUTXOW !(Set ScriptHash)

extraneous scripts

MissingRedeemers ![(PlutusPurpose AsItem era, ScriptHash)] 
MissingRequiredDatums 

Fields

NotAllowedSupplementalDatums 

Fields

PPViewHashesDontMatch !(Mismatch 'RelEQ (StrictMaybe ScriptIntegrityHash)) 
UnspendableUTxONoDatumHash (Set TxIn)

Set of transaction inputs that are TwoPhase scripts, and should have a DataHash but don't

ExtraRedeemers ![PlutusPurpose AsIx era]

List of redeemers not needed

MalformedScriptWitnesses !(Set ScriptHash)

Embed UTXO rule failures

MalformedReferenceScripts !(Set ScriptHash)

the set of malformed script witnesses

Instances

Instances details
InjectRuleFailure "BBODY" ConwayUtxowPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "LEDGER" ConwayUtxowPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGERS" ConwayUtxowPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

InjectRuleFailure "UTXOW" ConwayUtxowPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

Generic (ConwayUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

Associated Types

type Rep (ConwayUtxowPredFailure era) ∷ TypeType Source #

(ConwayEraScript era, Show (PredicateFailure (EraRule "UTXO" era))) ⇒ Show (ConwayUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

(ConwayEraScript era, DecCBOR (PredicateFailure (EraRule "UTXO" era))) ⇒ DecCBOR (ConwayUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

(ConwayEraScript era, EncCBOR (PredicateFailure (EraRule "UTXO" era))) ⇒ EncCBOR (ConwayUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

(ConwayEraScript era, NFData (TxCert era), NFData (PredicateFailure (EraRule "UTXO" era))) ⇒ NFData (ConwayUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

Methods

rnfConwayUtxowPredFailure era → () Source #

(ConwayEraScript era, Eq (PredicateFailure (EraRule "UTXO" era))) ⇒ Eq (ConwayUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

NoThunks (ConwayUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

type Rep (ConwayUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

type Rep (ConwayUtxowPredFailure era) = D1 ('MetaData "ConwayUtxowPredFailure" "Cardano.Ledger.Conway.Rules.Utxow" "cardano-ledger-conway-1.19.0.0-inplace" 'False) ((((C1 ('MetaCons "UtxoFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXO" era)))) :+: C1 ('MetaCons "InvalidWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [VKey 'Witness]))) :+: (C1 ('MetaCons "MissingVKeyWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (KeyHash 'Witness)))) :+: C1 ('MetaCons "MissingScriptWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set ScriptHash))))) :+: ((C1 ('MetaCons "ScriptWitnessNotValidatingUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set ScriptHash))) :+: C1 ('MetaCons "MissingTxBodyMetadataHash" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxAuxDataHash))) :+: (C1 ('MetaCons "MissingTxMetadata" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxAuxDataHash)) :+: (C1 ('MetaCons "ConflictingMetadataHash" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ TxAuxDataHash))) :+: C1 ('MetaCons "InvalidMetadata" 'PrefixI 'False) (U1TypeType))))) :+: (((C1 ('MetaCons "ExtraneousScriptWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set ScriptHash))) :+: C1 ('MetaCons "MissingRedeemers" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(PlutusPurpose AsItem era, ScriptHash)]))) :+: (C1 ('MetaCons "MissingRequiredDatums" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set DataHash)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set DataHash))) :+: C1 ('MetaCons "NotAllowedSupplementalDatums" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set DataHash)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set DataHash))))) :+: ((C1 ('MetaCons "PPViewHashesDontMatch" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ (StrictMaybe ScriptIntegrityHash)))) :+: C1 ('MetaCons "UnspendableUTxONoDatumHash" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set TxIn)))) :+: (C1 ('MetaCons "ExtraRedeemers" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [PlutusPurpose AsIx era])) :+: (C1 ('MetaCons "MalformedScriptWitnesses" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set ScriptHash))) :+: C1 ('MetaCons "MalformedReferenceScripts" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set ScriptHash))))))))

Orphan instances