Documentation

Methods

injectFailure ∷ ConwayBbodyPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

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

Instance details

Methods

decCBOR ∷ Decoder s (ConwayBbodyPredFailure era) Source #

dropCBOR ∷ Proxy (ConwayBbodyPredFailure era) → Decoder s () Source #

label ∷ Proxy (ConwayBbodyPredFailure era) → Text Source #

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

Instance details

Methods

encCBOR ∷ ConwayBbodyPredFailure era → Encoding Source #

Generic (ConwayBbodyPredFailure era) Source #

Instance details

Associated Types

type Rep (ConwayBbodyPredFailure era)

Instance details

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

Methods

from ∷ ConwayBbodyPredFailure era → Rep (ConwayBbodyPredFailure era) x #

to ∷ Rep (ConwayBbodyPredFailure era) x → ConwayBbodyPredFailure era #

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

Instance details

Methods

showsPrec ∷ Int → ConwayBbodyPredFailure era → ShowS #

show ∷ ConwayBbodyPredFailure era → String #

showList ∷ [ConwayBbodyPredFailure era] → ShowS #

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

Instance details

Methods

(==) ∷ ConwayBbodyPredFailure era → ConwayBbodyPredFailure era → Bool #

(/=) ∷ ConwayBbodyPredFailure era → ConwayBbodyPredFailure era → Bool #

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

Instance details

Methods

noThunks ∷ Context → ConwayBbodyPredFailure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayBbodyPredFailure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayBbodyPredFailure era) → String Source #

type Rep (ConwayBbodyPredFailure era) Source #

Instance details

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

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

Methods

wrapFailed ∷ PredicateFailure ledgers → PredicateFailure (ConwayBBODY era) Source #

wrapEvent ∷ Event ledgers → Event (ConwayBBODY era) Source #

(Embed (EraRule "LEDGERS" era) (EraRule "BBODY" era), Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, State (EraRule "LEDGERS" era) ~ LedgerState era, Signal (EraRule "LEDGERS" era) ~ Seq (Tx 'TopTx era), AlonzoEraTxWits era, BlockBody era ~ AlonzoBlockBody era, EraBlockBody era, AlonzoEraPParams era, InjectRuleFailure "BBODY" AlonzoBbodyPredFailure era, InjectRuleFailure "BBODY" ConwayBbodyPredFailure era, EraRule "BBODY" era ~ ConwayBBODY era, AlonzoEraTx era, BabbageEraTxBody era, ConwayEraPParams era) ⇒ STS (ConwayBBODY era) Source #

Instance details

Associated Types

type State (ConwayBBODY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type State (ConwayBBODY era) = ShelleyBbodyState era
type Signal (ConwayBBODY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type Signal (ConwayBBODY era) = Block BHeaderView era
type Environment (ConwayBBODY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type Environment (ConwayBBODY era) = BbodyEnv era
type BaseM (ConwayBBODY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type BaseM (ConwayBBODY era) = ShelleyBase
type Event (ConwayBBODY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type Event (ConwayBBODY era) = AlonzoBbodyEvent era
type PredicateFailure (ConwayBBODY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type PredicateFailure (ConwayBBODY era) = ConwayBbodyPredFailure era

Methods

initialRules ∷ [InitialRule (ConwayBBODY era)] Source #

transitionRules ∷ [TransitionRule (ConwayBBODY era)] Source #

assertions ∷ [Assertion (ConwayBBODY era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayBBODY era) → String Source #

type BaseM (ConwayBBODY era) Source #

Instance details

type BaseM (ConwayBBODY era) = ShelleyBase

type Environment (ConwayBBODY era) Source #

Instance details

type Environment (ConwayBBODY era) = BbodyEnv era

type Event (ConwayBBODY era) Source #

Instance details

type Event (ConwayBBODY era) = AlonzoBbodyEvent era

type PredicateFailure (ConwayBBODY era) Source #

Instance details

type PredicateFailure (ConwayBBODY era) = ConwayBbodyPredFailure era

type Signal (ConwayBBODY era) Source #

Instance details

type Signal (ConwayBBODY era) = Block BHeaderView era

type State (ConwayBBODY era) Source #

Instance details

type State (ConwayBBODY era) = ShelleyBbodyState era

alonzoToConwayBbodyPredFailure ∷ AlonzoBbodyPredFailure era → ConwayBbodyPredFailure era Source #

shelleyToConwayBbodyPredFailure ∷ ShelleyBbodyPredFailure era → ConwayBbodyPredFailure era Source #

totalRefScriptSizeInBlock ∷ (AlonzoEraTx era, BabbageEraTxBody era) ⇒ ProtVer → StrictSeq (Tx 'TopTx era) → UTxO era → Int Source #

data ConwayCertEvent era Source #

Constructors

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

Instances

Instances details

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

Instance details

Methods

rnf ∷ ConwayCertEvent era → () #

Generic (ConwayCertEvent era) Source #

Instance details

Associated Types

type Rep (ConwayCertEvent era)

Instance details

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

Methods

from ∷ ConwayCertEvent era → Rep (ConwayCertEvent era) x #

to ∷ Rep (ConwayCertEvent era) x → ConwayCertEvent era #

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

Instance details

Methods

(==) ∷ ConwayCertEvent era → ConwayCertEvent era → Bool #

(/=) ∷ ConwayCertEvent era → ConwayCertEvent era → Bool #

type Rep (ConwayCertEvent era) Source #

Instance details

type Rep (ConwayCertEvent era) = D1 ('MetaData "ConwayCertEvent" "Cardano.Ledger.Conway.Rules.Cert" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "DelegEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "DELEG" era)))) :+: (C1 ('MetaCons "PoolEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "POOL" era)))) :+: C1 ('MetaCons "GovCertEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "GOVCERT" 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

Methods

injectFailure ∷ ConwayCertPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "CERT" ConwayCertPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertPredFailure ConwayEra → EraRuleFailure "CERT" ConwayEra Source #

InjectRuleFailure "CERTS" ConwayCertPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertPredFailure ConwayEra → EraRuleFailure "CERTS" ConwayEra Source #

InjectRuleFailure "LEDGER" ConwayCertPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "LEDGERS" ConwayCertPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #

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

Instance details

Methods

decCBOR ∷ Decoder s (ConwayCertPredFailure era) Source #

dropCBOR ∷ Proxy (ConwayCertPredFailure era) → Decoder s () Source #

label ∷ Proxy (ConwayCertPredFailure era) → Text Source #

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

Instance details

Methods

encCBOR ∷ ConwayCertPredFailure era → Encoding Source #

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

Instance details

Methods

rnf ∷ ConwayCertPredFailure era → () #

Generic (ConwayCertPredFailure era) Source #

Instance details

Associated Types

type Rep (ConwayCertPredFailure era)

Instance details

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

Methods

from ∷ ConwayCertPredFailure era → Rep (ConwayCertPredFailure era) x #

to ∷ Rep (ConwayCertPredFailure era) x → ConwayCertPredFailure era #

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

Instance details

Methods

showsPrec ∷ Int → ConwayCertPredFailure era → ShowS #

show ∷ ConwayCertPredFailure era → String #

showList ∷ [ConwayCertPredFailure era] → ShowS #

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

Instance details

Methods

(==) ∷ ConwayCertPredFailure era → ConwayCertPredFailure era → Bool #

(/=) ∷ ConwayCertPredFailure era → ConwayCertPredFailure era → Bool #

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

Instance details

Methods

noThunks ∷ Context → ConwayCertPredFailure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayCertPredFailure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayCertPredFailure era) → String Source #

type Rep (ConwayCertPredFailure era) Source #

Instance details

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

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, EraCertState era) ⇒ STS (ConwayCERT era) Source #

Instance details

Associated Types

type State (ConwayCERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type State (ConwayCERT era) = CertState era
type Signal (ConwayCERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type Signal (ConwayCERT era) = TxCert era
type Environment (ConwayCERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type Environment (ConwayCERT era) = CertEnv era
type BaseM (ConwayCERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type BaseM (ConwayCERT era) = ShelleyBase
type Event (ConwayCERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type Event (ConwayCERT era) = ConwayCertEvent era
type PredicateFailure (ConwayCERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type PredicateFailure (ConwayCERT era) = ConwayCertPredFailure era

Methods

initialRules ∷ [InitialRule (ConwayCERT era)] Source #

transitionRules ∷ [TransitionRule (ConwayCERT era)] Source #

assertions ∷ [Assertion (ConwayCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayCERT era) → String 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

Methods

wrapFailed ∷ PredicateFailure (ConwayCERT era) → PredicateFailure (ConwayCERTS era) Source #

wrapEvent ∷ Event (ConwayCERT era) → Event (ConwayCERTS era) Source #

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

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayDELEG era) → PredicateFailure (ConwayCERT era) Source #

wrapEvent ∷ Event (ConwayDELEG era) → Event (ConwayCERT era) Source #

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

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayGOVCERT era) → PredicateFailure (ConwayCERT era) Source #

wrapEvent ∷ Event (ConwayGOVCERT era) → Event (ConwayCERT era) Source #

(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

Methods

wrapFailed ∷ PredicateFailure (ShelleyPOOL era) → PredicateFailure (ConwayCERT era) Source #

wrapEvent ∷ Event (ShelleyPOOL era) → Event (ConwayCERT era) Source #

type BaseM (ConwayCERT era) Source #

Instance details

type BaseM (ConwayCERT era) = ShelleyBase

type Environment (ConwayCERT era) Source #

Instance details

type Environment (ConwayCERT era) = CertEnv era

type Event (ConwayCERT era) Source #

Instance details

type Event (ConwayCERT era) = ConwayCertEvent era

type PredicateFailure (ConwayCERT era) Source #

Instance details

type PredicateFailure (ConwayCERT era) = ConwayCertPredFailure era

type Signal (ConwayCERT era) Source #

Instance details

type Signal (ConwayCERT era) = TxCert era

type State (ConwayCERT era) Source #

Instance details

type State (ConwayCERT era) = CertState era

data CertEnv era Source #

Constructors

CertEnv
Fields cePParams ∷ PParams era ceCurrentEpoch ∷ EpochNo Lazy on purpose, because not all certificates need to know the current EpochNo ceCurrentCommittee ∷ StrictMaybe (Committee era) ceCommitteeProposals ∷ Map (GovPurposeId 'CommitteePurpose) (GovActionState era)

Instances

Instances details

EraPParams era ⇒ EncCBOR (CertEnv era) Source #

Instance details

Methods

encCBOR ∷ CertEnv era → Encoding Source #

EraPParams era ⇒ NFData (CertEnv era) Source #

Instance details

Methods

rnf ∷ CertEnv era → () #

Generic (CertEnv era) Source #

Instance details

Associated Types

type Rep (CertEnv era)

Instance details

type Rep (CertEnv era) = D1 ('MetaData "CertEnv" "Cardano.Ledger.Conway.Rules.Cert" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "CertEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (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) (GovActionState era))))))

Methods

from ∷ CertEnv era → Rep (CertEnv era) x #

to ∷ Rep (CertEnv era) x → CertEnv era #

EraPParams era ⇒ Show (CertEnv era) Source #

Instance details

Methods

showsPrec ∷ Int → CertEnv era → ShowS #

show ∷ CertEnv era → String #

showList ∷ [CertEnv era] → ShowS #

EraPParams era ⇒ Eq (CertEnv era) Source #

Instance details

Methods

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

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

type Rep (CertEnv era) Source #

Instance details

type Rep (CertEnv era) = D1 ('MetaData "CertEnv" "Cardano.Ledger.Conway.Rules.Cert" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "CertEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (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) (GovActionState era))))))

data ConwayDelegPredFailure era Source #

Instances

Instances details

InjectRuleFailure "BBODY" ConwayDelegPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "CERT" ConwayDelegPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "CERT" ConwayEra Source #

InjectRuleFailure "CERTS" ConwayDelegPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "CERTS" ConwayEra Source #

InjectRuleFailure "DELEG" ConwayDelegPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "DELEG" ConwayEra Source #

InjectRuleFailure "LEDGER" ConwayDelegPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "LEDGERS" ConwayDelegPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #

Era era ⇒ DecCBOR (ConwayDelegPredFailure era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (ConwayDelegPredFailure era) Source #

dropCBOR ∷ Proxy (ConwayDelegPredFailure era) → Decoder s () Source #

label ∷ Proxy (ConwayDelegPredFailure era) → Text Source #

Era era ⇒ EncCBOR (ConwayDelegPredFailure era) Source #

Instance details

Methods

encCBOR ∷ ConwayDelegPredFailure era → Encoding Source #

NFData (ConwayDelegPredFailure era) Source #

Instance details

Methods

rnf ∷ ConwayDelegPredFailure era → () #

Generic (ConwayDelegPredFailure era) Source #

Instance details

Associated Types

type Rep (ConwayDelegPredFailure era)

Instance details

Methods

from ∷ ConwayDelegPredFailure era → Rep (ConwayDelegPredFailure era) x #

to ∷ Rep (ConwayDelegPredFailure era) x → ConwayDelegPredFailure era #

Show (ConwayDelegPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → ConwayDelegPredFailure era → ShowS #

show ∷ ConwayDelegPredFailure era → String #

showList ∷ [ConwayDelegPredFailure era] → ShowS #

Eq (ConwayDelegPredFailure era) Source #

Instance details

Methods

(==) ∷ ConwayDelegPredFailure era → ConwayDelegPredFailure era → Bool #

(/=) ∷ ConwayDelegPredFailure era → ConwayDelegPredFailure era → Bool #

NoThunks (ConwayDelegPredFailure era) Source #

Instance details

Methods

noThunks ∷ Context → ConwayDelegPredFailure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayDelegPredFailure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayDelegPredFailure era) → String Source #

type Rep (ConwayDelegPredFailure era) Source #

Instance details

processDelegation Source #

Arguments

∷ ConwayEraCertState era
⇒ 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 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, EraCertState era, ConwayEraCertState era) ⇒ STS (ConwayDELEG era) Source #

Instance details

Associated Types

type State (ConwayDELEG era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type State (ConwayDELEG era) = CertState era
type Signal (ConwayDELEG era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type Signal (ConwayDELEG era) = ConwayDelegCert
type Environment (ConwayDELEG era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type Environment (ConwayDELEG era) = ConwayDelegEnv era
type BaseM (ConwayDELEG era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type BaseM (ConwayDELEG era) = ShelleyBase
type Event (ConwayDELEG era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type Event (ConwayDELEG era) = Void
type PredicateFailure (ConwayDELEG era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type PredicateFailure (ConwayDELEG era) = ConwayDelegPredFailure era

Methods

initialRules ∷ [InitialRule (ConwayDELEG era)] Source #

transitionRules ∷ [TransitionRule (ConwayDELEG era)] Source #

assertions ∷ [Assertion (ConwayDELEG era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayDELEG era) → String Source #

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

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayDELEG era) → PredicateFailure (ConwayCERT era) Source #

wrapEvent ∷ Event (ConwayDELEG era) → Event (ConwayCERT era) Source #

(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, EraCertState era, ConwayEraCertState era) ⇒ Embed (ConwayDELEG era) (ConwayLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayDELEG era) → PredicateFailure (ConwayLEDGER era) Source #

wrapEvent ∷ Event (ConwayDELEG era) → Event (ConwayLEDGER era) Source #

type BaseM (ConwayDELEG era) Source #

Instance details

type BaseM (ConwayDELEG era) = ShelleyBase

type Environment (ConwayDELEG era) Source #

Instance details

type Environment (ConwayDELEG era) = ConwayDelegEnv era

type Event (ConwayDELEG era) Source #

Instance details

type Event (ConwayDELEG era) = Void

type PredicateFailure (ConwayDELEG era) Source #

Instance details

type PredicateFailure (ConwayDELEG era) = ConwayDelegPredFailure era

type Signal (ConwayDELEG era) Source #

Instance details

type Signal (ConwayDELEG era) = ConwayDelegCert

type State (ConwayDELEG era) Source #

Instance details

type State (ConwayDELEG era) = CertState era

data ConwayDelegEnv era Source #

Constructors

ConwayDelegEnv
Fields cdePParams ∷ PParams era cdePools ∷ Map (KeyHash 'StakePool) StakePoolState

Instances

Instances details

EraPParams era ⇒ EncCBOR (ConwayDelegEnv era) Source #

Instance details

Methods

encCBOR ∷ ConwayDelegEnv era → Encoding Source #

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

Instance details

Methods

rnf ∷ ConwayDelegEnv era → () #

Generic (ConwayDelegEnv era) Source #

Instance details

Associated Types

type Rep (ConwayDelegEnv era)

Instance details

type Rep (ConwayDelegEnv era) = D1 ('MetaData "ConwayDelegEnv" "Cardano.Ledger.Conway.Rules.Deleg" "cardano-ledger-conway-1.21.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) StakePoolState))))

Methods

from ∷ ConwayDelegEnv era → Rep (ConwayDelegEnv era) x #

to ∷ Rep (ConwayDelegEnv era) x → ConwayDelegEnv era #

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

Instance details

Methods

showsPrec ∷ Int → ConwayDelegEnv era → ShowS #

show ∷ ConwayDelegEnv era → String #

showList ∷ [ConwayDelegEnv era] → ShowS #

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

Instance details

Methods

(==) ∷ ConwayDelegEnv era → ConwayDelegEnv era → Bool #

(/=) ∷ ConwayDelegEnv era → ConwayDelegEnv era → Bool #

type Rep (ConwayDelegEnv era) Source #

Instance details

type Rep (ConwayDelegEnv era) = D1 ('MetaData "ConwayDelegEnv" "Cardano.Ledger.Conway.Rules.Deleg" "cardano-ledger-conway-1.21.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) StakePoolState))))

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)), ConwayEraCertState era) ⇒ STS (ConwayGOVCERT era) Source #

Instance details

Associated Types

type State (ConwayGOVCERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type State (ConwayGOVCERT era) = CertState era
type Signal (ConwayGOVCERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type Signal (ConwayGOVCERT era) = ConwayGovCert
type Environment (ConwayGOVCERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type Environment (ConwayGOVCERT era) = ConwayGovCertEnv era
type BaseM (ConwayGOVCERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type BaseM (ConwayGOVCERT era) = ShelleyBase
type Event (ConwayGOVCERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type Event (ConwayGOVCERT era) = Void
type PredicateFailure (ConwayGOVCERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type PredicateFailure (ConwayGOVCERT era) = ConwayGovCertPredFailure era

Methods

initialRules ∷ [InitialRule (ConwayGOVCERT era)] Source #

transitionRules ∷ [TransitionRule (ConwayGOVCERT era)] Source #

assertions ∷ [Assertion (ConwayGOVCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayGOVCERT era) → String Source #

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

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayGOVCERT era) → PredicateFailure (ConwayCERT era) Source #

wrapEvent ∷ Event (ConwayGOVCERT era) → Event (ConwayCERT era) Source #

type BaseM (ConwayGOVCERT era) Source #

Instance details

type BaseM (ConwayGOVCERT era) = ShelleyBase

type Environment (ConwayGOVCERT era) Source #

Instance details

type Environment (ConwayGOVCERT era) = ConwayGovCertEnv era

type Event (ConwayGOVCERT era) Source #

Instance details

type Event (ConwayGOVCERT era) = Void

type PredicateFailure (ConwayGOVCERT era) Source #

Instance details

type PredicateFailure (ConwayGOVCERT era) = ConwayGovCertPredFailure era

type Signal (ConwayGOVCERT era) Source #

Instance details

type Signal (ConwayGOVCERT era) = ConwayGovCert

type State (ConwayGOVCERT era) Source #

Instance details

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

Methods

injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "CERT" ConwayGovCertPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "CERT" ConwayEra Source #

InjectRuleFailure "CERTS" ConwayGovCertPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "CERTS" ConwayEra Source #

InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "GOVCERT" ConwayEra Source #

InjectRuleFailure "LEDGER" ConwayGovCertPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "LEDGERS" ConwayGovCertPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #

Typeable era ⇒ DecCBOR (ConwayGovCertPredFailure era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (ConwayGovCertPredFailure era) Source #

dropCBOR ∷ Proxy (ConwayGovCertPredFailure era) → Decoder s () Source #

label ∷ Proxy (ConwayGovCertPredFailure era) → Text Source #

Era era ⇒ EncCBOR (ConwayGovCertPredFailure era) Source #

Instance details

Methods

encCBOR ∷ ConwayGovCertPredFailure era → Encoding Source #

NFData (ConwayGovCertPredFailure era) Source #

Instance details

Methods

rnf ∷ ConwayGovCertPredFailure era → () #

Generic (ConwayGovCertPredFailure era) Source #

Instance details

Associated Types

type Rep (ConwayGovCertPredFailure era)

Instance details

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

Methods

from ∷ ConwayGovCertPredFailure era → Rep (ConwayGovCertPredFailure era) x #

to ∷ Rep (ConwayGovCertPredFailure era) x → ConwayGovCertPredFailure era #

Show (ConwayGovCertPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → ConwayGovCertPredFailure era → ShowS #

show ∷ ConwayGovCertPredFailure era → String #

showList ∷ [ConwayGovCertPredFailure era] → ShowS #

Eq (ConwayGovCertPredFailure era) Source #

Instance details

Methods

(==) ∷ ConwayGovCertPredFailure era → ConwayGovCertPredFailure era → Bool #

(/=) ∷ ConwayGovCertPredFailure era → ConwayGovCertPredFailure era → Bool #

NoThunks (ConwayGovCertPredFailure era) Source #

Instance details

Methods

noThunks ∷ Context → ConwayGovCertPredFailure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayGovCertPredFailure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayGovCertPredFailure era) → String Source #

type Rep (ConwayGovCertPredFailure era) Source #

Instance details

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

data ConwayGovCertEnv era Source #

Constructors

ConwayGovCertEnv
Fields cgcePParams ∷ PParams era cgceCurrentEpoch ∷ EpochNo Lazy on purpose, because not all certificates need to know the current EpochNo cgceCurrentCommittee ∷ StrictMaybe (Committee era) cgceCommitteeProposals ∷ Map (GovPurposeId 'CommitteePurpose) (GovActionState era) All of the `UpdateCommittee` proposals

Instances

Instances details

EraPParams era ⇒ EncCBOR (ConwayGovCertEnv era) Source #

Instance details

Methods

encCBOR ∷ ConwayGovCertEnv era → Encoding Source #

EraPParams era ⇒ NFData (ConwayGovCertEnv era) Source #

Instance details

Methods

rnf ∷ ConwayGovCertEnv era → () #

Generic (ConwayGovCertEnv era) Source #

Instance details

Associated Types

type Rep (ConwayGovCertEnv era)

Instance details

type Rep (ConwayGovCertEnv era) = D1 ('MetaData "ConwayGovCertEnv" "Cardano.Ledger.Conway.Rules.GovCert" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "ConwayGovCertEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cgcePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (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) (GovActionState era))))))

Methods

from ∷ ConwayGovCertEnv era → Rep (ConwayGovCertEnv era) x #

to ∷ Rep (ConwayGovCertEnv era) x → ConwayGovCertEnv era #

EraPParams era ⇒ Show (ConwayGovCertEnv era) Source #

Instance details

Methods

showsPrec ∷ Int → ConwayGovCertEnv era → ShowS #

show ∷ ConwayGovCertEnv era → String #

showList ∷ [ConwayGovCertEnv era] → ShowS #

EraPParams era ⇒ Eq (ConwayGovCertEnv era) Source #

Instance details

Methods

(==) ∷ ConwayGovCertEnv era → ConwayGovCertEnv era → Bool #

(/=) ∷ ConwayGovCertEnv era → ConwayGovCertEnv era → Bool #

type Rep (ConwayGovCertEnv era) Source #

Instance details

computeDRepExpiry Source #

type Rep (ConwayGovCertEnv era) = D1 ('MetaData "ConwayGovCertEnv" "Cardano.Ledger.Conway.Rules.GovCert" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "ConwayGovCertEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cgcePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (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) (GovActionState era))))))

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), EraCertState era, ConwayEraCertState era, EraRuleFailure "CERT" era ~ PredicateFailure (EraRule "CERT" era)) ⇒ STS (ConwayCERTS era) Source #

Instance details

Associated Types

type State (ConwayCERTS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type State (ConwayCERTS era) = CertState era
type Signal (ConwayCERTS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type Signal (ConwayCERTS era) = Seq (TxCert era)
type Environment (ConwayCERTS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type Environment (ConwayCERTS era) = CertsEnv era
type BaseM (ConwayCERTS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type BaseM (ConwayCERTS era) = ShelleyBase
type Event (ConwayCERTS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type Event (ConwayCERTS era) = ConwayCertsEvent era
type PredicateFailure (ConwayCERTS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type PredicateFailure (ConwayCERTS era) = ConwayCertsPredFailure era

Methods

initialRules ∷ [InitialRule (ConwayCERTS era)] Source #

transitionRules ∷ [TransitionRule (ConwayCERTS era)] Source #

assertions ∷ [Assertion (ConwayCERTS era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayCERTS era) → String 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

Methods

wrapFailed ∷ PredicateFailure (ConwayCERT era) → PredicateFailure (ConwayCERTS era) Source #

wrapEvent ∷ Event (ConwayCERT era) → Event (ConwayCERTS era) Source #

(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, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era, EraRuleFailure "CERT" era ~ ConwayCertPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era, EraRule "CERTS" era ~ ConwayCERTS era, EraCertState era, ConwayEraCertState era) ⇒ Embed (ConwayCERTS era) (ConwayLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayCERTS era) → PredicateFailure (ConwayLEDGER era) Source #

wrapEvent ∷ Event (ConwayCERTS era) → Event (ConwayLEDGER era) Source #

type BaseM (ConwayCERTS era) Source #

Instance details

type BaseM (ConwayCERTS era) = ShelleyBase

type Environment (ConwayCERTS era) Source #

Instance details

type Environment (ConwayCERTS era) = CertsEnv era

type Event (ConwayCERTS era) Source #

Instance details

type Event (ConwayCERTS era) = ConwayCertsEvent era

type PredicateFailure (ConwayCERTS era) Source #

Instance details

type PredicateFailure (ConwayCERTS era) = ConwayCertsPredFailure era

type Signal (ConwayCERTS era) Source #

Instance details

type Signal (ConwayCERTS era) = Seq (TxCert era)

type State (ConwayCERTS era) Source #

Instance details

type State (ConwayCERTS era) = CertState era

data ConwayCertsPredFailure era Source #

Constructors

WithdrawalsNotInRewardsCERTS Withdrawals	Withdrawals that are missing or do not withdraw the entire amount (pv < 11)
CertFailure (PredicateFailure (EraRule "CERT" era))	CERT rule subtransition Failures

Instances

Instances details

InjectRuleFailure "BBODY" ConwayCertsPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertsPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "CERTS" ConwayCertsPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertsPredFailure ConwayEra → EraRuleFailure "CERTS" ConwayEra Source #

InjectRuleFailure "LEDGER" ConwayCertsPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertsPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "LEDGERS" ConwayCertsPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertsPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #

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

Instance details

Methods

decCBOR ∷ Decoder s (ConwayCertsPredFailure era) Source #

dropCBOR ∷ Proxy (ConwayCertsPredFailure era) → Decoder s () Source #

label ∷ Proxy (ConwayCertsPredFailure era) → Text Source #

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

Instance details

Methods

encCBOR ∷ ConwayCertsPredFailure era → Encoding Source #

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

Instance details

Methods

rnf ∷ ConwayCertsPredFailure era → () #

Generic (ConwayCertsPredFailure era) Source #

Instance details

Associated Types

type Rep (ConwayCertsPredFailure era)

Instance details

type Rep (ConwayCertsPredFailure era) = D1 ('MetaData "ConwayCertsPredFailure" "Cardano.Ledger.Conway.Rules.Certs" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "WithdrawalsNotInRewardsCERTS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Withdrawals)) :+: C1 ('MetaCons "CertFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "CERT" era)))))

Methods

from ∷ ConwayCertsPredFailure era → Rep (ConwayCertsPredFailure era) x #

to ∷ Rep (ConwayCertsPredFailure era) x → ConwayCertsPredFailure era #

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

Instance details

Methods

showsPrec ∷ Int → ConwayCertsPredFailure era → ShowS #

show ∷ ConwayCertsPredFailure era → String #

showList ∷ [ConwayCertsPredFailure era] → ShowS #

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

Instance details

Methods

(==) ∷ ConwayCertsPredFailure era → ConwayCertsPredFailure era → Bool #

(/=) ∷ ConwayCertsPredFailure era → ConwayCertsPredFailure era → Bool #

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

Instance details

Methods

noThunks ∷ Context → ConwayCertsPredFailure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayCertsPredFailure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayCertsPredFailure era) → String Source #

type Rep (ConwayCertsPredFailure era) Source #

Instance details

type Rep (ConwayCertsPredFailure era) = D1 ('MetaData "ConwayCertsPredFailure" "Cardano.Ledger.Conway.Rules.Certs" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "WithdrawalsNotInRewardsCERTS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Withdrawals)) :+: C1 ('MetaCons "CertFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "CERT" era)))))

newtype ConwayCertsEvent era Source #

Constructors

CertEvent (Event (EraRule "CERT" era))

Instances

Instances details

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

Instance details

Methods

rnf ∷ ConwayCertsEvent era → () #

Generic (ConwayCertsEvent era) Source #

Instance details

Associated Types

type Rep (ConwayCertsEvent era)
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.21.0.0-inplace" 'True) (C1 ('MetaCons "CertEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "CERT" era)))))

Methods

from ∷ ConwayCertsEvent era → Rep (ConwayCertsEvent era) x #

to ∷ Rep (ConwayCertsEvent era) x → ConwayCertsEvent era #

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

Instance details

Methods

(==) ∷ ConwayCertsEvent era → ConwayCertsEvent era → Bool #

(/=) ∷ ConwayCertsEvent era → ConwayCertsEvent era → Bool #

type Rep (ConwayCertsEvent era) Source #

Instance details

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

data CertsEnv era Source #

Constructors

CertsEnv
Fields certsTx ∷ Tx 'TopTx era certsPParams ∷ PParams era certsCurrentEpoch ∷ EpochNo Lazy on purpose, because not all certificates need to know the current EpochNo certsCurrentCommittee ∷ StrictMaybe (Committee era) certsCommitteeProposals ∷ Map (GovPurposeId 'CommitteePurpose) (GovActionState era)

Instances

Instances details

EraTx era ⇒ EncCBOR (CertsEnv era) Source #

Instance details

Methods

encCBOR ∷ CertsEnv era → Encoding Source #

(EraPParams era, NFData (Tx 'TopTx era)) ⇒ NFData (CertsEnv era) Source #

Instance details

Methods

rnf ∷ CertsEnv era → () #

Generic (CertsEnv era) Source #

Instance details

Associated Types

type Rep (CertsEnv era)

Instance details

type Rep (CertsEnv era) = D1 ('MetaData "CertsEnv" "Cardano.Ledger.Conway.Rules.Certs" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "CertsEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "certsTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tx 'TopTx era)) :*: S1 ('MetaSel ('Just "certsPParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (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) (GovActionState era)))))))

Methods

from ∷ CertsEnv era → Rep (CertsEnv era) x #

to ∷ Rep (CertsEnv era) x → CertsEnv era #

(EraPParams era, Show (Tx 'TopTx era)) ⇒ Show (CertsEnv era) Source #

Instance details

Methods

showsPrec ∷ Int → CertsEnv era → ShowS #

show ∷ CertsEnv era → String #

showList ∷ [CertsEnv era] → ShowS #

(EraPParams era, Eq (Tx 'TopTx era)) ⇒ Eq (CertsEnv era) Source #

Instance details

Methods

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

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

type Rep (CertsEnv era) Source #

Instance details

updateDormantDRepExpiry Source #

type Rep (CertsEnv era) = D1 ('MetaData "CertsEnv" "Cardano.Ledger.Conway.Rules.Certs" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "CertsEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "certsTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tx 'TopTx era)) :*: S1 ('MetaSel ('Just "certsPParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (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) (GovActionState era)))))))

Arguments

∷ EpochNo	Current Epoch
→ VState era
→ VState era

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

updateDormantDRepExpiries ∷ (EraTx era, ConwayEraTxBody era, ConwayEraCertState era) ⇒ Tx 'TopTx era → EpochNo → CertState era → CertState era Source #

If there is a new governance proposal to vote on in this transaction, AND the number of dormant-epochs recorded is greater than zero, we bump the expiry for all DReps by the number of dormant epochs, and reset the counter to zero.

It does not matter that this is called _before_ the GOV rule in LEDGER, even though we cannot validate any governance proposal here, since the entire transaction will fail if the proposal is not accepted in GOV, and so will this expiry bump done here.

updateVotingDRepExpiries ∷ (EraTx era, ConwayEraTxBody era, ConwayEraCertState era) ⇒ Tx 'TopTx era → EpochNo → EpochInterval → CertState era → CertState era Source #

Update DRep expiry for all DReps that are voting in this transaction. This will execute in mutual-exclusion to the updates to the dormant DRep expiry, because if there are no proposals to vote on, there will be no votes either.

data EnactState era Source #

Constructors

EnactState
Fields ensCommittee ∷ !(StrictMaybe (Committee era)) Constitutional Committee ensConstitution ∷ !(Constitution era) Constitution ensCurPParams ∷ !(PParams era) ensPrevPParams ∷ !(PParams era) ensTreasury ∷ !Coin ensWithdrawals ∷ !(Map (Credential 'Staking) Coin) ensPrevGovActionIds ∷ !(GovRelation StrictMaybe) Last enacted GovAction Ids

Instances

Instances details

EraPParams era ⇒ ToJSON (EnactState era) Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

toJSON ∷ EnactState era → Value Source #

toEncoding ∷ EnactState era → Encoding Source #

toJSONList ∷ [EnactState era] → Value Source #

toEncodingList ∷ [EnactState era] → Encoding Source #

omitField ∷ EnactState era → Bool Source #

EraPParams era ⇒ FromCBOR (EnactState era) Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

fromCBOR ∷ Decoder s (EnactState era) Source #

label ∷ Proxy (EnactState era) → Text Source #

EraPParams era ⇒ ToCBOR (EnactState era) Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

toCBOR ∷ EnactState 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

decCBOR ∷ Decoder s (EnactState era) Source #

dropCBOR ∷ Proxy (EnactState era) → Decoder s () Source #

label ∷ Proxy (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)
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal type Share (EnactState era) = Interns (Credential 'Staking)

Methods

getShare ∷ EnactState era → Share (EnactState era) Source #

decShareCBOR ∷ Share (EnactState era) → Decoder s (EnactState era) Source #

decSharePlusCBOR ∷ StateT (Share (EnactState era)) (Decoder s) (EnactState era) Source #

EraPParams era ⇒ EncCBOR (EnactState era) Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

encCBOR ∷ EnactState era → Encoding Source #

EraPParams era ⇒ ToKeyValuePairs (EnactState era) Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ EnactState era → [kv] Source #

EraPParams era ⇒ Default (EnactState era) Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

def ∷ EnactState era Source #

EraPParams era ⇒ NFData (EnactState era) Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

rnf ∷ EnactState era → () #

Generic (EnactState era) Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

type Rep (EnactState era)

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.21.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))))))

Methods

from ∷ EnactState era → Rep (EnactState era) x #

to ∷ Rep (EnactState era) x → EnactState era #

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

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

showsPrec ∷ Int → EnactState era → ShowS #

show ∷ EnactState era → String #

showList ∷ [EnactState era] → ShowS #

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

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

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

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

EraPParams era ⇒ NoThunks (EnactState era) Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

noThunks ∷ Context → EnactState era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → EnactState era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (EnactState era) → String Source #

type Share (EnactState era) Source #

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.21.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))))))

data ConwayENACT era Source #

Instances

Instances details

EraGov era ⇒ STS (ConwayENACT era) Source #

Instance details

Associated Types

type State (ConwayENACT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type State (ConwayENACT era) = EnactState era
type Signal (ConwayENACT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type Signal (ConwayENACT era) = EnactSignal era
type Environment (ConwayENACT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type Environment (ConwayENACT era) = ()
type BaseM (ConwayENACT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type BaseM (ConwayENACT era) = ShelleyBase
type Event (ConwayENACT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type Event (ConwayENACT era) = Void
type PredicateFailure (ConwayENACT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type PredicateFailure (ConwayENACT era) = Void

Methods

initialRules ∷ [InitialRule (ConwayENACT era)] Source #

transitionRules ∷ [TransitionRule (ConwayENACT era)] Source #

assertions ∷ [Assertion (ConwayENACT era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayENACT era) → String Source #

EraGov era ⇒ Embed (ConwayENACT era) (ConwayRATIFY era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayENACT era) → PredicateFailure (ConwayRATIFY era) Source #

wrapEvent ∷ Event (ConwayENACT era) → Event (ConwayRATIFY era) Source #

type BaseM (ConwayENACT era) Source #

Instance details

type BaseM (ConwayENACT era) = ShelleyBase

type Environment (ConwayENACT era) Source #

Instance details

type Environment (ConwayENACT era) = ()

type Event (ConwayENACT era) Source #

Instance details

type Event (ConwayENACT era) = Void

type PredicateFailure (ConwayENACT era) Source #

Instance details

type PredicateFailure (ConwayENACT era) = Void

type Signal (ConwayENACT era) Source #

Instance details

type Signal (ConwayENACT era) = EnactSignal era

type State (ConwayENACT era) Source #

Instance details

type State (ConwayENACT era) = EnactState era

data EnactSignal era Source #

Constructors

EnactSignal
Fields esGovActionId ∷ !GovActionId esGovAction ∷ !(GovAction era)

Instances

Instances details

EraPParams era ⇒ EncCBOR (EnactSignal era) Source #

Instance details

Methods

encCBOR ∷ EnactSignal era → Encoding Source #

EraPParams era ⇒ NFData (EnactSignal era) Source #

Instance details

Methods

rnf ∷ EnactSignal era → () #

Generic (EnactSignal era) Source #

Instance details

Associated Types

type Rep (EnactSignal era)

Instance details

type Rep (EnactSignal era) = D1 ('MetaData "EnactSignal" "Cardano.Ledger.Conway.Rules.Enact" "cardano-ledger-conway-1.21.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))))

Methods

from ∷ EnactSignal era → Rep (EnactSignal era) x #

to ∷ Rep (EnactSignal era) x → EnactSignal era #

EraPParams era ⇒ Show (EnactSignal era) Source #

Instance details

Methods

showsPrec ∷ Int → EnactSignal era → ShowS #

show ∷ EnactSignal era → String #

showList ∷ [EnactSignal era] → ShowS #

EraPParams era ⇒ Eq (EnactSignal era) Source #

Instance details

Methods

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

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

type Rep (EnactSignal era) Source #

Instance details

type Rep (EnactSignal era) = D1 ('MetaData "EnactSignal" "Cardano.Ledger.Conway.Rules.Enact" "cardano-ledger-conway-1.21.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))))

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 (AllegraUTXO era) = AllegraUtxoPredFailure era
type PredicateFailure (AllegraUTXOW era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type PredicateFailure (AllegraUTXOW era) = ShelleyUtxowPredFailure era
type PredicateFailure (AlonzoBBODY era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type PredicateFailure (AlonzoBBODY era) = AlonzoBbodyPredFailure era
type PredicateFailure (AlonzoLEDGER era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type PredicateFailure (AlonzoLEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (AlonzoUTXO era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type PredicateFailure (AlonzoUTXO era) = AlonzoUtxoPredFailure era
type PredicateFailure (AlonzoUTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type PredicateFailure (AlonzoUTXOS era) = AlonzoUtxosPredFailure era
type PredicateFailure (AlonzoUTXOW era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type PredicateFailure (AlonzoUTXOW era) = AlonzoUtxowPredFailure era
type PredicateFailure (BabbageLEDGER era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type PredicateFailure (BabbageLEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (BabbageUTXO era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type PredicateFailure (BabbageUTXO era) = BabbageUtxoPredFailure era
type PredicateFailure (BabbageUTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type PredicateFailure (BabbageUTXOS era) = AlonzoUtxosPredFailure era
type PredicateFailure (BabbageUTXOW era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type PredicateFailure (BabbageUTXOW era) = BabbageUtxowPredFailure era
type PredicateFailure (ConwayBBODY era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type PredicateFailure (ConwayBBODY era) = ConwayBbodyPredFailure era
type PredicateFailure (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type PredicateFailure (ConwayCERT era) = ConwayCertPredFailure era
type PredicateFailure (ConwayCERTS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type PredicateFailure (ConwayCERTS era) = ConwayCertsPredFailure era
type PredicateFailure (ConwayDELEG era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type PredicateFailure (ConwayDELEG era) = ConwayDelegPredFailure era
type PredicateFailure (ConwayENACT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type PredicateFailure (ConwayENACT era) = Void
type PredicateFailure (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type PredicateFailure (ConwayEPOCH era) = Void
type PredicateFailure (ConwayGOV era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type PredicateFailure (ConwayGOV era) = ConwayGovPredFailure era
type PredicateFailure (ConwayGOVCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type PredicateFailure (ConwayGOVCERT era) = ConwayGovCertPredFailure era
type PredicateFailure (ConwayHARDFORK era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type PredicateFailure (ConwayHARDFORK era) = Void
type PredicateFailure (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type PredicateFailure (ConwayLEDGER era) = ConwayLedgerPredFailure era
type PredicateFailure (ConwayMEMPOOL era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type PredicateFailure (ConwayMEMPOOL era) = ConwayLedgerPredFailure era
type PredicateFailure (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type PredicateFailure (ConwayNEWEPOCH era) = Void
type PredicateFailure (ConwayRATIFY era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type PredicateFailure (ConwayRATIFY era) = Void
type PredicateFailure (ConwayTICKF era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type PredicateFailure (ConwayTICKF era) = ConwayTickfPredFailure era
type PredicateFailure (ConwayUTXO era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type PredicateFailure (ConwayUTXO era) = ConwayUtxoPredFailure era
type PredicateFailure (ConwayUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type PredicateFailure (ConwayUTXOS era) = ConwayUtxosPredFailure era
type PredicateFailure (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type PredicateFailure (ConwayUTXOW era) = ConwayUtxowPredFailure era
type PredicateFailure (ShelleyBBODY era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type PredicateFailure (ShelleyBBODY era) = ShelleyBbodyPredFailure era
type PredicateFailure (ShelleyDELEG era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type PredicateFailure (ShelleyDELEG era) = ShelleyDelegPredFailure era
type PredicateFailure (ShelleyDELEGS era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type PredicateFailure (ShelleyDELEGS era) = ShelleyDelegsPredFailure era
type PredicateFailure (ShelleyDELPL era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type PredicateFailure (ShelleyDELPL era) = ShelleyDelplPredFailure era
type PredicateFailure (ShelleyEPOCH era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch type PredicateFailure (ShelleyEPOCH era) = Void
type PredicateFailure (ShelleyLEDGER era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type PredicateFailure (ShelleyLEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (ShelleyLEDGERS era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type PredicateFailure (ShelleyLEDGERS era) = ShelleyLedgersPredFailure era
type PredicateFailure (ShelleyMIR era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Mir type PredicateFailure (ShelleyMIR era) = Void
type PredicateFailure (ShelleyNEWEPOCH era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type PredicateFailure (ShelleyNEWEPOCH era) = Void
type PredicateFailure (ShelleyNEWPP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type PredicateFailure (ShelleyNEWPP era) = Void
type PredicateFailure (ShelleyPOOL era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type PredicateFailure (ShelleyPOOL era) = ShelleyPoolPredFailure era
type PredicateFailure (ShelleyPOOLREAP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type PredicateFailure (ShelleyPOOLREAP era) = Void
type PredicateFailure (ShelleyPPUP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type PredicateFailure (ShelleyPPUP era) = ShelleyPpupPredFailure era
type PredicateFailure (ShelleyRUPD era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type PredicateFailure (ShelleyRUPD era) = Void
type PredicateFailure (ShelleySNAP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap type PredicateFailure (ShelleySNAP era) = Void
type PredicateFailure (ShelleyTICK era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure (ShelleyTICK era) = Void
type PredicateFailure (ShelleyTICKF era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure (ShelleyTICKF era) = Void
type PredicateFailure (ShelleyUPEC era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type PredicateFailure (ShelleyUPEC era) = Void
type PredicateFailure (ShelleyUTXO era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type PredicateFailure (ShelleyUTXO era) = ShelleyUtxoPredFailure era
type PredicateFailure (ShelleyUTXOW era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type PredicateFailure (ShelleyUTXOW era) = ShelleyUtxowPredFailure era
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

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 (AllegraUTXO era) = AllegraUtxoPredFailure era
type PredicateFailure (AllegraUTXOW era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type PredicateFailure (AllegraUTXOW era) = ShelleyUtxowPredFailure era
type PredicateFailure (AlonzoBBODY era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type PredicateFailure (AlonzoBBODY era) = AlonzoBbodyPredFailure era
type PredicateFailure (AlonzoLEDGER era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type PredicateFailure (AlonzoLEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (AlonzoUTXO era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type PredicateFailure (AlonzoUTXO era) = AlonzoUtxoPredFailure era
type PredicateFailure (AlonzoUTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type PredicateFailure (AlonzoUTXOS era) = AlonzoUtxosPredFailure era
type PredicateFailure (AlonzoUTXOW era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type PredicateFailure (AlonzoUTXOW era) = AlonzoUtxowPredFailure era
type PredicateFailure (BabbageLEDGER era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type PredicateFailure (BabbageLEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (BabbageUTXO era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type PredicateFailure (BabbageUTXO era) = BabbageUtxoPredFailure era
type PredicateFailure (BabbageUTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type PredicateFailure (BabbageUTXOS era) = AlonzoUtxosPredFailure era
type PredicateFailure (BabbageUTXOW era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type PredicateFailure (BabbageUTXOW era) = BabbageUtxowPredFailure era
type PredicateFailure (ConwayBBODY era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type PredicateFailure (ConwayBBODY era) = ConwayBbodyPredFailure era
type PredicateFailure (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type PredicateFailure (ConwayCERT era) = ConwayCertPredFailure era
type PredicateFailure (ConwayCERTS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type PredicateFailure (ConwayCERTS era) = ConwayCertsPredFailure era
type PredicateFailure (ConwayDELEG era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type PredicateFailure (ConwayDELEG era) = ConwayDelegPredFailure era
type PredicateFailure (ConwayENACT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type PredicateFailure (ConwayENACT era) = Void
type PredicateFailure (ConwayEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type PredicateFailure (ConwayEPOCH era) = Void
type PredicateFailure (ConwayGOV era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type PredicateFailure (ConwayGOV era) = ConwayGovPredFailure era
type PredicateFailure (ConwayGOVCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type PredicateFailure (ConwayGOVCERT era) = ConwayGovCertPredFailure era
type PredicateFailure (ConwayHARDFORK era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type PredicateFailure (ConwayHARDFORK era) = Void
type PredicateFailure (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type PredicateFailure (ConwayLEDGER era) = ConwayLedgerPredFailure era
type PredicateFailure (ConwayMEMPOOL era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type PredicateFailure (ConwayMEMPOOL era) = ConwayLedgerPredFailure era
type PredicateFailure (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type PredicateFailure (ConwayNEWEPOCH era) = Void
type PredicateFailure (ConwayRATIFY era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type PredicateFailure (ConwayRATIFY era) = Void
type PredicateFailure (ConwayTICKF era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type PredicateFailure (ConwayTICKF era) = ConwayTickfPredFailure era
type PredicateFailure (ConwayUTXO era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type PredicateFailure (ConwayUTXO era) = ConwayUtxoPredFailure era
type PredicateFailure (ConwayUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type PredicateFailure (ConwayUTXOS era) = ConwayUtxosPredFailure era
type PredicateFailure (ConwayUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type PredicateFailure (ConwayUTXOW era) = ConwayUtxowPredFailure era
type PredicateFailure (ShelleyBBODY era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type PredicateFailure (ShelleyBBODY era) = ShelleyBbodyPredFailure era
type PredicateFailure (ShelleyDELEG era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type PredicateFailure (ShelleyDELEG era) = ShelleyDelegPredFailure era
type PredicateFailure (ShelleyDELEGS era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type PredicateFailure (ShelleyDELEGS era) = ShelleyDelegsPredFailure era
type PredicateFailure (ShelleyDELPL era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type PredicateFailure (ShelleyDELPL era) = ShelleyDelplPredFailure era
type PredicateFailure (ShelleyEPOCH era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch type PredicateFailure (ShelleyEPOCH era) = Void
type PredicateFailure (ShelleyLEDGER era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type PredicateFailure (ShelleyLEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (ShelleyLEDGERS era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type PredicateFailure (ShelleyLEDGERS era) = ShelleyLedgersPredFailure era
type PredicateFailure (ShelleyMIR era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Mir type PredicateFailure (ShelleyMIR era) = Void
type PredicateFailure (ShelleyNEWEPOCH era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type PredicateFailure (ShelleyNEWEPOCH era) = Void
type PredicateFailure (ShelleyNEWPP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type PredicateFailure (ShelleyNEWPP era) = Void
type PredicateFailure (ShelleyPOOL era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type PredicateFailure (ShelleyPOOL era) = ShelleyPoolPredFailure era
type PredicateFailure (ShelleyPOOLREAP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type PredicateFailure (ShelleyPOOLREAP era) = Void
type PredicateFailure (ShelleyPPUP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type PredicateFailure (ShelleyPPUP era) = ShelleyPpupPredFailure era
type PredicateFailure (ShelleyRUPD era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type PredicateFailure (ShelleyRUPD era) = Void
type PredicateFailure (ShelleySNAP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap type PredicateFailure (ShelleySNAP era) = Void
type PredicateFailure (ShelleyTICK era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure (ShelleyTICK era) = Void
type PredicateFailure (ShelleyTICKF era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure (ShelleyTICKF era) = Void
type PredicateFailure (ShelleyUPEC era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type PredicateFailure (ShelleyUPEC era) = Void
type PredicateFailure (ShelleyUTXO era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type PredicateFailure (ShelleyUTXO era) = ShelleyUtxoPredFailure era
type PredicateFailure (ShelleyUTXOW era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type PredicateFailure (ShelleyUTXOW era) = ShelleyUtxowPredFailure era
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 "NEWEPOCH" ConwayEpochEvent ConwayEra Source #

Instance details

Methods

injectEvent ∷ ConwayEpochEvent ConwayEra → EraRuleEvent "NEWEPOCH" ConwayEra Source #

InjectRuleEvent "TICK" ConwayEpochEvent ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Rules

Methods

injectEvent ∷ ConwayEpochEvent ConwayEra → EraRuleEvent "TICK" ConwayEra Source #

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

Instance details

Methods

rnf ∷ ConwayEpochEvent era → () #

Generic (ConwayEpochEvent era) Source #

Instance details

Associated Types

type Rep (ConwayEpochEvent era)

Instance details

Methods

from ∷ ConwayEpochEvent era → Rep (ConwayEpochEvent era) x #

to ∷ Rep (ConwayEpochEvent era) x → ConwayEpochEvent era #

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

Instance details

Methods

(==) ∷ ConwayEpochEvent era → ConwayEpochEvent era → Bool #

(/=) ∷ ConwayEpochEvent era → ConwayEpochEvent era → Bool #

type Rep (ConwayEpochEvent era) Source #

Instance details

data ConwayEPOCH era Source #

Instances

Instances details

(EraTxOut era, RunConwayRatify era, ConwayEraCertState era, ConwayEraGov era, EraStake era, EraCertState 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) ~ (), State (EraRule "POOLREAP" era) ~ ShelleyPoolreapState era, Signal (EraRule "POOLREAP" era) ~ EpochNo, 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

Associated Types

type State (ConwayEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type State (ConwayEPOCH era) = EpochState era
type Signal (ConwayEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type Signal (ConwayEPOCH era) = EpochNo
type Environment (ConwayEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type Environment (ConwayEPOCH era) = ()
type BaseM (ConwayEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type BaseM (ConwayEPOCH era) = ShelleyBase
type Event (ConwayEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type Event (ConwayEPOCH era) = ConwayEpochEvent era
type PredicateFailure (ConwayEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type PredicateFailure (ConwayEPOCH era) = Void

Methods

initialRules ∷ [InitialRule (ConwayEPOCH era)] Source #

transitionRules ∷ [TransitionRule (ConwayEPOCH era)] Source #

assertions ∷ [Assertion (ConwayEPOCH era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayEPOCH era) → String Source #

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

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayEPOCH era) → PredicateFailure (ConwayNEWEPOCH era) Source #

wrapEvent ∷ Event (ConwayEPOCH era) → Event (ConwayNEWEPOCH era) Source #

(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

Methods

wrapFailed ∷ PredicateFailure (ConwayHARDFORK era) → PredicateFailure (ConwayEPOCH era) Source #

wrapEvent ∷ Event (ConwayHARDFORK era) → Event (ConwayEPOCH era) Source #

(EraGov era, PredicateFailure (ConwayRATIFY era) ~ Void, STS (ConwayRATIFY era), BaseM (ConwayRATIFY era) ~ ShelleyBase, Event (ConwayRATIFY era) ~ Void) ⇒ Embed (ConwayRATIFY era) (ConwayEPOCH era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayRATIFY era) → PredicateFailure (ConwayEPOCH era) Source #

wrapEvent ∷ Event (ConwayRATIFY era) → Event (ConwayEPOCH era) Source #

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

Instance details

Methods

wrapFailed ∷ PredicateFailure (ShelleyPOOLREAP era) → PredicateFailure (ConwayEPOCH era) Source #

wrapEvent ∷ Event (ShelleyPOOLREAP era) → Event (ConwayEPOCH era) Source #

(EraTxOut era, EraStake era, EraCertState era, Event (EraRule "SNAP" era) ~ SnapEvent era) ⇒ Embed (ShelleySNAP era) (ConwayEPOCH era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (ShelleySNAP era) → PredicateFailure (ConwayEPOCH era) Source #

wrapEvent ∷ Event (ShelleySNAP era) → Event (ConwayEPOCH era) Source #

type BaseM (ConwayEPOCH era) Source #

Instance details

type BaseM (ConwayEPOCH era) = ShelleyBase

type Environment (ConwayEPOCH era) Source #

Instance details

type Environment (ConwayEPOCH era) = ()

type Event (ConwayEPOCH era) Source #

Instance details

type Event (ConwayEPOCH era) = ConwayEpochEvent era

type PredicateFailure (ConwayEPOCH era) Source #

Instance details

type PredicateFailure (ConwayEPOCH era) = Void

type Signal (ConwayEPOCH era) Source #

Instance details

type Signal (ConwayEPOCH era) = EpochNo

type State (ConwayEPOCH era) Source #

Instance details

type State (ConwayEPOCH era) = EpochState era

data ConwayHARDFORK era Source #

Instances

Instances details

(EraGov era, EraStake era, EraCertState era, ConwayEraCertState era) ⇒ STS (ConwayHARDFORK era) Source #

Instance details

Associated Types

type State (ConwayHARDFORK era)
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type State (ConwayHARDFORK era) = EpochState era
type Signal (ConwayHARDFORK era)
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type Signal (ConwayHARDFORK era) = ProtVer
type Environment (ConwayHARDFORK era)
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type Environment (ConwayHARDFORK era) = ()
type BaseM (ConwayHARDFORK era)
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type BaseM (ConwayHARDFORK era) = ShelleyBase
type Event (ConwayHARDFORK era)
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type Event (ConwayHARDFORK era) = ConwayHardForkEvent era
type PredicateFailure (ConwayHARDFORK era)
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type PredicateFailure (ConwayHARDFORK era) = Void

Methods

initialRules ∷ [InitialRule (ConwayHARDFORK era)] Source #

transitionRules ∷ [TransitionRule (ConwayHARDFORK era)] Source #

assertions ∷ [Assertion (ConwayHARDFORK era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayHARDFORK era) → String Source #

(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

Methods

wrapFailed ∷ PredicateFailure (ConwayHARDFORK era) → PredicateFailure (ConwayEPOCH era) Source #

wrapEvent ∷ Event (ConwayHARDFORK era) → Event (ConwayEPOCH era) Source #

type BaseM (ConwayHARDFORK era) Source #

Instance details

type BaseM (ConwayHARDFORK era) = ShelleyBase

type Environment (ConwayHARDFORK era) Source #

Instance details

type Environment (ConwayHARDFORK era) = ()

type Event (ConwayHARDFORK era) Source #

Instance details

type Event (ConwayHARDFORK era) = ConwayHardForkEvent era

type PredicateFailure (ConwayHARDFORK era) Source #

Instance details

type PredicateFailure (ConwayHARDFORK era) = Void

type Signal (ConwayHARDFORK era) Source #

Instance details

type Signal (ConwayHARDFORK era) = ProtVer

type State (ConwayHARDFORK era) Source #

Instance details

ConwayHardForkEvent ProtVer

type State (ConwayHARDFORK era) = EpochState era

newtype ConwayHardForkEvent era Source #

Constructors

Instances

Instances details

InjectRuleEvent "EPOCH" ConwayHardForkEvent ConwayEra Source #

Instance details

Methods

injectEvent ∷ ConwayHardForkEvent ConwayEra → EraRuleEvent "EPOCH" ConwayEra Source #

InjectRuleEvent "NEWEPOCH" ConwayHardForkEvent ConwayEra Source #

Instance details

Methods

injectEvent ∷ ConwayHardForkEvent ConwayEra → EraRuleEvent "NEWEPOCH" ConwayEra Source #

InjectRuleEvent "TICK" ConwayHardForkEvent ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Rules

Methods

injectEvent ∷ ConwayHardForkEvent ConwayEra → EraRuleEvent "TICK" ConwayEra Source #

NFData (ConwayHardForkEvent era) Source #

Instance details

Methods

rnf ∷ ConwayHardForkEvent era → () #

Generic (ConwayHardForkEvent era) Source #

Instance details

Associated Types

type Rep (ConwayHardForkEvent era)
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.21.0.0-inplace" 'True) (C1 ('MetaCons "ConwayHardForkEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtVer)))

Methods

from ∷ ConwayHardForkEvent era → Rep (ConwayHardForkEvent era) x #

to ∷ Rep (ConwayHardForkEvent era) x → ConwayHardForkEvent era #

Eq (ConwayHardForkEvent era) Source #

Instance details

Methods

(==) ∷ ConwayHardForkEvent era → ConwayHardForkEvent era → Bool #

(/=) ∷ ConwayHardForkEvent era → ConwayHardForkEvent era → Bool #

type Rep (ConwayHardForkEvent era) Source #

Instance details

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

data ConwayLedgerEvent era Source #

Constructors

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

Instances

Instances details

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

Instance details

Methods

rnf ∷ ConwayLedgerEvent era → () #

Generic (ConwayLedgerEvent era) Source #

Instance details

Associated Types

type Rep (ConwayLedgerEvent era)

Instance details

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

Methods

from ∷ ConwayLedgerEvent era → Rep (ConwayLedgerEvent era) x #

to ∷ Rep (ConwayLedgerEvent era) x → ConwayLedgerEvent era #

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

Instance details

Methods

(==) ∷ ConwayLedgerEvent era → ConwayLedgerEvent era → Bool #

(/=) ∷ ConwayLedgerEvent era → ConwayLedgerEvent era → Bool #

type Rep (ConwayLedgerEvent era) Source #

Instance details

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

data ConwayLEDGER era Source #

Instances

Instances details

(AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, GovState era ~ ConwayGovState era, Embed (EraRule "UTXOW" era) (ConwayLEDGER era), Embed (EraRule "GOV" era) (ConwayLEDGER era), Embed (EraRule "CERTS" era) (ConwayLEDGER era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Signal (EraRule "UTXOW" era) ~ Tx 'TopTx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, ConwayEraCertState era, EraCertState era, EraRuleFailure "LEDGER" era ~ ConwayLedgerPredFailure era, EraRule "LEDGER" era ~ ConwayLEDGER era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era) ⇒ STS (ConwayLEDGER era) Source #

Instance details

Associated Types

type State (ConwayLEDGER era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type State (ConwayLEDGER era) = LedgerState era
type Signal (ConwayLEDGER era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type Signal (ConwayLEDGER era) = Tx 'TopTx era
type Environment (ConwayLEDGER era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type Environment (ConwayLEDGER era) = LedgerEnv era
type BaseM (ConwayLEDGER era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type BaseM (ConwayLEDGER era) = ShelleyBase
type Event (ConwayLEDGER era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type Event (ConwayLEDGER era) = ConwayLedgerEvent era
type PredicateFailure (ConwayLEDGER era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type PredicateFailure (ConwayLEDGER era) = ConwayLedgerPredFailure era

Methods

initialRules ∷ [InitialRule (ConwayLEDGER era)] Source #

transitionRules ∷ [TransitionRule (ConwayLEDGER era)] Source #

assertions ∷ [Assertion (ConwayLEDGER era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayLEDGER era) → String Source #

(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, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era, EraRuleFailure "CERT" era ~ ConwayCertPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era, EraRule "CERTS" era ~ ConwayCERTS era, EraCertState era, ConwayEraCertState era) ⇒ Embed (ConwayCERTS era) (ConwayLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayCERTS era) → PredicateFailure (ConwayLEDGER era) Source #

wrapEvent ∷ Event (ConwayCERTS era) → Event (ConwayLEDGER era) Source #

(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, EraCertState era, ConwayEraCertState era) ⇒ Embed (ConwayDELEG era) (ConwayLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayDELEG era) → PredicateFailure (ConwayLEDGER era) Source #

wrapEvent ∷ Event (ConwayDELEG era) → Event (ConwayLEDGER era) Source #

(ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov 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, EraCertState era, ConwayEraCertState era) ⇒ Embed (ConwayGOV era) (ConwayLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayGOV era) → PredicateFailure (ConwayLEDGER era) Source #

wrapEvent ∷ Event (ConwayGOV era) → Event (ConwayLEDGER era) Source #

(AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, BaseM (EraRule "CERTS" era) ~ ShelleyBase, BaseM (EraRule "GOV" era) ~ ShelleyBase, BaseM (EraRule "UTXOW" era) ~ ShelleyBase, Embed (EraRule "CERTS" era) (ConwayLEDGER era), Embed (EraRule "GOV" era) (ConwayLEDGER era), Embed (EraRule "UTXOW" era) (ConwayLEDGER era), Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "LEDGER" era) ~ LedgerEnv era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "LEDGER" era) ~ LedgerState era, GovState era ~ ConwayGovState era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, Signal (EraRule "UTXOW" era) ~ Tx 'TopTx era, Signal (EraRule "LEDGER" era) ~ Tx 'TopTx era, ConwayEraCertState era, EraRule "LEDGER" era ~ ConwayLEDGER era, EraRuleFailure "LEDGER" era ~ ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era) ⇒ Embed (ConwayLEDGER era) (ConwayMEMPOOL era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayLEDGER era) → PredicateFailure (ConwayMEMPOOL era) Source #

wrapEvent ∷ Event (ConwayLEDGER era) → Event (ConwayMEMPOOL era) Source #

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

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayLEDGER era) → PredicateFailure (ShelleyLEDGERS era) Source #

wrapEvent ∷ Event (ConwayLEDGER era) → Event (ShelleyLEDGERS 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 'TopTx 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

Methods

wrapFailed ∷ PredicateFailure (ConwayUTXOW era) → PredicateFailure (ConwayLEDGER era) Source #

wrapEvent ∷ Event (ConwayUTXOW era) → Event (ConwayLEDGER era) Source #

type BaseM (ConwayLEDGER era) Source #

Instance details

type BaseM (ConwayLEDGER era) = ShelleyBase

type Environment (ConwayLEDGER era) Source #

Instance details

type Environment (ConwayLEDGER era) = LedgerEnv era

type Event (ConwayLEDGER era) Source #

Instance details

type Event (ConwayLEDGER era) = ConwayLedgerEvent era

type PredicateFailure (ConwayLEDGER era) Source #

Instance details

type PredicateFailure (ConwayLEDGER era) = ConwayLedgerPredFailure era

type Signal (ConwayLEDGER era) Source #

Instance details

type Signal (ConwayLEDGER era) = Tx 'TopTx era

type State (ConwayLEDGER era) Source #

Instance details

type State (ConwayLEDGER era) = LedgerState era

data ConwayLedgerPredFailure era Source #

Constructors

ConwayUtxowFailure (PredicateFailure (EraRule "UTXOW" era))
ConwayCertsFailure (PredicateFailure (EraRule "CERTS" era))
ConwayGovFailure (PredicateFailure (EraRule "GOV" era))
ConwayWdrlNotDelegatedToDRep (NonEmpty (KeyHash 'Staking))
ConwayTreasuryValueMismatch (Mismatch 'RelEQ Coin)
ConwayTxRefScriptsSizeTooBig (Mismatch 'RelLTEQ Int)
ConwayMempoolFailure Text
ConwayWithdrawalsMissingAccounts Withdrawals
ConwayIncompleteWithdrawals Withdrawals

Instances

Instances details

InjectRuleFailure "BBODY" ConwayLedgerPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayLedgerPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "LEDGER" ConwayLedgerPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayLedgerPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "LEDGERS" ConwayLedgerPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayLedgerPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #

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

Instance details

Methods

decCBOR ∷ Decoder s (ConwayLedgerPredFailure era) Source #

dropCBOR ∷ Proxy (ConwayLedgerPredFailure era) → Decoder s () Source #

label ∷ Proxy (ConwayLedgerPredFailure era) → Text Source #

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

Instance details

Methods

encCBOR ∷ ConwayLedgerPredFailure era → Encoding Source #

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

Instance details

Methods

rnf ∷ ConwayLedgerPredFailure era → () #

Generic (ConwayLedgerPredFailure era) Source #

Instance details

Associated Types

type Rep (ConwayLedgerPredFailure era)

Instance details

Methods

from ∷ ConwayLedgerPredFailure era → Rep (ConwayLedgerPredFailure era) x #

to ∷ Rep (ConwayLedgerPredFailure era) x → ConwayLedgerPredFailure era #

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

Instance details

Methods

showsPrec ∷ Int → ConwayLedgerPredFailure era → ShowS #

show ∷ ConwayLedgerPredFailure era → String #

showList ∷ [ConwayLedgerPredFailure era] → ShowS #

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

Instance details

Methods

(==) ∷ ConwayLedgerPredFailure era → ConwayLedgerPredFailure era → Bool #

(/=) ∷ ConwayLedgerPredFailure era → ConwayLedgerPredFailure era → Bool #

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

Instance details

Methods

noThunks ∷ Context → ConwayLedgerPredFailure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayLedgerPredFailure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayLedgerPredFailure era) → String Source #

type Rep (ConwayLedgerPredFailure era) Source #

Instance details

shelleyToConwayLedgerPredFailure ∷ ShelleyLedgerPredFailure era → ConwayLedgerPredFailure era Source #

data ConwayMEMPOOL era Source #

Instances

Instances details

(EraTx era, ConwayEraTxBody era, ConwayEraGov era, ConwayEraCertState era, EraStake era, EraCertState era, Embed (EraRule "LEDGER" era) (ConwayMEMPOOL era), State (EraRule "LEDGER" era) ~ LedgerState era, Eq (PredicateFailure (EraRule "CERTS" era)), Eq (PredicateFailure (EraRule "GOV" era)), Eq (PredicateFailure (EraRule "UTXOW" era)), Show (PredicateFailure (EraRule "CERTS" era)), Show (PredicateFailure (EraRule "GOV" era)), Show (PredicateFailure (EraRule "UTXOW" era)), Environment (EraRule "LEDGER" era) ~ LedgerEnv era, Tx 'TopTx era ~ Signal (EraRule "LEDGER" era)) ⇒ STS (ConwayMEMPOOL era) Source #

Instance details

Associated Types

type State (ConwayMEMPOOL era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type State (ConwayMEMPOOL era) = LedgerState era
type Signal (ConwayMEMPOOL era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type Signal (ConwayMEMPOOL era) = Tx 'TopTx era
type Environment (ConwayMEMPOOL era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type Environment (ConwayMEMPOOL era) = LedgerEnv era
type BaseM (ConwayMEMPOOL era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type BaseM (ConwayMEMPOOL era) = ShelleyBase
type Event (ConwayMEMPOOL era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type Event (ConwayMEMPOOL era) = ConwayLedgerEvent era
type PredicateFailure (ConwayMEMPOOL era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type PredicateFailure (ConwayMEMPOOL era) = ConwayLedgerPredFailure era

Methods

initialRules ∷ [InitialRule (ConwayMEMPOOL era)] Source #

transitionRules ∷ [TransitionRule (ConwayMEMPOOL era)] Source #

assertions ∷ [Assertion (ConwayMEMPOOL era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayMEMPOOL era) → String Source #

(AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, BaseM (EraRule "CERTS" era) ~ ShelleyBase, BaseM (EraRule "GOV" era) ~ ShelleyBase, BaseM (EraRule "UTXOW" era) ~ ShelleyBase, Embed (EraRule "CERTS" era) (ConwayLEDGER era), Embed (EraRule "GOV" era) (ConwayLEDGER era), Embed (EraRule "UTXOW" era) (ConwayLEDGER era), Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "LEDGER" era) ~ LedgerEnv era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "LEDGER" era) ~ LedgerState era, GovState era ~ ConwayGovState era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, Signal (EraRule "UTXOW" era) ~ Tx 'TopTx era, Signal (EraRule "LEDGER" era) ~ Tx 'TopTx era, ConwayEraCertState era, EraRule "LEDGER" era ~ ConwayLEDGER era, EraRuleFailure "LEDGER" era ~ ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era) ⇒ Embed (ConwayLEDGER era) (ConwayMEMPOOL era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayLEDGER era) → PredicateFailure (ConwayMEMPOOL era) Source #

wrapEvent ∷ Event (ConwayLEDGER era) → Event (ConwayMEMPOOL era) Source #

type BaseM (ConwayMEMPOOL era) Source #

Instance details

type BaseM (ConwayMEMPOOL era) = ShelleyBase

type Environment (ConwayMEMPOOL era) Source #

Instance details

type Environment (ConwayMEMPOOL era) = LedgerEnv era

type Event (ConwayMEMPOOL era) Source #

Instance details

type Event (ConwayMEMPOOL era) = ConwayLedgerEvent era

type PredicateFailure (ConwayMEMPOOL era) Source #

Instance details

type PredicateFailure (ConwayMEMPOOL era) = ConwayLedgerPredFailure era

type Signal (ConwayMEMPOOL era) Source #

Instance details

type Signal (ConwayMEMPOOL era) = Tx 'TopTx era

type State (ConwayMEMPOOL era) Source #

Instance details

type State (ConwayMEMPOOL era) = LedgerState era

data ConwayNewEpochEvent era Source #

Constructors

DeltaRewardEvent !(Event (EraRule "RUPD" era))
RestrainedRewards !EpochNo !(Map (Credential 'Staking) (Set Reward)) !(Set (Credential 'Staking))
TotalRewardEvent !EpochNo !(Map (Credential 'Staking) (Set Reward))
EpochEvent !(Event (EraRule "EPOCH" era))
TotalAdaPotsEvent !AdaPots

Instances

Instances details

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

Instance details

Methods

rnf ∷ ConwayNewEpochEvent era → () #

Generic (ConwayNewEpochEvent era) Source #

Instance details

Associated Types

type Rep (ConwayNewEpochEvent era)

Instance details

Methods

from ∷ ConwayNewEpochEvent era → Rep (ConwayNewEpochEvent era) x #

to ∷ Rep (ConwayNewEpochEvent era) x → ConwayNewEpochEvent era #

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

Instance details

Methods

(==) ∷ ConwayNewEpochEvent era → ConwayNewEpochEvent era → Bool #

(/=) ∷ ConwayNewEpochEvent era → ConwayNewEpochEvent era → Bool #

type Rep (ConwayNewEpochEvent era) Source #

Instance details

data ConwayNEWEPOCH era Source #

Instances

Instances details

(EraTxOut era, ConwayEraGov era, EraStake era, EraCertState 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)), Eq (PredicateFailure (ConwayNEWEPOCH era)), Show (PredicateFailure (ConwayNEWEPOCH era))) ⇒ STS (ConwayNEWEPOCH era) Source #

Instance details

Associated Types

type State (ConwayNEWEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type State (ConwayNEWEPOCH era) = NewEpochState era
type Signal (ConwayNEWEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type Signal (ConwayNEWEPOCH era) = EpochNo
type Environment (ConwayNEWEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type Environment (ConwayNEWEPOCH era) = ()
type BaseM (ConwayNEWEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type BaseM (ConwayNEWEPOCH era) = ShelleyBase
type Event (ConwayNEWEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type Event (ConwayNEWEPOCH era) = ConwayNewEpochEvent era
type PredicateFailure (ConwayNEWEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type PredicateFailure (ConwayNEWEPOCH era) = Void

Methods

initialRules ∷ [InitialRule (ConwayNEWEPOCH era)] Source #

transitionRules ∷ [TransitionRule (ConwayNEWEPOCH era)] Source #

assertions ∷ [Assertion (ConwayNEWEPOCH era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayNEWEPOCH era) → String Source #

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

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayEPOCH era) → PredicateFailure (ConwayNEWEPOCH era) Source #

wrapEvent ∷ Event (ConwayEPOCH era) → Event (ConwayNEWEPOCH era) Source #

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

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayNEWEPOCH era) → PredicateFailure (ShelleyTICK era) Source #

wrapEvent ∷ Event (ConwayNEWEPOCH era) → Event (ShelleyTICK era) Source #

type BaseM (ConwayNEWEPOCH era) Source #

Instance details

type BaseM (ConwayNEWEPOCH era) = ShelleyBase

type Environment (ConwayNEWEPOCH era) Source #

Instance details

type Environment (ConwayNEWEPOCH era) = ()

type Event (ConwayNEWEPOCH era) Source #

Instance details

type Event (ConwayNEWEPOCH era) = ConwayNewEpochEvent era

type PredicateFailure (ConwayNEWEPOCH era) Source #

Instance details

type PredicateFailure (ConwayNEWEPOCH era) = Void

type Signal (ConwayNEWEPOCH era) Source #

Instance details

type Signal (ConwayNEWEPOCH era) = EpochNo

type State (ConwayNEWEPOCH era) Source #

Instance details

type State (ConwayNEWEPOCH era) = NewEpochState era

data ConwayTICKF era Source #

Instances

Instances details

EraGov era ⇒ STS (ConwayTICKF era) Source #

Instance details

Associated Types

type State (ConwayTICKF era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type State (ConwayTICKF era) = NewEpochState era
type Signal (ConwayTICKF era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type Signal (ConwayTICKF era) = SlotNo
type Environment (ConwayTICKF era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type Environment (ConwayTICKF era) = ()
type BaseM (ConwayTICKF era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type BaseM (ConwayTICKF era) = ShelleyBase
type Event (ConwayTICKF era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type Event (ConwayTICKF era) = ConwayTickfEvent era
type PredicateFailure (ConwayTICKF era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type PredicateFailure (ConwayTICKF era) = ConwayTickfPredFailure era

Methods

initialRules ∷ [InitialRule (ConwayTICKF era)] Source #

transitionRules ∷ [TransitionRule (ConwayTICKF era)] Source #

assertions ∷ [Assertion (ConwayTICKF era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayTICKF era) → String Source #

type BaseM (ConwayTICKF era) Source #

Instance details

type BaseM (ConwayTICKF era) = ShelleyBase

type Environment (ConwayTICKF era) Source #

Instance details

type Environment (ConwayTICKF era) = ()

type Event (ConwayTICKF era) Source #

Instance details

type Event (ConwayTICKF era) = ConwayTickfEvent era

type PredicateFailure (ConwayTICKF era) Source #

Instance details

type PredicateFailure (ConwayTICKF era) = ConwayTickfPredFailure era

type Signal (ConwayTICKF era) Source #

Instance details

type Signal (ConwayTICKF era) = SlotNo

type State (ConwayTICKF era) Source #

Instance details

type State (ConwayTICKF era) = NewEpochState era

data ConwayTickfPredFailure era Source #

Instances

Instances details

Generic (ConwayTickfPredFailure era) Source #

Instance details

Associated Types

type Rep (ConwayTickfPredFailure era)
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.21.0.0-inplace" 'False) (V1 ∷ Type → Type)

Methods

from ∷ ConwayTickfPredFailure era → Rep (ConwayTickfPredFailure era) x #

to ∷ Rep (ConwayTickfPredFailure era) x → ConwayTickfPredFailure era #

Era era ⇒ Show (ConwayTickfPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → ConwayTickfPredFailure era → ShowS #

show ∷ ConwayTickfPredFailure era → String #

showList ∷ [ConwayTickfPredFailure era] → ShowS #

Era era ⇒ Eq (ConwayTickfPredFailure era) Source #

Instance details

Methods

(==) ∷ ConwayTickfPredFailure era → ConwayTickfPredFailure era → Bool #

(/=) ∷ ConwayTickfPredFailure era → ConwayTickfPredFailure era → Bool #

NoThunks (ConwayTickfPredFailure era) Source #

Instance details

Methods

noThunks ∷ Context → ConwayTickfPredFailure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayTickfPredFailure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayTickfPredFailure era) → String Source #

type Rep (ConwayTickfPredFailure era) Source #

Instance details

type Rep (ConwayTickfPredFailure era) = D1 ('MetaData "ConwayTickfPredFailure" "Cardano.Ledger.Conway.Rules.Tickf" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (V1 ∷ Type → Type)

data ConwayTickfEvent era Source #

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

Methods

toJSON ∷ RatifyState era → Value Source #

toEncoding ∷ RatifyState era → Encoding Source #

toJSONList ∷ [RatifyState era] → Value Source #

toEncodingList ∷ [RatifyState era] → Encoding Source #

omitField ∷ RatifyState era → Bool Source #

EraPParams era ⇒ DecCBOR (RatifyState era) Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

decCBOR ∷ Decoder s (RatifyState era) Source #

dropCBOR ∷ Proxy (RatifyState era) → Decoder s () Source #

label ∷ Proxy (RatifyState era) → Text Source #

EraPParams era ⇒ DecShareCBOR (RatifyState era) Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

type Share (RatifyState era)
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal type Share (RatifyState era) = (Interns (Credential 'Staking), Interns (KeyHash 'StakePool), Interns (Credential 'DRepRole), Interns (Credential 'HotCommitteeRole))

Methods

getShare ∷ RatifyState era → Share (RatifyState era) Source #

decShareCBOR ∷ Share (RatifyState era) → Decoder s (RatifyState era) Source #

decSharePlusCBOR ∷ StateT (Share (RatifyState era)) (Decoder s) (RatifyState era) Source #

EraPParams era ⇒ EncCBOR (RatifyState era) Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

encCBOR ∷ RatifyState era → Encoding Source #

EraPParams era ⇒ ToKeyValuePairs (RatifyState era) Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ RatifyState era → [kv] Source #

EraPParams era ⇒ Default (RatifyState era) Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

def ∷ RatifyState era Source #

EraPParams era ⇒ NFData (RatifyState era) Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

rnf ∷ RatifyState era → () #

Generic (RatifyState era) Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

type Rep (RatifyState era)

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.21.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))))

Methods

from ∷ RatifyState era → Rep (RatifyState era) x #

to ∷ Rep (RatifyState era) x → RatifyState era #

EraPParams era ⇒ Show (RatifyState era) Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

showsPrec ∷ Int → RatifyState era → ShowS #

show ∷ RatifyState era → String #

showList ∷ [RatifyState era] → ShowS #

EraPParams era ⇒ Eq (RatifyState era) Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

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

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

EraPParams era ⇒ NoThunks (RatifyState era) Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

noThunks ∷ Context → RatifyState era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → RatifyState era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (RatifyState era) → String Source #

(EraPParams era, NFData (InstantStake era), NFData (Accounts era)) ⇒ NFData (DRepPulser era Identity (RatifyState era)) Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

Methods

rnf ∷ DRepPulser era Identity (RatifyState era) → () #

(EraPParams era, EraStake era, ConwayEraAccounts era) ⇒ Eq (DRepPulser era Identity (RatifyState era)) Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

Methods

(==) ∷ DRepPulser era Identity (RatifyState era) → DRepPulser era Identity (RatifyState era) → Bool #

(/=) ∷ DRepPulser era Identity (RatifyState era) → DRepPulser era Identity (RatifyState era) → Bool #

(EraPParams era, NoThunks (InstantStake era), NoThunks (Accounts era)) ⇒ NoThunks (DRepPulser era Identity (RatifyState era)) Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

Methods

noThunks ∷ Context → DRepPulser era Identity (RatifyState era) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → DRepPulser era Identity (RatifyState era) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (DRepPulser era Identity (RatifyState era)) → String Source #

type Share (RatifyState era) Source #

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.21.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))))

data ConwayRATIFY era Source #

Instances

Instances details

(ConwayEraPParams era, ConwayEraAccounts era, Embed (EraRule "ENACT" era) (ConwayRATIFY era), State (EraRule "ENACT" era) ~ EnactState era, Environment (EraRule "ENACT" era) ~ (), Signal (EraRule "ENACT" era) ~ EnactSignal era) ⇒ STS (ConwayRATIFY era) Source #

Instance details

Associated Types

type State (ConwayRATIFY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type State (ConwayRATIFY era) = RatifyState era
type Signal (ConwayRATIFY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type Signal (ConwayRATIFY era) = RatifySignal era
type Environment (ConwayRATIFY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type Environment (ConwayRATIFY era) = RatifyEnv era
type BaseM (ConwayRATIFY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type BaseM (ConwayRATIFY era) = ShelleyBase
type Event (ConwayRATIFY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type Event (ConwayRATIFY era) = Void
type PredicateFailure (ConwayRATIFY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type PredicateFailure (ConwayRATIFY era) = Void

Methods

initialRules ∷ [InitialRule (ConwayRATIFY era)] Source #

transitionRules ∷ [TransitionRule (ConwayRATIFY era)] Source #

assertions ∷ [Assertion (ConwayRATIFY era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayRATIFY era) → String Source #

EraGov era ⇒ Embed (ConwayENACT era) (ConwayRATIFY era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayENACT era) → PredicateFailure (ConwayRATIFY era) Source #

wrapEvent ∷ Event (ConwayENACT era) → Event (ConwayRATIFY era) Source #

(EraGov era, PredicateFailure (ConwayRATIFY era) ~ Void, STS (ConwayRATIFY era), BaseM (ConwayRATIFY era) ~ ShelleyBase, Event (ConwayRATIFY era) ~ Void) ⇒ Embed (ConwayRATIFY era) (ConwayEPOCH era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayRATIFY era) → PredicateFailure (ConwayEPOCH era) Source #

wrapEvent ∷ Event (ConwayRATIFY era) → Event (ConwayEPOCH era) Source #

type BaseM (ConwayRATIFY era) Source #

Instance details

type BaseM (ConwayRATIFY era) = ShelleyBase

type Environment (ConwayRATIFY era) Source #

Instance details

type Environment (ConwayRATIFY era) = RatifyEnv era

type Event (ConwayRATIFY era) Source #

Instance details

type Event (ConwayRATIFY era) = Void

type PredicateFailure (ConwayRATIFY era) Source #

Instance details

type PredicateFailure (ConwayRATIFY era) = Void

type Signal (ConwayRATIFY era) Source #

Instance details

type Signal (ConwayRATIFY era) = RatifySignal era

type State (ConwayRATIFY era) Source #

Instance details

type State (ConwayRATIFY era) = RatifyState era

committeeAccepted ∷ ConwayEraPParams era ⇒ RatifyEnv era → RatifyState era → GovActionState era → Bool Source #

committeeAcceptedRatio ∷ Map (Credential 'ColdCommitteeRole) EpochNo → Map (Credential 'HotCommitteeRole) Vote → CommitteeState era → EpochNo → Rational Source #

spoAccepted ∷ (ConwayEraPParams era, ConwayEraAccounts era) ⇒ RatifyEnv era → RatifyState era → GovActionState era → Bool Source #

spoAcceptedRatio ∷ ConwayEraAccounts era ⇒ RatifyEnv era → GovActionState era → ProtVer → Rational 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.

dRepAccepted ∷ ConwayEraPParams era ⇒ RatifyEnv era → RatifyState era → GovActionState era → Bool Source #

dRepAcceptedRatio ∷ RatifyEnv era → Map (Credential 'DRepRole) Vote → GovAction era → Rational Source #

acceptedByEveryone ∷ (ConwayEraPParams era, ConwayEraAccounts era) ⇒ RatifyEnv era → RatifyState era → GovActionState era → Bool Source #

prevActionAsExpected ∷ GovActionState era → GovRelation StrictMaybe → 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.

validCommitteeTerm ∷ ConwayEraPParams era ⇒ GovAction era → PParams era → EpochNo → Bool Source #

withdrawalCanWithdraw ∷ GovAction era → Coin → Bool Source #

data ConwayGOV era Source #

Instances

Instances details

(ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, EraRule "GOV" era ~ ConwayGOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era, EraCertState era, ConwayEraCertState era) ⇒ STS (ConwayGOV era) Source #

Instance details

Associated Types

type State (ConwayGOV era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type State (ConwayGOV era) = Proposals era
type Signal (ConwayGOV era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type Signal (ConwayGOV era) = GovSignal era
type Environment (ConwayGOV era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type Environment (ConwayGOV era) = GovEnv era
type BaseM (ConwayGOV era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type BaseM (ConwayGOV era) = ShelleyBase
type Event (ConwayGOV era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type Event (ConwayGOV era) = ConwayGovEvent era
type PredicateFailure (ConwayGOV era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type PredicateFailure (ConwayGOV era) = ConwayGovPredFailure era

Methods

initialRules ∷ [InitialRule (ConwayGOV era)] Source #

transitionRules ∷ [TransitionRule (ConwayGOV era)] Source #

assertions ∷ [Assertion (ConwayGOV era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayGOV era) → String Source #

(ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov 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, EraCertState era, ConwayEraCertState era) ⇒ Embed (ConwayGOV era) (ConwayLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayGOV era) → PredicateFailure (ConwayLEDGER era) Source #

wrapEvent ∷ Event (ConwayGOV era) → Event (ConwayLEDGER era) Source #

type BaseM (ConwayGOV era) Source #

Instance details

type BaseM (ConwayGOV era) = ShelleyBase

type Environment (ConwayGOV era) Source #

Instance details

type Environment (ConwayGOV era) = GovEnv era

type Event (ConwayGOV era) Source #

Instance details

type Event (ConwayGOV era) = ConwayGovEvent era

type PredicateFailure (ConwayGOV era) Source #

Instance details

type PredicateFailure (ConwayGOV era) = ConwayGovPredFailure era

type Signal (ConwayGOV era) Source #

Instance details

type Signal (ConwayGOV era) = GovSignal era

type State (ConwayGOV era) Source #

Instance details

type State (ConwayGOV era) = Proposals era

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 (Set (Credential 'ColdCommitteeRole)) Credentials that are mentioned as members to be both removed and added
ExpirationEpochTooSmall
Fields (Map (Credential 'ColdCommitteeRole) EpochNo) Members for which the expiration epoch has already been reached
InvalidPrevGovActionId (ProposalProcedure era)
VotingOnExpiredGovAction (NonEmpty (Voter, GovActionId))
ProposalCantFollow
Fields (StrictMaybe (GovPurposeId 'HardForkPurpose)) The PrevGovActionId of the HardForkInitiation that fails (Mismatch 'RelGT ProtVer) Its protocol version and the protocal version of the previous gov-action pointed to by the proposal
InvalidPolicyHash
Fields (StrictMaybe ScriptHash) The policy script hash in the proposal (StrictMaybe ScriptHash) The policy script hash of the current constitution
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
UnelectedCommitteeVoters (NonEmpty (Credential 'HotCommitteeRole))	Disallow votes by unelected committee members

Instances

Instances details

InjectRuleFailure "BBODY" ConwayGovPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "GOV" ConwayGovPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovPredFailure ConwayEra → EraRuleFailure "GOV" ConwayEra Source #

InjectRuleFailure "LEDGER" ConwayGovPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "LEDGERS" ConwayGovPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #

EraPParams era ⇒ FromCBOR (ConwayGovPredFailure era) Source #

Instance details

Methods

fromCBOR ∷ Decoder s (ConwayGovPredFailure era) Source #

label ∷ Proxy (ConwayGovPredFailure era) → Text Source #

EraPParams era ⇒ ToCBOR (ConwayGovPredFailure era) Source #

Instance details

Methods

toCBOR ∷ ConwayGovPredFailure era → Encoding Source #

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

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

EraPParams era ⇒ DecCBOR (ConwayGovPredFailure era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (ConwayGovPredFailure era) Source #

dropCBOR ∷ Proxy (ConwayGovPredFailure era) → Decoder s () Source #

label ∷ Proxy (ConwayGovPredFailure era) → Text Source #

EraPParams era ⇒ EncCBOR (ConwayGovPredFailure era) Source #

Instance details

Methods

encCBOR ∷ ConwayGovPredFailure era → Encoding Source #

EraPParams era ⇒ NFData (ConwayGovPredFailure era) Source #

Instance details

Methods

rnf ∷ ConwayGovPredFailure era → () #

Generic (ConwayGovPredFailure era) Source #

Instance details

Associated Types

type Rep (ConwayGovPredFailure era)

Instance details

Methods

from ∷ ConwayGovPredFailure era → Rep (ConwayGovPredFailure era) x #

to ∷ Rep (ConwayGovPredFailure era) x → ConwayGovPredFailure era #

EraPParams era ⇒ Show (ConwayGovPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → ConwayGovPredFailure era → ShowS #

show ∷ ConwayGovPredFailure era → String #

showList ∷ [ConwayGovPredFailure era] → ShowS #

EraPParams era ⇒ Eq (ConwayGovPredFailure era) Source #

Instance details

Methods

(==) ∷ ConwayGovPredFailure era → ConwayGovPredFailure era → Bool #

(/=) ∷ ConwayGovPredFailure era → ConwayGovPredFailure era → Bool #

EraPParams era ⇒ NoThunks (ConwayGovPredFailure era) Source #

Instance details

Methods

noThunks ∷ Context → ConwayGovPredFailure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayGovPredFailure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayGovPredFailure era) → String Source #

type Rep (ConwayGovPredFailure era) Source #

Instance details

data GovEnv era Source #

Constructors

GovEnv
Fields geTxId ∷ TxId geEpoch ∷ EpochNo gePParams ∷ PParams era gePPolicy ∷ StrictMaybe ScriptHash geCertState ∷ CertState era geCommittee ∷ StrictMaybe (Committee era)

Instances

Instances details

(EraGov era, EraPParams era, EraCertState era) ⇒ EncCBOR (GovEnv era) Source #

Instance details

Methods

encCBOR ∷ GovEnv era → Encoding Source #

(NFData (PParams era), Era era, EraCertState era) ⇒ NFData (GovEnv era) Source #

Instance details

Methods

rnf ∷ GovEnv era → () #

Generic (GovEnv era) Source #

Instance details

Associated Types

type Rep (GovEnv era)

Instance details

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

Methods

from ∷ GovEnv era → Rep (GovEnv era) x #

to ∷ Rep (GovEnv era) x → GovEnv era #

(Show (PParams era), Era era, EraCertState era) ⇒ Show (GovEnv era) Source #

Instance details

Methods

showsPrec ∷ Int → GovEnv era → ShowS #

show ∷ GovEnv era → String #

showList ∷ [GovEnv era] → ShowS #

(Eq (PParams era), EraCertState era) ⇒ Eq (GovEnv era) Source #

Instance details

Methods

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

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

type Rep (GovEnv era) Source #

Instance details

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

data GovSignal era Source #

Constructors

GovSignal
Fields gsVotingProcedures ∷ !(VotingProcedures era) gsProposalProcedures ∷ !(OSet (ProposalProcedure era)) gsCertificates ∷ !(StrictSeq (TxCert era))

Instances

Instances details

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

Instance details

Methods

encCBOR ∷ GovSignal era → Encoding Source #

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

Instance details

Methods

rnf ∷ GovSignal era → () #

Generic (GovSignal era) Source #

Instance details

Associated Types

type Rep (GovSignal era)

Instance details

type Rep (GovSignal era) = D1 ('MetaData "GovSignal" "Cardano.Ledger.Conway.Rules.Gov" "cardano-ledger-conway-1.21.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))))))

Methods

from ∷ GovSignal era → Rep (GovSignal era) x #

to ∷ Rep (GovSignal era) x → GovSignal era #

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

Instance details

Methods

showsPrec ∷ Int → GovSignal era → ShowS #

show ∷ GovSignal era → String #

showList ∷ [GovSignal era] → ShowS #

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

Instance details

Methods

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

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

type Rep (GovSignal era) Source #

Instance details

type Rep (GovSignal era) = D1 ('MetaData "GovSignal" "Cardano.Ledger.Conway.Rules.Gov" "cardano-ledger-conway-1.21.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 !TxId !(Set (Voter, GovActionId)) Votes that were replaced in this tx. !(Set (Credential 'DRepRole)) Any votes from these DReps in this or in previous txs are removed

Instances

Instances details

EraPParams era ⇒ NFData (ConwayGovEvent era) Source #

Instance details

Methods

rnf ∷ ConwayGovEvent era → () #

Generic (ConwayGovEvent era) Source #

Instance details

Associated Types

type Rep (ConwayGovEvent era)

Instance details

type Rep (ConwayGovEvent era) = D1 ('MetaData "ConwayGovEvent" "Cardano.Ledger.Conway.Rules.Gov" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "GovNewProposals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Proposals era))) :+: C1 ('MetaCons "GovRemovedVotes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Voter, GovActionId))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential 'DRepRole))))))

Methods

from ∷ ConwayGovEvent era → Rep (ConwayGovEvent era) x #

to ∷ Rep (ConwayGovEvent era) x → ConwayGovEvent era #

EraPParams era ⇒ Eq (ConwayGovEvent era) Source #

Instance details

Methods

(==) ∷ ConwayGovEvent era → ConwayGovEvent era → Bool #

(/=) ∷ ConwayGovEvent era → ConwayGovEvent era → Bool #

type Rep (ConwayGovEvent era) Source #

Instance details

type Rep (ConwayGovEvent era) = D1 ('MetaData "ConwayGovEvent" "Cardano.Ledger.Conway.Rules.Gov" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "GovNewProposals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Proposals era))) :+: C1 ('MetaCons "GovRemovedVotes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Voter, GovActionId))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential 'DRepRole))))))

unelectedCommitteeVoters ∷ StrictMaybe (Committee era) → CommitteeState era → VotingProcedures era → Set (Credential 'HotCommitteeRole) Source #

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 ValidityInterval transaction's validity interval SlotNo current slot
MaxTxSizeUTxO (Mismatch 'RelLTEQ Word32)
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 Network the expected network id (Set RewardAccount) the set of reward addresses with incorrect network IDs
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

Methods

injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "LEDGER" ConwayUtxoPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "LEDGERS" ConwayUtxoPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #

InjectRuleFailure "UTXO" ConwayUtxoPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "UTXO" ConwayEra Source #

InjectRuleFailure "UTXOW" ConwayUtxoPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #

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

Instance details

Methods

decCBOR ∷ Decoder s (ConwayUtxoPredFailure era) Source #

dropCBOR ∷ Proxy (ConwayUtxoPredFailure era) → Decoder s () Source #

label ∷ Proxy (ConwayUtxoPredFailure era) → Text Source #

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

Instance details

Methods

encCBOR ∷ ConwayUtxoPredFailure era → Encoding Source #

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

Instance details

Methods

rnf ∷ ConwayUtxoPredFailure era → () #

Generic (ConwayUtxoPredFailure era) Source #

Instance details

Associated Types

type Rep (ConwayUtxoPredFailure era)

Instance details

Methods

from ∷ ConwayUtxoPredFailure era → Rep (ConwayUtxoPredFailure era) x #

to ∷ Rep (ConwayUtxoPredFailure era) x → ConwayUtxoPredFailure era #

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

Instance details

Methods

showsPrec ∷ Int → ConwayUtxoPredFailure era → ShowS #

show ∷ ConwayUtxoPredFailure era → String #

showList ∷ [ConwayUtxoPredFailure era] → ShowS #

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

Instance details

Methods

(==) ∷ ConwayUtxoPredFailure era → ConwayUtxoPredFailure era → Bool #

(/=) ∷ ConwayUtxoPredFailure era → ConwayUtxoPredFailure era → Bool #

NoThunks (ConwayUtxoPredFailure era) Source #

Instance details

Methods

noThunks ∷ Context → ConwayUtxoPredFailure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayUtxoPredFailure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayUtxoPredFailure era) → String Source #

type Rep (ConwayUtxoPredFailure era) Source #

Instance details

data ConwayUTXO era Source #

Instances

Instances details

(EraTx era, EraUTxO era, ConwayEraTxBody era, AlonzoEraTxWits era, EraRule "UTXO" era ~ ConwayUTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, InjectRuleFailure "UTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "UTXO" BabbageUtxoPredFailure era, InjectRuleFailure "UTXO" ConwayUtxoPredFailure era, Embed (EraRule "UTXOS" era) (ConwayUTXO era), Environment (EraRule "UTXOS" era) ~ UtxoEnv era, State (EraRule "UTXOS" era) ~ UTxOState era, Signal (EraRule "UTXOS" era) ~ Tx 'TopTx era, PredicateFailure (EraRule "UTXO" era) ~ ConwayUtxoPredFailure era, EraCertState era, SafeToHash (TxWits era)) ⇒ STS (ConwayUTXO era) Source #

Instance details

Associated Types

type State (ConwayUTXO era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type State (ConwayUTXO era) = UTxOState era
type Signal (ConwayUTXO era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type Signal (ConwayUTXO era) = Tx 'TopTx era
type Environment (ConwayUTXO era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type Environment (ConwayUTXO era) = UtxoEnv era
type BaseM (ConwayUTXO era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type BaseM (ConwayUTXO era) = ShelleyBase
type Event (ConwayUTXO era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type Event (ConwayUTXO era) = AlonzoUtxoEvent era
type PredicateFailure (ConwayUTXO era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type PredicateFailure (ConwayUTXO era) = ConwayUtxoPredFailure era

Methods

initialRules ∷ [InitialRule (ConwayUTXO era)] Source #

transitionRules ∷ [TransitionRule (ConwayUTXO era)] Source #

assertions ∷ [Assertion (ConwayUTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayUTXO era) → String Source #

(Era era, STS (ConwayUTXO era), PredicateFailure (EraRule "UTXO" era) ~ ConwayUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (ConwayUTXOW era) ~ ShelleyBase, PredicateFailure (ConwayUTXOW era) ~ ConwayUtxowPredFailure era, Event (ConwayUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (ConwayUTXO era) (ConwayUTXOW era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayUTXO era) → PredicateFailure (ConwayUTXOW era) Source #

wrapEvent ∷ Event (ConwayUTXO era) → Event (ConwayUTXOW era) Source #

(Era era, STS (ConwayUTXOS era), PredicateFailure (EraRule "UTXOS" era) ~ ConwayUtxosPredFailure era, Event (EraRule "UTXOS" era) ~ Event (ConwayUTXOS era)) ⇒ Embed (ConwayUTXOS era) (ConwayUTXO era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayUTXOS era) → PredicateFailure (ConwayUTXO era) Source #

wrapEvent ∷ Event (ConwayUTXOS era) → Event (ConwayUTXO era) Source #

type BaseM (ConwayUTXO era) Source #

Instance details

type BaseM (ConwayUTXO era) = ShelleyBase

type Environment (ConwayUTXO era) Source #

Instance details

type Environment (ConwayUTXO era) = UtxoEnv era

type Event (ConwayUTXO era) Source #

Instance details

type Event (ConwayUTXO era) = AlonzoUtxoEvent era

type PredicateFailure (ConwayUTXO era) Source #

Instance details

type PredicateFailure (ConwayUTXO era) = ConwayUtxoPredFailure era

type Signal (ConwayUTXO era) Source #

Instance details

type Signal (ConwayUTXO era) = Tx 'TopTx era

type State (ConwayUTXO era) Source #

Instance details

type State (ConwayUTXO era) = UTxOState era

allegraToConwayUtxoPredFailure ∷ EraRuleFailure "PPUP" era ~ VoidEraRule "PPUP" era ⇒ AllegraUtxoPredFailure era → ConwayUtxoPredFailure era Source #

babbageToConwayUtxoPredFailure ∷ BabbageUtxoPredFailure era → ConwayUtxoPredFailure era Source #

alonzoToConwayUtxoPredFailure ∷ AlonzoUtxoPredFailure era → ConwayUtxoPredFailure era Source #

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

Methods

injectEvent ∷ ConwayUtxosEvent ConwayEra → EraRuleEvent "UTXOS" ConwayEra Source #

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

Instance details

Methods

rnf ∷ ConwayUtxosEvent era → () #

Generic (ConwayUtxosEvent era) Source #

Instance details

Associated Types

type Rep (ConwayUtxosEvent era)

Instance details

type Rep (ConwayUtxosEvent era) = D1 ('MetaData "ConwayUtxosEvent" "Cardano.Ledger.Conway.Rules.Utxos" "cardano-ledger-conway-1.21.0.0-inplace" 'False) ((C1 ('MetaCons "TotalDeposits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash EraIndependentTxBody)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: C1 ('MetaCons "SuccessfulPlutusScriptsEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty PlutusWithContext)))) :+: (C1 ('MetaCons "FailedPlutusScriptsEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty PlutusWithContext))) :+: C1 ('MetaCons "TxUTxODiff" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)))))

Methods

from ∷ ConwayUtxosEvent era → Rep (ConwayUtxosEvent era) x #

to ∷ Rep (ConwayUtxosEvent era) x → ConwayUtxosEvent era #

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

Instance details

Methods

(==) ∷ ConwayUtxosEvent era → ConwayUtxosEvent era → Bool #

(/=) ∷ ConwayUtxosEvent era → ConwayUtxosEvent era → Bool #

type Rep (ConwayUtxosEvent era) Source #

Instance details

type Rep (ConwayUtxosEvent era) = D1 ('MetaData "ConwayUtxosEvent" "Cardano.Ledger.Conway.Rules.Utxos" "cardano-ledger-conway-1.21.0.0-inplace" 'False) ((C1 ('MetaCons "TotalDeposits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash EraIndependentTxBody)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: C1 ('MetaCons "SuccessfulPlutusScriptsEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty PlutusWithContext)))) :+: (C1 ('MetaCons "FailedPlutusScriptsEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty PlutusWithContext))) :+: C1 ('MetaCons "TxUTxODiff" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO 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

Methods

injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "LEDGER" ConwayUtxosPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "LEDGERS" ConwayUtxosPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #

InjectRuleFailure "UTXO" ConwayUtxosPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "UTXO" ConwayEra Source #

InjectRuleFailure "UTXOS" ConwayUtxosPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "UTXOS" ConwayEra Source #

InjectRuleFailure "UTXOW" ConwayUtxosPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #

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

Instance details

Methods

decCBOR ∷ Decoder s (ConwayUtxosPredFailure era) Source #

dropCBOR ∷ Proxy (ConwayUtxosPredFailure era) → Decoder s () Source #

label ∷ Proxy (ConwayUtxosPredFailure era) → Text Source #

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

Instance details

Methods

encCBOR ∷ ConwayUtxosPredFailure era → Encoding Source #

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

Instance details

Methods

rnf ∷ ConwayUtxosPredFailure era → () #

Generic (ConwayUtxosPredFailure era) Source #

Instance details

Associated Types

type Rep (ConwayUtxosPredFailure era)

Instance details

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

Methods

from ∷ ConwayUtxosPredFailure era → Rep (ConwayUtxosPredFailure era) x #

to ∷ Rep (ConwayUtxosPredFailure era) x → ConwayUtxosPredFailure era #

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

Instance details

Methods

showsPrec ∷ Int → ConwayUtxosPredFailure era → ShowS #

show ∷ ConwayUtxosPredFailure era → String #

showList ∷ [ConwayUtxosPredFailure era] → ShowS #

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

Instance details

Methods

(==) ∷ ConwayUtxosPredFailure era → ConwayUtxosPredFailure era → Bool #

(/=) ∷ ConwayUtxosPredFailure era → ConwayUtxosPredFailure era → Bool #

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

Instance details

Methods

noThunks ∷ Context → ConwayUtxosPredFailure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayUtxosPredFailure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayUtxosPredFailure era) → String Source #

type Rep (ConwayUtxosPredFailure era) Source #

Instance details

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

data ConwayUTXOS era Source #

Instances

Instances details

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

Instance details

Associated Types

type State (ConwayUTXOS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type State (ConwayUTXOS era) = UTxOState era
type Signal (ConwayUTXOS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type Signal (ConwayUTXOS era) = Tx 'TopTx era
type Environment (ConwayUTXOS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type Environment (ConwayUTXOS era) = UtxoEnv era
type BaseM (ConwayUTXOS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type BaseM (ConwayUTXOS era) = ShelleyBase
type Event (ConwayUTXOS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type Event (ConwayUTXOS era) = ConwayUtxosEvent era
type PredicateFailure (ConwayUTXOS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type PredicateFailure (ConwayUTXOS era) = ConwayUtxosPredFailure era

Methods

initialRules ∷ [InitialRule (ConwayUTXOS era)] Source #

transitionRules ∷ [TransitionRule (ConwayUTXOS era)] Source #

assertions ∷ [Assertion (ConwayUTXOS era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayUTXOS era) → String Source #

(AlonzoEraTx era, AlonzoEraUTxO era, ConwayEraTxBody era, ConwayEraPParams era, EraGov era, EraStake era, EraCertState era, EraPlutusContext era, GovState era ~ ConwayGovState era, PredicateFailure (EraRule "UTXOS" era) ~ ConwayUtxosPredFailure era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (ConwayUTXOS era) ~ Tx 'TopTx 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

Methods

wrapFailed ∷ PredicateFailure (ConwayUTXOS era) → PredicateFailure (BabbageUTXO era) Source #

wrapEvent ∷ Event (ConwayUTXOS era) → Event (BabbageUTXO era) Source #

(Era era, STS (ConwayUTXOS era), PredicateFailure (EraRule "UTXOS" era) ~ ConwayUtxosPredFailure era, Event (EraRule "UTXOS" era) ~ Event (ConwayUTXOS era)) ⇒ Embed (ConwayUTXOS era) (ConwayUTXO era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayUTXOS era) → PredicateFailure (ConwayUTXO era) Source #

wrapEvent ∷ Event (ConwayUTXOS era) → Event (ConwayUTXO era) Source #

type BaseM (ConwayUTXOS era) Source #

Instance details

type BaseM (ConwayUTXOS era) = ShelleyBase

type Environment (ConwayUTXOS era) Source #

Instance details

type Environment (ConwayUTXOS era) = UtxoEnv era

type Event (ConwayUTXOS era) Source #

Instance details

type Event (ConwayUTXOS era) = ConwayUtxosEvent era

type PredicateFailure (ConwayUTXOS era) Source #

Instance details

type PredicateFailure (ConwayUTXOS era) = ConwayUtxosPredFailure era

type Signal (ConwayUTXOS era) Source #

Instance details

type Signal (ConwayUTXOS era) = Tx 'TopTx era

type State (ConwayUTXOS era) Source #

Instance details

type State (ConwayUTXOS era) = UTxOState era

alonzoToConwayUtxosPredFailure ∷ EraRuleFailure "PPUP" era ~ VoidEraRule "PPUP" era ⇒ AlonzoUtxosPredFailure era → ConwayUtxosPredFailure era Source #

alonzoToConwayUtxosEvent ∷ EraRuleEvent "PPUP" era ~ VoidEraRule "PPUP" era ⇒ AlonzoUtxosEvent era → ConwayUtxosEvent era Source #

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 (Set (KeyHash 'Witness)) witnesses which were needed and not supplied
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 (Set DataHash) Set of missing data hashes (Set DataHash) Set of received data hashes
NotAllowedSupplementalDatums
Fields (Set DataHash) Set of unallowed data hashes. (Set DataHash) Set of acceptable supplemental data hashes
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
ScriptIntegrityHashMismatch (Mismatch 'RelEQ (StrictMaybe ScriptIntegrityHash)) (StrictMaybe ByteString)	The computed script integrity hash does not match the provided script integrity hash

Instances

Instances details

InjectRuleFailure "BBODY" ConwayUtxowPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxowPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "LEDGER" ConwayUtxowPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxowPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "LEDGERS" ConwayUtxowPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxowPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #

InjectRuleFailure "UTXOW" ConwayUtxowPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxowPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #

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

Instance details

Methods

decCBOR ∷ Decoder s (ConwayUtxowPredFailure era) Source #

dropCBOR ∷ Proxy (ConwayUtxowPredFailure era) → Decoder s () Source #

label ∷ Proxy (ConwayUtxowPredFailure era) → Text Source #

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

Instance details

Methods

encCBOR ∷ ConwayUtxowPredFailure era → Encoding Source #

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

Instance details

Methods

rnf ∷ ConwayUtxowPredFailure era → () #

Generic (ConwayUtxowPredFailure era) Source #

Instance details

Associated Types

type Rep (ConwayUtxowPredFailure era)

Instance details

Methods

from ∷ ConwayUtxowPredFailure era → Rep (ConwayUtxowPredFailure era) x #

to ∷ Rep (ConwayUtxowPredFailure era) x → ConwayUtxowPredFailure era #

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

Instance details

Methods

showsPrec ∷ Int → ConwayUtxowPredFailure era → ShowS #

show ∷ ConwayUtxowPredFailure era → String #

showList ∷ [ConwayUtxowPredFailure era] → ShowS #

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

Instance details

Methods

(==) ∷ ConwayUtxowPredFailure era → ConwayUtxowPredFailure era → Bool #

(/=) ∷ ConwayUtxowPredFailure era → ConwayUtxowPredFailure era → Bool #

NoThunks (ConwayUtxowPredFailure era) Source #

Instance details

Methods

noThunks ∷ Context → ConwayUtxowPredFailure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayUtxowPredFailure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayUtxowPredFailure era) → String Source #

type Rep (ConwayUtxowPredFailure era) Source #

Instance details

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, InjectRuleFailure "UTXOW" ConwayUtxowPredFailure era, Embed (EraRule "UTXO" era) (ConwayUTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx 'TopTx era, Eq (PredicateFailure (EraRule "UTXOS" era)), Show (PredicateFailure (EraRule "UTXOS" era))) ⇒ STS (ConwayUTXOW era) Source #

Instance details

Associated Types

type State (ConwayUTXOW era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type State (ConwayUTXOW era) = UTxOState era
type Signal (ConwayUTXOW era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type Signal (ConwayUTXOW era) = Tx 'TopTx era
type Environment (ConwayUTXOW era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type Environment (ConwayUTXOW era) = UtxoEnv era
type BaseM (ConwayUTXOW era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type BaseM (ConwayUTXOW era) = ShelleyBase
type Event (ConwayUTXOW era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type Event (ConwayUTXOW era) = AlonzoUtxowEvent era
type PredicateFailure (ConwayUTXOW era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type PredicateFailure (ConwayUTXOW era) = ConwayUtxowPredFailure era

Methods

initialRules ∷ [InitialRule (ConwayUTXOW era)] Source #

transitionRules ∷ [TransitionRule (ConwayUTXOW era)] Source #

assertions ∷ [Assertion (ConwayUTXOW era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayUTXOW era) → String Source #

(Era era, STS (ConwayUTXO era), PredicateFailure (EraRule "UTXO" era) ~ ConwayUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (ConwayUTXOW era) ~ ShelleyBase, PredicateFailure (ConwayUTXOW era) ~ ConwayUtxowPredFailure era, Event (ConwayUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (ConwayUTXO era) (ConwayUTXOW era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayUTXO era) → PredicateFailure (ConwayUTXOW era) Source #

wrapEvent ∷ Event (ConwayUTXO era) → Event (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 'TopTx 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

Methods

wrapFailed ∷ PredicateFailure (ConwayUTXOW era) → PredicateFailure (ConwayLEDGER era) Source #

wrapEvent ∷ Event (ConwayUTXOW era) → Event (ConwayLEDGER era) Source #

type BaseM (ConwayUTXOW era) Source #

Instance details

type BaseM (ConwayUTXOW era) = ShelleyBase

type Environment (ConwayUTXOW era) Source #

Instance details

type Environment (ConwayUTXOW era) = UtxoEnv era

type Event (ConwayUTXOW era) Source #

Instance details

type Event (ConwayUTXOW era) = AlonzoUtxowEvent era

type PredicateFailure (ConwayUTXOW era) Source #

Instance details

type PredicateFailure (ConwayUTXOW era) = ConwayUtxowPredFailure era

type Signal (ConwayUTXOW era) Source #

Instance details

type Signal (ConwayUTXOW era) = Tx 'TopTx era

type State (ConwayUTXOW era) Source #

Instance details