cardano-ledger-shelley-1.11.0.0: Shelley Ledger Executable Model
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Shelley.Rules.Deleg

Synopsis

Documentation

data ShelleyDELEG era Source #

Instances

Instances details
(EraPParams era, ShelleyEraTxCert era, ProtVerAtMost era 8) ⇒ STS (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Associated Types

type State (ShelleyDELEG era) Source #

type Signal (ShelleyDELEG era) Source #

type Environment (ShelleyDELEG era) Source #

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

type Event (ShelleyDELEG era) Source #

type PredicateFailure (ShelleyDELEG era) Source #

Methods

initialRules ∷ [InitialRule (ShelleyDELEG era)] Source #

transitionRules ∷ [TransitionRule (ShelleyDELEG era)] Source #

assertions ∷ [Assertion (ShelleyDELEG era)] Source #

renderAssertionViolation ∷ AssertionViolation (ShelleyDELEG era) → String Source #

(ShelleyEraTxCert era, EraPParams era, ProtVerAtMost era 8, PredicateFailure (EraRule "DELEG" era) ~ ShelleyDelegPredFailure era, Event (EraRule "DELEG" era) ~ ShelleyDelegEvent era) ⇒ Embed (ShelleyDELEG era) (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

Methods

wrapFailed ∷ PredicateFailure (ShelleyDELEG era) → PredicateFailure (ShelleyDELPL era) Source #

wrapEvent ∷ Event (ShelleyDELEG era) → Event (ShelleyDELPL era) Source #

type BaseM (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

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

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type Environment (ShelleyDELEG era) = DelegEnv era
type Event (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type Event (ShelleyDELEG era) = ShelleyDelegEvent era
type PredicateFailure (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type PredicateFailure (ShelleyDELEG era) = ShelleyDelegPredFailure era
type Signal (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

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

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type State (ShelleyDELEG era) = DState era

data DelegEnv era Source #

Constructors

DelegEnv 

Fields

Instances

Instances details
Show (PParams era) ⇒ Show (DelegEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

showsPrec ∷ Int → DelegEnv era → ShowS Source #

show ∷ DelegEnv era → String Source #

showList ∷ [DelegEnv era] → ShowS Source #

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

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

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

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

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

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type PredicateFailure (ShelleyBBODY era) = ShelleyBbodyPredFailure era
type PredicateFailure (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type PredicateFailure (ShelleyDELEG era) = ShelleyDelegPredFailure era
type PredicateFailure (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type PredicateFailure (ShelleyDELEGS era) = ShelleyDelegsPredFailure era
type PredicateFailure (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type PredicateFailure (ShelleyDELPL era) = ShelleyDelplPredFailure era
type PredicateFailure (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type PredicateFailure (ShelleyEPOCH era) = ShelleyEpochPredFailure era
type PredicateFailure (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type PredicateFailure (ShelleyLEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type PredicateFailure (ShelleyLEDGERS era) = ShelleyLedgersPredFailure era
type PredicateFailure (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type PredicateFailure (ShelleyMIR era) = ShelleyMirPredFailure era
type PredicateFailure (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type PredicateFailure (ShelleyNEWEPOCH era) = ShelleyNewEpochPredFailure era
type PredicateFailure (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type PredicateFailure (ShelleyNEWPP era) = ShelleyNewppPredFailure era
type PredicateFailure (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type PredicateFailure (ShelleyPOOL era) = ShelleyPoolPredFailure era
type PredicateFailure (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type PredicateFailure (ShelleyPOOLREAP era) = ShelleyPoolreapPredFailure era
type PredicateFailure (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type PredicateFailure (ShelleyPPUP era) = ShelleyPpupPredFailure era
type PredicateFailure (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type PredicateFailure (ShelleyRUPD era) = ShelleyRupdPredFailure era
type PredicateFailure (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type PredicateFailure (ShelleySNAP era) = ShelleySnapPredFailure era
type PredicateFailure (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyTICK era) = ShelleyTickPredFailure era
type PredicateFailure (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyTICKF era) = ShelleyTickfPredFailure era
type PredicateFailure (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type PredicateFailure (ShelleyUPEC era) = ShelleyUpecPredFailure era
type PredicateFailure (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type PredicateFailure (ShelleyUTXO era) = ShelleyUtxoPredFailure era
type PredicateFailure (ShelleyUTXOW era) Source # 
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 ShelleyDelegPredFailure era Source #

Constructors

StakeKeyAlreadyRegisteredDELEG !(Credential 'Staking (EraCrypto era)) 
StakeKeyInRewardsDELEG !(Credential 'Staking (EraCrypto era))

Indicates that the stake key is somehow already in the rewards map. This error is now redundant with StakeKeyAlreadyRegisteredDELEG. We should remove it and replace its one use with StakeKeyAlreadyRegisteredDELEG.

StakeKeyNotRegisteredDELEG !(Credential 'Staking (EraCrypto era)) 
StakeKeyNonZeroAccountBalanceDELEG !(Maybe Coin) 
StakeDelegationImpossibleDELEG !(Credential 'Staking (EraCrypto era)) 
WrongCertificateTypeDELEG 
GenesisKeyNotInMappingDELEG !(KeyHash 'Genesis (EraCrypto era)) 
DuplicateGenesisDelegateDELEG !(KeyHash 'GenesisDelegate (EraCrypto era)) 
InsufficientForInstantaneousRewardsDELEG !MIRPot !Coin !Coin 
MIRCertificateTooLateinEpochDELEG !SlotNo !SlotNo 
DuplicateGenesisVRFDELEG !(Hash (EraCrypto era) (VerKeyVRF (EraCrypto era))) 
MIRTransferNotCurrentlyAllowed 
MIRNegativesNotCurrentlyAllowed 
InsufficientForTransferDELEG !MIRPot !Coin !Coin 
MIRProducesNegativeUpdate 
MIRNegativeTransfer !MIRPot !Coin 

Instances

Instances details
InjectRuleFailure "BBODY" ShelleyDelegPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

injectFailure ∷ ShelleyDelegPredFailure (ShelleyEra c) → EraRuleFailure "BBODY" (ShelleyEra c) Source #

InjectRuleFailure "DELEG" ShelleyDelegPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

injectFailure ∷ ShelleyDelegPredFailure (ShelleyEra c) → EraRuleFailure "DELEG" (ShelleyEra c) Source #

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

Methods

injectFailure ∷ ShelleyDelegPredFailure (ShelleyEra c) → EraRuleFailure "DELEGS" (ShelleyEra c) Source #

InjectRuleFailure "DELPL" ShelleyDelegPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

Methods

injectFailure ∷ ShelleyDelegPredFailure (ShelleyEra c) → EraRuleFailure "DELPL" (ShelleyEra c) Source #

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

injectFailure ∷ ShelleyDelegPredFailure (ShelleyEra c) → EraRuleFailure "LEDGER" (ShelleyEra c) Source #

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

injectFailure ∷ ShelleyDelegPredFailure (ShelleyEra c) → EraRuleFailure "LEDGERS" (ShelleyEra c) Source #

Generic (ShelleyDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Associated Types

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

Methods

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

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

Show (ShelleyDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

showsPrec ∷ Int → ShelleyDelegPredFailure era → ShowS Source #

show ∷ ShelleyDelegPredFailure era → String Source #

showList ∷ [ShelleyDelegPredFailure era] → ShowS Source #

(Era era, Typeable (Script era)) ⇒ DecCBOR (ShelleyDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

decCBOR ∷ Decoder s (ShelleyDelegPredFailure era) Source #

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

label ∷ Proxy (ShelleyDelegPredFailure era) → Text Source #

(Era era, Typeable (Script era)) ⇒ EncCBOR (ShelleyDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

encCBOR ∷ ShelleyDelegPredFailure era → Encoding Source #

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

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

NFData (ShelleyDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

rnf ∷ ShelleyDelegPredFailure era → () Source #

Eq (ShelleyDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

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

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

NoThunks (ShelleyDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

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

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

showTypeOf ∷ Proxy (ShelleyDelegPredFailure era) → String Source #

type Rep (ShelleyDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type Rep (ShelleyDelegPredFailure era) = D1 ('MetaData "ShelleyDelegPredFailure" "Cardano.Ledger.Shelley.Rules.Deleg" "cardano-ledger-shelley-1.11.0.0-inplace" 'False) ((((C1 ('MetaCons "StakeKeyAlreadyRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era)))) :+: C1 ('MetaCons "StakeKeyInRewardsDELEG" '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 "StakeKeyNonZeroAccountBalanceDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Coin))))) :+: ((C1 ('MetaCons "StakeDelegationImpossibleDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era)))) :+: C1 ('MetaCons "WrongCertificateTypeDELEG" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "GenesisKeyNotInMappingDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'Genesis (EraCrypto era)))) :+: C1 ('MetaCons "DuplicateGenesisDelegateDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'GenesisDelegate (EraCrypto era))))))) :+: (((C1 ('MetaCons "InsufficientForInstantaneousRewardsDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MIRPot) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))) :+: C1 ('MetaCons "MIRCertificateTooLateinEpochDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo))) :+: (C1 ('MetaCons "DuplicateGenesisVRFDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash (EraCrypto era) (VerKeyVRF (EraCrypto era))))) :+: C1 ('MetaCons "MIRTransferNotCurrentlyAllowed" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: ((C1 ('MetaCons "MIRNegativesNotCurrentlyAllowed" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "InsufficientForTransferDELEG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MIRPot) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))) :+: (C1 ('MetaCons "MIRProducesNegativeUpdate" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "MIRNegativeTransfer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MIRPot) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))))))

newtype ShelleyDelegEvent era Source #

Constructors

DelegNewEpoch EpochNo 

Instances

Instances details
Generic (ShelleyDelegEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Associated Types

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

Methods

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

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

NFData (ShelleyDelegEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

rnf ∷ ShelleyDelegEvent era → () Source #

Eq (ShelleyDelegEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

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

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

type Rep (ShelleyDelegEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type Rep (ShelleyDelegEvent era) = D1 ('MetaData "ShelleyDelegEvent" "Cardano.Ledger.Shelley.Rules.Deleg" "cardano-ledger-shelley-1.11.0.0-inplace" 'True) (C1 ('MetaCons "DelegNewEpoch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)))

Orphan instances