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

Cardano.Ledger.Conway.Rules.Deleg

Documentation

data ConwayDELEG era Source #

Instances

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

Defined in Cardano.Ledger.Conway.Rules.Deleg

Associated Types

type State (ConwayDELEG era) Source #

type Signal (ConwayDELEG era) Source #

type Environment (ConwayDELEG era) Source #

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

type Event (ConwayDELEG era) Source #

type PredicateFailure (ConwayDELEG era) Source #

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

Defined in Cardano.Ledger.Conway.Rules.Cert

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) ⇒ Embed (ConwayDELEG era) (ConwayLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

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

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

type BaseM (ConwayDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

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

Defined in Cardano.Ledger.Conway.Rules.Deleg

type Environment (ConwayDELEG era) = ConwayDelegEnv era
type Event (ConwayDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

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

Defined in Cardano.Ledger.Conway.Rules.Deleg

type PredicateFailure (ConwayDELEG era) = ConwayDelegPredFailure era
type Signal (ConwayDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type Signal (ConwayDELEG era) = ConwayDelegCert (EraCrypto era)
type State (ConwayDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type State (ConwayDELEG era) = DState era

data ConwayDelegPredFailure era Source #

Constructors

IncorrectDepositDELEG !Coin 
StakeKeyRegisteredDELEG !(Credential 'Staking (EraCrypto era)) 
StakeKeyNotRegisteredDELEG !(Credential 'Staking (EraCrypto era)) 
StakeKeyHasNonZeroRewardAccountBalanceDELEG !Coin 
DRepAlreadyRegisteredForStakeKeyDELEG !(Credential 'Staking (EraCrypto era)) 
DelegateeNotRegisteredDELEG !(KeyHash 'StakePool (EraCrypto era)) 

Instances

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

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

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

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

Defined in Cardano.Ledger.Conway.Rules.Cert

Methods

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

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

Defined in Cardano.Ledger.Conway.Rules.Certs

Methods

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

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

Defined in Cardano.Ledger.Conway.Rules.Deleg

Methods

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

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

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

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

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

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Methods

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

Generic (ConwayDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

Associated Types

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

Methods

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

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

Show (ConwayDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

Methods

showsPrec ∷ Int → ConwayDelegPredFailure era → ShowS Source #

show ∷ ConwayDelegPredFailure era → String Source #

showList ∷ [ConwayDelegPredFailure era] → ShowS Source #

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

Defined in Cardano.Ledger.Conway.Rules.Deleg

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

Defined in Cardano.Ledger.Conway.Rules.Deleg

Methods

encCBOR ∷ ConwayDelegPredFailure era → Encoding Source #

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

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

NFData (ConwayDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

Methods

rnf ∷ ConwayDelegPredFailure era → () Source #

Eq (ConwayDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

Methods

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

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

NoThunks (ConwayDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

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

Defined in Cardano.Ledger.Conway.Rules.Deleg

type Rep (ConwayDelegPredFailure era) = D1 ('MetaData "ConwayDelegPredFailure" "Cardano.Ledger.Conway.Rules.Deleg" "cardano-ledger-conway-1.14.0.0-inplace" 'False) ((C1 ('MetaCons "IncorrectDepositDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :+: (C1 ('MetaCons "StakeKeyRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era)))) :+: C1 ('MetaCons "StakeKeyNotRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era)))))) :+: (C1 ('MetaCons "StakeKeyHasNonZeroRewardAccountBalanceDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :+: (C1 ('MetaCons "DRepAlreadyRegisteredForStakeKeyDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era)))) :+: C1 ('MetaCons "DelegateeNotRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool (EraCrypto era)))))))

data ConwayDelegEnv era Source #

Constructors

ConwayDelegEnv 

Fields

Instances

Instances details
Generic (ConwayDelegEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

Associated Types

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

Methods

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

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

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

Defined in Cardano.Ledger.Conway.Rules.Deleg

Methods

showsPrec ∷ Int → ConwayDelegEnv era → ShowS Source #

show ∷ ConwayDelegEnv era → String Source #

showList ∷ [ConwayDelegEnv era] → ShowS Source #

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

Defined in Cardano.Ledger.Conway.Rules.Deleg

Methods

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

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

type Rep (ConwayDelegEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

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

Orphan instances