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

Cardano.Ledger.Conway.Rules.Certs

Documentation

data ConwayCERTS era Source #

Instances

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

Defined in Cardano.Ledger.Conway.Rules.Certs

Associated Types

type State (ConwayCERTS era) Source #

type Signal (ConwayCERTS era) Source #

type Environment (ConwayCERTS era) Source #

type BaseM (ConwayCERTS era) ∷ Type → Type Source #

type Event (ConwayCERTS era) Source #

type PredicateFailure (ConwayCERTS era) Source #

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

Defined in Cardano.Ledger.Conway.Rules.Certs

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, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era, EraRule "CERTS" era ~ ConwayCERTS era) ⇒ Embed (ConwayCERTS era) (ConwayLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

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

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

type BaseM (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type BaseM (ConwayCERTS era) = ShelleyBase
type Environment (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type Environment (ConwayCERTS era) = CertsEnv era
type Event (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type Event (ConwayCERTS era) = ConwayCertsEvent era
type PredicateFailure (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type PredicateFailure (ConwayCERTS era) = ConwayCertsPredFailure era
type Signal (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

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

Defined in Cardano.Ledger.Conway.Rules.Certs

type State (ConwayCERTS era) = CertState era

data ConwayCertsPredFailure era Source #

Constructors

WithdrawalsNotInRewardsCERTS !(Map (RewardAccount (EraCrypto era)) Coin)

Withdrawals that are missing or do not withdrawal the entire amount

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

CERT rule subtransition Failures

Instances

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

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

injectFailure ∷ ConwayCertsPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #

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

Defined in Cardano.Ledger.Conway.Rules.Certs

Methods

injectFailure ∷ ConwayCertsPredFailure (ConwayEra c) → EraRuleFailure "CERTS" (ConwayEra c) Source #

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

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

injectFailure ∷ ConwayCertsPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #

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

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Methods

injectFailure ∷ ConwayCertsPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #

Generic (ConwayCertsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Associated Types

type Rep (ConwayCertsPredFailure era) ∷ Type → Type Source #

Methods

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

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

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

Defined in Cardano.Ledger.Conway.Rules.Certs

Methods

showsPrec ∷ Int → ConwayCertsPredFailure era → ShowS Source #

show ∷ ConwayCertsPredFailure era → String Source #

showList ∷ [ConwayCertsPredFailure era] → ShowS Source #

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

Defined in Cardano.Ledger.Conway.Rules.Certs

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

Defined in Cardano.Ledger.Conway.Rules.Certs

Methods

encCBOR ∷ ConwayCertsPredFailure era → Encoding Source #

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

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

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

Defined in Cardano.Ledger.Conway.Rules.Certs

Methods

rnf ∷ ConwayCertsPredFailure era → () Source #

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

Defined in Cardano.Ledger.Conway.Rules.Certs

Methods

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

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

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

Defined in Cardano.Ledger.Conway.Rules.Certs

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

Defined in Cardano.Ledger.Conway.Rules.Certs

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

newtype ConwayCertsEvent era Source #

Constructors

CertEvent (Event (EraRule "CERT" era)) 

Instances

Instances details
Generic (ConwayCertsEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Associated Types

type Rep (ConwayCertsEvent era) ∷ Type → Type Source #

Methods

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

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

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

Defined in Cardano.Ledger.Conway.Rules.Certs

Methods

rnf ∷ ConwayCertsEvent era → () Source #

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

Defined in Cardano.Ledger.Conway.Rules.Certs

Methods

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

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

type Rep (ConwayCertsEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

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

Orphan instances

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

Methods

injectFailure ∷ ConwayCertPredFailure (ConwayEra c) → EraRuleFailure "CERTS" (ConwayEra c) Source #

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

Methods

injectFailure ∷ ConwayDelegPredFailure (ConwayEra c) → EraRuleFailure "CERTS" (ConwayEra c) Source #

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

Methods

injectFailure ∷ ConwayGovCertPredFailure (ConwayEra c) → EraRuleFailure "CERTS" (ConwayEra c) Source #

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

Methods

injectFailure ∷ ShelleyPoolPredFailure (ConwayEra c) → EraRuleFailure "CERTS" (ConwayEra c) Source #

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

Associated Types

type State (ConwayCERTS era) Source #

type Signal (ConwayCERTS era) Source #

type Environment (ConwayCERTS era) Source #

type BaseM (ConwayCERTS era) ∷ Type → Type Source #

type Event (ConwayCERTS era) Source #

type PredicateFailure (ConwayCERTS era) Source #

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 #