cardano-ledger-conway-1.16.0.1: 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) ∷ TypeType Source #

type Event (ConwayDELEG era) Source #

type PredicateFailure (ConwayDELEG era) Source #

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

Defined in Cardano.Ledger.Conway.Rules.Cert

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

Defined in Cardano.Ledger.Conway.Rules.Ledger

type BaseM (ConwayDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type Environment (ConwayDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type Event (ConwayDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

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

Defined in Cardano.Ledger.Conway.Rules.Deleg

type Signal (ConwayDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type State (ConwayDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type State (ConwayDELEG era) = DState era

data ConwayDelegPredFailure era Source #

Instances

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

Defined in Cardano.Ledger.Conway.Rules.Bbody

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

Defined in Cardano.Ledger.Conway.Rules.Cert

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

Defined in Cardano.Ledger.Conway.Rules.Certs

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

Defined in Cardano.Ledger.Conway.Rules.Deleg

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

Defined in Cardano.Ledger.Conway.Rules.Ledger

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

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Generic (ConwayDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

Associated Types

type Rep (ConwayDelegPredFailure era) ∷ TypeType Source #

Show (ConwayDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

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

Defined in Cardano.Ledger.Conway.Rules.Deleg

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

Defined in Cardano.Ledger.Conway.Rules.Deleg

NFData (ConwayDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

Methods

rnfConwayDelegPredFailure era → () Source #

Eq (ConwayDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

NoThunks (ConwayDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type Rep (ConwayDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type Rep (ConwayDelegPredFailure era) = D1 ('MetaData "ConwayDelegPredFailure" "Cardano.Ledger.Conway.Rules.Deleg" "cardano-ledger-conway-1.16.0.1-inplace" 'False) ((C1 ('MetaCons "IncorrectDepositDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :+: (C1 ('MetaCons "StakeKeyRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era)))) :+: C1 ('MetaCons "StakeKeyNotRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era)))))) :+: (C1 ('MetaCons "StakeKeyHasNonZeroRewardAccountBalanceDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :+: (C1 ('MetaCons "DRepAlreadyRegisteredForStakeKeyDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era)))) :+: C1 ('MetaCons "DelegateeNotRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe 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) ∷ TypeType Source #

Methods

fromConwayDelegEnv era → Rep (ConwayDelegEnv era) x Source #

toRep (ConwayDelegEnv era) x → ConwayDelegEnv era Source #

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

Defined in Cardano.Ledger.Conway.Rules.Deleg

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

Defined in Cardano.Ledger.Conway.Rules.Deleg

Methods

rnfConwayDelegEnv era → () Source #

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

Defined in Cardano.Ledger.Conway.Rules.Deleg

type Rep (ConwayDelegEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

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