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

Cardano.Ledger.Shelley.Rules

Synopsis

Block

data ShelleyBBODY era Source #

Instances

Instances details
(Era era, BaseM ledgers ~ ShelleyBase, ledgers ~ EraRule "LEDGERS" era, STS ledgers, Era era) ⇒ Embed ledgers (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

(EraSegWits era, Embed (EraRule "LEDGERS" era) (ShelleyBBODY era), Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, Signal (EraRule "LEDGERS" era) ~ Seq (Tx era)) ⇒ STS (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type BaseM (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type Environment (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type Event (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type PredicateFailure (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type Signal (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type State (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

data ShelleyBbodyState era Source #

Constructors

BbodyState !(State (EraRule "LEDGERS" era)) !BlocksMade 

Instances

Instances details
Show (State (EraRule "LEDGERS" era)) ⇒ Show (ShelleyBbodyState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Eq (State (EraRule "LEDGERS" era)) ⇒ Eq (ShelleyBbodyState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

data BbodyEnv era Source #

Constructors

BbodyEnv 

data ShelleyBbodyPredFailure era Source #

Constructors

WrongBlockBodySizeBBODY (Mismatch 'RelEQ Int)

mismatchSupplied ~ Actual body size. mismatchExpected ~ Claimed body size in the header.

InvalidBodyHashBBODY (Mismatch 'RelEQ (Hash HASH EraIndependentBlockBody))

mismatchSupplied ~ Actual hash. mismatchExpected ~ Claimed hash in the header.

LedgersFailure (PredicateFailure (EraRule "LEDGERS" era)) 

Instances

Instances details
InjectRuleFailure "BBODY" ShelleyBbodyPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Generic (ShelleyBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Associated Types

type Rep (ShelleyBbodyPredFailure era) ∷ TypeType #

(Era era, Show (PredicateFailure (EraRule "LEDGERS" era))) ⇒ Show (ShelleyBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

(Era era, Eq (PredicateFailure (EraRule "LEDGERS" era))) ⇒ Eq (ShelleyBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

(Era era, NoThunks (PredicateFailure (EraRule "LEDGERS" era))) ⇒ NoThunks (ShelleyBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type Rep (ShelleyBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type Rep (ShelleyBbodyPredFailure era) = D1 ('MetaData "ShelleyBbodyPredFailure" "Cardano.Ledger.Shelley.Rules.Bbody" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "WrongBlockBodySizeBBODY" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ Int))) :+: (C1 ('MetaCons "InvalidBodyHashBBODY" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ (Hash HASH EraIndependentBlockBody)))) :+: C1 ('MetaCons "LedgersFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "LEDGERS" era))))))

newtype ShelleyBbodyEvent era Source #

Constructors

LedgersEvent (Event (EraRule "LEDGERS" 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 (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type PredicateFailure (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type PredicateFailure (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type PredicateFailure (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type PredicateFailure (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type PredicateFailure (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type PredicateFailure (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type PredicateFailure (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type PredicateFailure (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type PredicateFailure (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type PredicateFailure (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type PredicateFailure (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type PredicateFailure (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type PredicateFailure (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type PredicateFailure (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type PredicateFailure (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type PredicateFailure (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type PredicateFailure (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

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 State a Source #

Type of the state which the system transitions between.

Instances

Instances details
type State (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type State (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type State (ShelleyDELEG era) = DState era
type State (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type State (ShelleyDELEGS era) = CertState era
type State (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type State (ShelleyDELPL era) = CertState era
type State (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type State (ShelleyEPOCH era) = EpochState era
type State (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type State (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type State (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type State (ShelleyMIR era) = EpochState era
type State (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type State (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type State (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type State (ShelleyPOOL era) = PState era
type State (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type State (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type State (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type State (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type State (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type State (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type State (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type State (ShelleyUPEC era) = UpecState era
type State (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type State (ShelleyUTXO era) = UTxOState era
type State (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type State (ShelleyUTXOW era) = UTxOState era
type State (STUB e st si f m) 
Instance details

Defined in Control.State.Transition.Extended

type State (STUB e st si f m) = st

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

(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

type BaseM (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type Environment (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type Event (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type PredicateFailure (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

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

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Associated Types

type Rep (DelegEnv era) ∷ TypeType #

Methods

fromDelegEnv era → Rep (DelegEnv era) x #

toRep (DelegEnv era) x → DelegEnv era #

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

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

showsPrecIntDelegEnv era → ShowS #

showDelegEnv era → String #

showList ∷ [DelegEnv era] → ShowS #

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

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

rnfDelegEnv era → () #

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

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

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

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

type Rep (DelegEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type Rep (DelegEnv era) = D1 ('MetaData "DelegEnv" "Cardano.Ledger.Shelley.Rules.Deleg" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "DelegEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "slotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "deCurEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)) :*: (S1 ('MetaSel ('Just "ptr_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ptr) :*: (S1 ('MetaSel ('Just "acnt_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AccountState) :*: S1 ('MetaSel ('Just "ppDE") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams 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 (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type PredicateFailure (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type PredicateFailure (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type PredicateFailure (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type PredicateFailure (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type PredicateFailure (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type PredicateFailure (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type PredicateFailure (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type PredicateFailure (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type PredicateFailure (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type PredicateFailure (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type PredicateFailure (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type PredicateFailure (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type PredicateFailure (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type PredicateFailure (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type PredicateFailure (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type PredicateFailure (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type PredicateFailure (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

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 #

Instances

Instances details
InjectRuleFailure "BBODY" ShelleyDelegPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "DELEG" ShelleyDelegPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

InjectRuleFailure "DELPL" ShelleyDelegPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Generic (ShelleyDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Associated Types

type Rep (ShelleyDelegPredFailure era) ∷ TypeType #

Show (ShelleyDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

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

Defined in Cardano.Ledger.Shelley.Rules.Deleg

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

Defined in Cardano.Ledger.Shelley.Rules.Deleg

NFData (ShelleyDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

rnfShelleyDelegPredFailure era → () #

Eq (ShelleyDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

NoThunks (ShelleyDelegPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

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.16.0.0-inplace" 'False) (((C1 ('MetaCons "StakeKeyAlreadyRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'Staking))) :+: (C1 ('MetaCons "StakeKeyNotRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'Staking))) :+: C1 ('MetaCons "StakeKeyNonZeroAccountBalanceDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)))) :+: ((C1 ('MetaCons "StakeDelegationImpossibleDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'Staking))) :+: C1 ('MetaCons "WrongCertificateTypeDELEG" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "GenesisKeyNotInMappingDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'Genesis))) :+: C1 ('MetaCons "DuplicateGenesisDelegateDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'GenesisDelegate)))))) :+: (((C1 ('MetaCons "InsufficientForInstantaneousRewardsDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MIRPot) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ Coin))) :+: C1 ('MetaCons "MIRCertificateTooLateinEpochDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLT SlotNo)))) :+: (C1 ('MetaCons "DuplicateGenesisVRFDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VRFVerKeyHash 'GenDelegVRF))) :+: C1 ('MetaCons "MIRTransferNotCurrentlyAllowed" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "MIRNegativesNotCurrentlyAllowed" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "InsufficientForTransferDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MIRPot) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ Coin)))) :+: (C1 ('MetaCons "MIRProducesNegativeUpdate" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "MIRNegativeTransfer" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MIRPot) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (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) ∷ TypeType #

Methods

fromShelleyDelegEvent era → Rep (ShelleyDelegEvent era) x #

toRep (ShelleyDelegEvent era) x → ShelleyDelegEvent era #

NFData (ShelleyDelegEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

rnfShelleyDelegEvent era → () #

Eq (ShelleyDelegEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

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.16.0.0-inplace" 'True) (C1 ('MetaCons "DelegNewEpoch" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)))

data ShelleyDELEGS era Source #

Instances

Instances details
(EraTx era, ShelleyEraTxBody era, Embed (EraRule "DELPL" era) (ShelleyDELEGS era), Environment (EraRule "DELPL" era) ~ DelplEnv era, State (EraRule "DELPL" era) ~ CertState era, Signal (EraRule "DELPL" era) ~ TxCert era, EraRule "DELEGS" era ~ ShelleyDELEGS era) ⇒ STS (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

(Era era, STS (ShelleyDELEGS era), PredicateFailure (EraRule "DELEGS" era) ~ ShelleyDelegsPredFailure era, Event (EraRule "DELEGS" era) ~ ShelleyDelegsEvent era) ⇒ Embed (ShelleyDELEGS era) (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

(Era era, STS (ShelleyDELPL era), PredicateFailure (EraRule "DELPL" era) ~ ShelleyDelplPredFailure era, Event (EraRule "DELPL" era) ~ ShelleyDelplEvent era) ⇒ Embed (ShelleyDELPL era) (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type BaseM (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type Environment (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type Event (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type PredicateFailure (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type Signal (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

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

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type State (ShelleyDELEGS era) = CertState era

data DelegsEnv era Source #

Constructors

DelegsEnv 

Fields

Instances

Instances details
(Show (Tx era), Show (PParams era)) ⇒ Show (DelegsEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

Methods

showsPrecIntDelegsEnv era → ShowS #

showDelegsEnv era → String #

showList ∷ [DelegsEnv era] → ShowS #

data ShelleyDelegsPredFailure era Source #

Constructors

DelegateeNotRegisteredDELEG (KeyHash 'StakePool)

Target pool which is not registered

WithdrawalsNotInRewardsDELEGS (Map RewardAccount Coin)

Withdrawals that are missing or do not withdrawal the entire amount

DelplFailure (PredicateFailure (EraRule "DELPL" era))

Subtransition Failures

Instances

Instances details
InjectRuleFailure "BBODY" ShelleyDelegsPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Generic (ShelleyDelegsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

Associated Types

type Rep (ShelleyDelegsPredFailure era) ∷ TypeType #

Show (PredicateFailure (EraRule "DELPL" era)) ⇒ Show (ShelleyDelegsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

(Era era, DecCBOR (PredicateFailure (EraRule "DELPL" era)), Typeable (Script era)) ⇒ DecCBOR (ShelleyDelegsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

(Era era, Typeable (Script era), EncCBOR (PredicateFailure (EraRule "DELPL" era))) ⇒ EncCBOR (ShelleyDelegsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

NFData (PredicateFailure (EraRule "DELPL" era)) ⇒ NFData (ShelleyDelegsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

Methods

rnfShelleyDelegsPredFailure era → () #

Eq (PredicateFailure (EraRule "DELPL" era)) ⇒ Eq (ShelleyDelegsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

NoThunks (PredicateFailure (EraRule "DELPL" era)) ⇒ NoThunks (ShelleyDelegsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type Rep (ShelleyDelegsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type Rep (ShelleyDelegsPredFailure era) = D1 ('MetaData "ShelleyDelegsPredFailure" "Cardano.Ledger.Shelley.Rules.Delegs" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "DelegateeNotRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool))) :+: (C1 ('MetaCons "WithdrawalsNotInRewardsDELEGS" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map RewardAccount Coin))) :+: C1 ('MetaCons "DelplFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "DELPL" era))))))

newtype ShelleyDelegsEvent era Source #

Constructors

DelplEvent (Event (EraRule "DELPL" era)) 

Instances

Instances details
Generic (ShelleyDelegsEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

Associated Types

type Rep (ShelleyDelegsEvent era) ∷ TypeType #

NFData (Event (EraRule "DELPL" era)) ⇒ NFData (ShelleyDelegsEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

Methods

rnfShelleyDelegsEvent era → () #

Eq (Event (EraRule "DELPL" era)) ⇒ Eq (ShelleyDelegsEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type Rep (ShelleyDelegsEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type Rep (ShelleyDelegsEvent era) = D1 ('MetaData "ShelleyDelegsEvent" "Cardano.Ledger.Shelley.Rules.Delegs" "cardano-ledger-shelley-1.16.0.0-inplace" 'True) (C1 ('MetaCons "DelplEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "DELPL" 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 (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type PredicateFailure (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type PredicateFailure (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type PredicateFailure (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type PredicateFailure (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type PredicateFailure (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type PredicateFailure (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type PredicateFailure (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type PredicateFailure (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type PredicateFailure (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type PredicateFailure (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type PredicateFailure (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type PredicateFailure (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type PredicateFailure (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type PredicateFailure (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type PredicateFailure (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type PredicateFailure (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type PredicateFailure (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

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 ShelleyDELPL era Source #

Instances

Instances details
(Era era, Embed (EraRule "DELEG" era) (ShelleyDELPL era), Environment (EraRule "DELEG" era) ~ DelegEnv era, State (EraRule "DELEG" era) ~ DState era, Embed (EraRule "POOL" era) (ShelleyDELPL era), Environment (EraRule "POOL" era) ~ PoolEnv era, State (EraRule "POOL" era) ~ PState era, Signal (EraRule "DELEG" era) ~ TxCert era, Embed (EraRule "POOL" era) (ShelleyDELPL era), Environment (EraRule "POOL" era) ~ PoolEnv era, Signal (EraRule "POOL" era) ~ PoolCert, TxCert era ~ ShelleyTxCert era) ⇒ STS (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

(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

(Era era, STS (ShelleyDELPL era), PredicateFailure (EraRule "DELPL" era) ~ ShelleyDelplPredFailure era, Event (EraRule "DELPL" era) ~ ShelleyDelplEvent era) ⇒ Embed (ShelleyDELPL era) (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

(Era era, STS (ShelleyPOOL era), PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, Event (EraRule "POOL" era) ~ PoolEvent era) ⇒ Embed (ShelleyPOOL era) (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type BaseM (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type Environment (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type Event (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type PredicateFailure (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type Signal (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

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

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type State (ShelleyDELPL era) = CertState era

data ShelleyDelplPredFailure era Source #

Constructors

PoolFailure (PredicateFailure (EraRule "POOL" era)) 
DelegFailure (PredicateFailure (EraRule "DELEG" era)) 

Instances

Instances details
InjectRuleFailure "BBODY" ShelleyDelplPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

InjectRuleFailure "DELPL" ShelleyDelplPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Generic (ShelleyDelplPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

Associated Types

type Rep (ShelleyDelplPredFailure era) ∷ TypeType #

(Show (PredicateFailure (EraRule "DELEG" era)), Show (PredicateFailure (EraRule "POOL" era))) ⇒ Show (ShelleyDelplPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

(Era era, DecCBOR (PredicateFailure (EraRule "POOL" era)), DecCBOR (PredicateFailure (EraRule "DELEG" era)), Typeable (Script era)) ⇒ DecCBOR (ShelleyDelplPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

(Era era, EncCBOR (PredicateFailure (EraRule "POOL" era)), EncCBOR (PredicateFailure (EraRule "DELEG" era)), Typeable (Script era)) ⇒ EncCBOR (ShelleyDelplPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

(NFData (PredicateFailure (EraRule "DELEG" era)), NFData (PredicateFailure (EraRule "POOL" era))) ⇒ NFData (ShelleyDelplPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

Methods

rnfShelleyDelplPredFailure era → () #

(Eq (PredicateFailure (EraRule "DELEG" era)), Eq (PredicateFailure (EraRule "POOL" era))) ⇒ Eq (ShelleyDelplPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

(NoThunks (PredicateFailure (EraRule "DELEG" era)), NoThunks (PredicateFailure (EraRule "POOL" era))) ⇒ NoThunks (ShelleyDelplPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type Rep (ShelleyDelplPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type Rep (ShelleyDelplPredFailure era) = D1 ('MetaData "ShelleyDelplPredFailure" "Cardano.Ledger.Shelley.Rules.Delpl" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "PoolFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "POOL" era)))) :+: C1 ('MetaCons "DelegFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "DELEG" era)))))

data ShelleyDelplEvent era Source #

Instances

Instances details
Generic (ShelleyDelplEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

Associated Types

type Rep (ShelleyDelplEvent era) ∷ TypeType #

Methods

fromShelleyDelplEvent era → Rep (ShelleyDelplEvent era) x #

toRep (ShelleyDelplEvent era) x → ShelleyDelplEvent era #

(NFData (Event (EraRule "DELEG" era)), NFData (Event (EraRule "POOL" era))) ⇒ NFData (ShelleyDelplEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

Methods

rnfShelleyDelplEvent era → () #

(Eq (Event (EraRule "DELEG" era)), Eq (Event (EraRule "POOL" era))) ⇒ Eq (ShelleyDelplEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type Rep (ShelleyDelplEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type Rep (ShelleyDelplEvent era) = D1 ('MetaData "ShelleyDelplEvent" "Cardano.Ledger.Shelley.Rules.Delpl" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "PoolEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "POOL" era)))) :+: C1 ('MetaCons "DelegEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "DELEG" 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 (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type PredicateFailure (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type PredicateFailure (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type PredicateFailure (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type PredicateFailure (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type PredicateFailure (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type PredicateFailure (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type PredicateFailure (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type PredicateFailure (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type PredicateFailure (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type PredicateFailure (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type PredicateFailure (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type PredicateFailure (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type PredicateFailure (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type PredicateFailure (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type PredicateFailure (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type PredicateFailure (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type PredicateFailure (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

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 ShelleyLEDGER era Source #

Instances

Instances details
(EraTx era, EraGov era, Embed (EraRule "DELEGS" era) (ShelleyLEDGER era), Embed (EraRule "UTXOW" era) (ShelleyLEDGER era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ Tx era, Environment (EraRule "DELEGS" era) ~ DelegsEnv era, State (EraRule "DELEGS" era) ~ CertState era, Signal (EraRule "DELEGS" era) ~ Seq (TxCert era), ProtVerAtMost era 8) ⇒ STS (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

(Era era, STS (ShelleyDELEGS era), PredicateFailure (EraRule "DELEGS" era) ~ ShelleyDelegsPredFailure era, Event (EraRule "DELEGS" era) ~ ShelleyDelegsEvent era) ⇒ Embed (ShelleyDELEGS era) (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

(Era era, STS (ShelleyLEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ShelleyLedgerEvent era) ⇒ Embed (ShelleyLEDGER era) (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

(STS (ShelleyUTXOW era), PredicateFailure (EraRule "UTXOW" era) ~ ShelleyUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ Event (ShelleyUTXOW era)) ⇒ Embed (ShelleyUTXOW era) (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type BaseM (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type Environment (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type Event (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type PredicateFailure (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type Signal (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type Signal (ShelleyLEDGER era) = Tx era
type State (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

data LedgerEnv era Source #

Instances

Instances details
Generic (LedgerEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Associated Types

type Rep (LedgerEnv era) ∷ TypeType #

Methods

fromLedgerEnv era → Rep (LedgerEnv era) x #

toRep (LedgerEnv era) x → LedgerEnv era #

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

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

showsPrecIntLedgerEnv era → ShowS #

showLedgerEnv era → String #

showList ∷ [LedgerEnv era] → ShowS #

EraPParams era ⇒ EncCBOR (LedgerEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

encCBORLedgerEnv era → Encoding Source #

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

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

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

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

rnfLedgerEnv era → () #

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

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

(==)LedgerEnv era → LedgerEnv era → Bool #

(/=)LedgerEnv era → LedgerEnv era → Bool #

type Rep (LedgerEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type Rep (LedgerEnv era) = D1 ('MetaData "LedgerEnv" "Cardano.Ledger.Shelley.Rules.Ledger" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "LedgerEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ledgerSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "ledgerEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe EpochNo))) :*: (S1 ('MetaSel ('Just "ledgerIx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxIx) :*: (S1 ('MetaSel ('Just "ledgerPp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "ledgerAccount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AccountState)))))

data ShelleyLedgerPredFailure era Source #

Constructors

UtxowFailure (PredicateFailure (EraRule "UTXOW" era)) 
DelegsFailure (PredicateFailure (EraRule "DELEGS" era)) 

Instances

Instances details
InjectRuleFailure "BBODY" ShelleyLedgerPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Generic (ShelleyLedgerPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Associated Types

type Rep (ShelleyLedgerPredFailure era) ∷ TypeType #

(Show (PredicateFailure (EraRule "DELEGS" era)), Show (PredicateFailure (EraRule "UTXOW" era)), Era era) ⇒ Show (ShelleyLedgerPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

(DecCBOR (PredicateFailure (EraRule "DELEGS" era)), DecCBOR (PredicateFailure (EraRule "UTXOW" era)), Era era) ⇒ DecCBOR (ShelleyLedgerPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

(EncCBOR (PredicateFailure (EraRule "DELEGS" era)), EncCBOR (PredicateFailure (EraRule "UTXOW" era)), Era era) ⇒ EncCBOR (ShelleyLedgerPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

(NFData (PredicateFailure (EraRule "DELEGS" era)), NFData (PredicateFailure (EraRule "UTXOW" era)), Era era) ⇒ NFData (ShelleyLedgerPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

rnfShelleyLedgerPredFailure era → () #

(Eq (PredicateFailure (EraRule "DELEGS" era)), Eq (PredicateFailure (EraRule "UTXOW" era)), Era era) ⇒ Eq (ShelleyLedgerPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

(NoThunks (PredicateFailure (EraRule "DELEGS" era)), NoThunks (PredicateFailure (EraRule "UTXOW" era)), Era era) ⇒ NoThunks (ShelleyLedgerPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type Rep (ShelleyLedgerPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type Rep (ShelleyLedgerPredFailure era) = D1 ('MetaData "ShelleyLedgerPredFailure" "Cardano.Ledger.Shelley.Rules.Ledger" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "UtxowFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXOW" era)))) :+: C1 ('MetaCons "DelegsFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "DELEGS" era)))))

data ShelleyLedgerEvent era Source #

Constructors

UtxowEvent (Event (EraRule "UTXOW" era)) 
DelegsEvent (Event (EraRule "DELEGS" era)) 

Instances

Instances details
Generic (ShelleyLedgerEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Associated Types

type Rep (ShelleyLedgerEvent era) ∷ TypeType #

(NFData (Event (EraRule "UTXOW" era)), NFData (Event (EraRule "DELEGS" era))) ⇒ NFData (ShelleyLedgerEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

rnfShelleyLedgerEvent era → () #

(Eq (Event (EraRule "UTXOW" era)), Eq (Event (EraRule "DELEGS" era))) ⇒ Eq (ShelleyLedgerEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type Rep (ShelleyLedgerEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type Rep (ShelleyLedgerEvent era) = D1 ('MetaData "ShelleyLedgerEvent" "Cardano.Ledger.Shelley.Rules.Ledger" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "UtxowEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "UTXOW" era)))) :+: C1 ('MetaCons "DelegsEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "DELEGS" era)))))

type family Event a Source #

Event type.

Instances

Instances details
type Event (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type Event (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type Event (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type Event (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type Event (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type Event (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type Event (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type Event (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type Event (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type Event (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type Event (ShelleyNEWPP era) = Void
type Event (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type Event (ShelleyPOOL era) = PoolEvent era
type Event (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type Event (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type Event (ShelleyPPUP era) = PpupEvent era
type Event (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type Event (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type Event (ShelleySNAP era) = SnapEvent era
type Event (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Event (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Event (ShelleyTICKF era)
type Event (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type Event (ShelleyUPEC era) = Void
type Event (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type Event (ShelleyUTXO era) = UtxoEvent era
type Event (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type Event (STUB e st si f m) 
Instance details

Defined in Control.State.Transition.Extended

type Event (STUB e st si f m) = Void

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

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type PredicateFailure (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type PredicateFailure (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type PredicateFailure (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type PredicateFailure (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type PredicateFailure (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type PredicateFailure (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type PredicateFailure (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type PredicateFailure (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type PredicateFailure (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type PredicateFailure (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type PredicateFailure (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type PredicateFailure (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type PredicateFailure (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type PredicateFailure (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type PredicateFailure (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type PredicateFailure (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

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

shelleyLedgerAssertions ∷ (EraGov era, State (rule era) ~ LedgerState era) ⇒ [Assertion (rule era)] Source #

data ShelleyLEDGERS era Source #

Instances

Instances details
(Era era, Embed (EraRule "LEDGER" era) (ShelleyLEDGERS era), Environment (EraRule "LEDGER" era) ~ LedgerEnv era, State (EraRule "LEDGER" era) ~ LedgerState era, Signal (EraRule "LEDGER" era) ~ Tx era, Default (LedgerState era)) ⇒ STS (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

(Era era, STS (ShelleyLEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ShelleyLedgerEvent era) ⇒ Embed (ShelleyLEDGER era) (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type BaseM (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type Environment (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type Event (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type PredicateFailure (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type Signal (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type Signal (ShelleyLEDGERS era) = Seq (Tx era)
type State (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

data ShelleyLedgersEnv era Source #

Instances

Instances details
Generic (ShelleyLedgersEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Associated Types

type Rep (ShelleyLedgersEnv era) ∷ TypeType #

Methods

fromShelleyLedgersEnv era → Rep (ShelleyLedgersEnv era) x #

toRep (ShelleyLedgersEnv era) x → ShelleyLedgersEnv era #

Show (PParamsHKD Identity era) ⇒ Show (ShelleyLedgersEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

(Era era, EncCBOR (PParamsHKD Identity era)) ⇒ EncCBOR (ShelleyLedgersEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

encCBORShelleyLedgersEnv era → Encoding Source #

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

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

NFData (PParamsHKD Identity era) ⇒ NFData (ShelleyLedgersEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

rnfShelleyLedgersEnv era → () #

Eq (PParamsHKD Identity era) ⇒ Eq (ShelleyLedgersEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type Rep (ShelleyLedgersEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type Rep (ShelleyLedgersEnv era) = D1 ('MetaData "ShelleyLedgersEnv" "Cardano.Ledger.Shelley.Rules.Ledgers" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "LedgersEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ledgersSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "ledgersEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)) :*: (S1 ('MetaSel ('Just "ledgersPp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "ledgersAccount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AccountState))))

newtype ShelleyLedgersPredFailure era Source #

Constructors

LedgerFailure (PredicateFailure (EraRule "LEDGER" era)) 

Instances

Instances details
InjectRuleFailure "BBODY" ShelleyLedgersPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Generic (ShelleyLedgersPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Associated Types

type Rep (ShelleyLedgersPredFailure era) ∷ TypeType #

(Era era, Show (PredicateFailure (EraRule "LEDGER" era))) ⇒ Show (ShelleyLedgersPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

(Era era, DecCBOR (PredicateFailure (EraRule "LEDGER" era))) ⇒ DecCBOR (ShelleyLedgersPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

(Era era, EncCBOR (PredicateFailure (EraRule "LEDGER" era))) ⇒ EncCBOR (ShelleyLedgersPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

NFData (PredicateFailure (EraRule "LEDGER" era)) ⇒ NFData (ShelleyLedgersPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

rnfShelleyLedgersPredFailure era → () #

(Era era, Eq (PredicateFailure (EraRule "LEDGER" era))) ⇒ Eq (ShelleyLedgersPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

(Era era, NoThunks (PredicateFailure (EraRule "LEDGER" era))) ⇒ NoThunks (ShelleyLedgersPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type Rep (ShelleyLedgersPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type Rep (ShelleyLedgersPredFailure era) = D1 ('MetaData "ShelleyLedgersPredFailure" "Cardano.Ledger.Shelley.Rules.Ledgers" "cardano-ledger-shelley-1.16.0.0-inplace" 'True) (C1 ('MetaCons "LedgerFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "LEDGER" era)))))

newtype ShelleyLedgersEvent era Source #

Constructors

LedgerEvent (Event (EraRule "LEDGER" 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 (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type PredicateFailure (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type PredicateFailure (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type PredicateFailure (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type PredicateFailure (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type PredicateFailure (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type PredicateFailure (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type PredicateFailure (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type PredicateFailure (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type PredicateFailure (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type PredicateFailure (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type PredicateFailure (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type PredicateFailure (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type PredicateFailure (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type PredicateFailure (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type PredicateFailure (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type PredicateFailure (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type PredicateFailure (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

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 ShelleyPOOL era Source #

Instances

Instances details
(ShelleyEraTxCert era, EraPParams era) ⇒ STS (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Associated Types

type State (ShelleyPOOL era) Source #

type Signal (ShelleyPOOL era) Source #

type Environment (ShelleyPOOL era) Source #

type BaseM (ShelleyPOOL era) ∷ TypeType Source #

type Event (ShelleyPOOL era) Source #

type PredicateFailure (ShelleyPOOL era) Source #

(Era era, STS (ShelleyPOOL era), PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, Event (EraRule "POOL" era) ~ PoolEvent era) ⇒ Embed (ShelleyPOOL era) (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type BaseM (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type Environment (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type Event (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type Event (ShelleyPOOL era) = PoolEvent era
type PredicateFailure (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type Signal (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type State (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type State (ShelleyPOOL era) = PState era

data PoolEvent era Source #

Instances

Instances details
Generic (PoolEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Associated Types

type Rep (PoolEvent era) ∷ TypeType #

Methods

fromPoolEvent era → Rep (PoolEvent era) x #

toRep (PoolEvent era) x → PoolEvent era #

NFData (PoolEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

rnfPoolEvent era → () #

Eq (PoolEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

(==)PoolEvent era → PoolEvent era → Bool #

(/=)PoolEvent era → PoolEvent era → Bool #

type Rep (PoolEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type Rep (PoolEvent era) = D1 ('MetaData "PoolEvent" "Cardano.Ledger.Shelley.Rules.Pool" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "RegisterPool" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool))) :+: C1 ('MetaCons "ReregisterPool" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool))))

data PoolEnv era Source #

Constructors

PoolEnv EpochNo (PParams era) 

Instances

Instances details
Generic (PoolEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Associated Types

type Rep (PoolEnv era) ∷ TypeType #

Methods

fromPoolEnv era → Rep (PoolEnv era) x #

toRep (PoolEnv era) x → PoolEnv era #

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

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

showsPrecIntPoolEnv era → ShowS #

showPoolEnv era → String #

showList ∷ [PoolEnv era] → ShowS #

EraPParams era ⇒ EncCBOR (PoolEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

encCBORPoolEnv era → Encoding Source #

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

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

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

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

rnfPoolEnv era → () #

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

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

(==)PoolEnv era → PoolEnv era → Bool #

(/=)PoolEnv era → PoolEnv era → Bool #

type Rep (PoolEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type Rep (PoolEnv era) = D1 ('MetaData "PoolEnv" "Cardano.Ledger.Shelley.Rules.Pool" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "PoolEnv" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams 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 (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type PredicateFailure (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type PredicateFailure (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type PredicateFailure (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type PredicateFailure (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type PredicateFailure (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type PredicateFailure (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type PredicateFailure (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type PredicateFailure (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type PredicateFailure (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type PredicateFailure (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type PredicateFailure (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type PredicateFailure (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type PredicateFailure (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type PredicateFailure (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type PredicateFailure (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type PredicateFailure (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type PredicateFailure (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

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 ShelleyPoolPredFailure era Source #

Instances

Instances details
InjectRuleFailure "BBODY" ShelleyPoolPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

InjectRuleFailure "DELPL" ShelleyPoolPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "POOL" ShelleyPoolPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Generic (ShelleyPoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Associated Types

type Rep (ShelleyPoolPredFailure era) ∷ TypeType #

Show (ShelleyPoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

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

Defined in Cardano.Ledger.Shelley.Rules.Pool

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

Defined in Cardano.Ledger.Shelley.Rules.Pool

NFData (ShelleyPoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

rnfShelleyPoolPredFailure era → () #

Eq (ShelleyPoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

NoThunks (ShelleyPoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type Rep (ShelleyPoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type Rep (ShelleyPoolPredFailure era) = D1 ('MetaData "ShelleyPoolPredFailure" "Cardano.Ledger.Shelley.Rules.Pool" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) ((C1 ('MetaCons "StakePoolNotRegisteredOnKeyPOOL" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool))) :+: C1 ('MetaCons "StakePoolRetirementWrongEpochPOOL" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelGT EpochNo)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ EpochNo)))) :+: (C1 ('MetaCons "StakePoolCostTooLowPOOL" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelGTEQ Coin))) :+: (C1 ('MetaCons "WrongNetworkPOOL" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ Network)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool))) :+: C1 ('MetaCons "PoolMedataHashTooBig" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))))

data ShelleyPPUP era Source #

Instances

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

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Associated Types

type State (ShelleyPPUP era) Source #

type Signal (ShelleyPPUP era) Source #

type Environment (ShelleyPPUP era) Source #

type BaseM (ShelleyPPUP era) ∷ TypeType Source #

type Event (ShelleyPPUP era) Source #

type PredicateFailure (ShelleyPPUP era) Source #

(Era era, STS (ShelleyPPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, Event (EraRule "PPUP" era) ~ PpupEvent era) ⇒ Embed (ShelleyPPUP era) (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type BaseM (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type Environment (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type Event (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type Event (ShelleyPPUP era) = PpupEvent era
type PredicateFailure (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type Signal (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type State (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

data PpupEnv era Source #

Constructors

PPUPEnv SlotNo (PParams era) GenDelegs 

data ShelleyPpupPredFailure era Source #

Constructors

NonGenesisUpdatePPUP (Mismatch 'RelSubset (Set (KeyHash 'Genesis)))

An update was proposed by a key hash that is not one of the genesis keys. mismatchSupplied ~ key hashes which were a part of the update. mismatchExpected ~ key hashes of the genesis keys.

PPUpdateWrongEpoch EpochNo EpochNo VotingPeriod

An update was proposed for the wrong epoch. The first EpochNo is the current epoch. The second EpochNo is the epoch listed in the update. The last parameter indicates if the update was intended for the current or the next epoch.

PVCannotFollowPPUP ProtVer

An update was proposed which contains an invalid protocol version. New protocol versions must either increase the major number by exactly one and set the minor version to zero, or keep the major version the same and increase the minor version by exactly one.

Instances

Instances details
InjectRuleFailure "BBODY" ShelleyPpupPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "PPUP" ShelleyPpupPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

InjectRuleFailure "UTXO" ShelleyPpupPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

Generic (ShelleyPpupPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Associated Types

type Rep (ShelleyPpupPredFailure era) ∷ TypeType #

Show (ShelleyPpupPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

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

Defined in Cardano.Ledger.Shelley.Rules.Ppup

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

Defined in Cardano.Ledger.Shelley.Rules.Ppup

NFData (ShelleyPpupPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Methods

rnfShelleyPpupPredFailure era → () #

Eq (ShelleyPpupPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

NoThunks (ShelleyPpupPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type Rep (ShelleyPpupPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type Rep (ShelleyPpupPredFailure era) = D1 ('MetaData "ShelleyPpupPredFailure" "Cardano.Ledger.Shelley.Rules.Ppup" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "NonGenesisUpdatePPUP" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelSubset (Set (KeyHash 'Genesis))))) :+: (C1 ('MetaCons "PPUpdateWrongEpoch" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VotingPeriod))) :+: C1 ('MetaCons "PVCannotFollowPPUP" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtVer))))

data ShelleyGovState era Source #

Constructors

ShelleyGovState 

Fields

Instances

Instances details
EraPParams era ⇒ ToJSON (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Generic (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Associated Types

type Rep (ShelleyGovState era) ∷ TypeType #

Methods

fromShelleyGovState era → Rep (ShelleyGovState era) x #

toRep (ShelleyGovState era) x → ShelleyGovState era #

(Show (PParamsUpdate era), Show (PParams era)) ⇒ Show (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Methods

showsPrecIntShelleyGovState era → ShowS #

showShelleyGovState era → String #

showList ∷ [ShelleyGovState era] → ShowS #

(Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) ⇒ FromCBOR (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

(Era era, EncCBOR (PParamsUpdate era), EncCBOR (PParams era)) ⇒ ToCBOR (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Methods

toCBORShelleyGovState era → Encoding Source #

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

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

(Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) ⇒ DecCBOR (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

(Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) ⇒ DecShareCBOR (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Associated Types

type Share (ShelleyGovState era) Source #

(Era era, EncCBOR (PParamsUpdate era), EncCBOR (PParams era)) ⇒ EncCBOR (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Methods

encCBORShelleyGovState era → Encoding Source #

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

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

EraPParams era ⇒ Default (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Methods

defShelleyGovState era Source #

(NFData (PParamsUpdate era), NFData (PParams era)) ⇒ NFData (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Methods

rnfShelleyGovState era → () #

(Eq (PParamsUpdate era), Eq (PParams era)) ⇒ Eq (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Methods

(==)ShelleyGovState era → ShelleyGovState era → Bool #

(/=)ShelleyGovState era → ShelleyGovState era → Bool #

(NoThunks (PParamsUpdate era), NoThunks (PParams era)) ⇒ NoThunks (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

type Rep (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

type Rep (ShelleyGovState era) = D1 ('MetaData "ShelleyGovState" "Cardano.Ledger.Shelley.Governance" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyGovState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sgsCurProposals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ProposedPPUpdates era)) :*: S1 ('MetaSel ('Just "sgsFutureProposals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ProposedPPUpdates era))) :*: (S1 ('MetaSel ('Just "sgsCurPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: (S1 ('MetaSel ('Just "sgsPrevPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "sgsFuturePParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (FuturePParams era))))))
type Share (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

newtype PpupEvent era Source #

Constructors

PpupNewEpoch EpochNo 

Instances

Instances details
Generic (PpupEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Associated Types

type Rep (PpupEvent era) ∷ TypeType #

Methods

fromPpupEvent era → Rep (PpupEvent era) x #

toRep (PpupEvent era) x → PpupEvent era #

NFData (PpupEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Methods

rnfPpupEvent era → () #

Eq (PpupEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Methods

(==)PpupEvent era → PpupEvent era → Bool #

(/=)PpupEvent era → PpupEvent era → Bool #

type Rep (PpupEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type Rep (PpupEvent era) = D1 ('MetaData "PpupEvent" "Cardano.Ledger.Shelley.Rules.Ppup" "cardano-ledger-shelley-1.16.0.0-inplace" 'True) (C1 ('MetaCons "PpupNewEpoch" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)))

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.