cardano-ledger-shelley-1.14.1.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, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), Era era) ⇒ Embed ledgers (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

(EraSegWits era, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), 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 Signal (ShelleyBBODY era) = Block (BHeaderView (EraCrypto era)) era
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 (EraCrypto era)) 

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 #

Instances

Instances details
InjectRuleFailure "BBODY" ShelleyBbodyPredFailure (ShelleyEra c) 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 Source #

(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.14.1.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 (EraCrypto era) 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 Source #

Methods

fromDelegEnv era → Rep (DelegEnv era) x Source #

toRep (DelegEnv era) x → DelegEnv era Source #

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

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

showsPrecIntDelegEnv era → ShowS Source #

showDelegEnv era → String Source #

showList ∷ [DelegEnv era] → ShowS Source #

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

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

rnfDelegEnv era → () 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 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.14.1.0-inplace" 'False) (C1 ('MetaCons "DelegEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "slotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "ptr_") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Ptr)) :*: (S1 ('MetaSel ('Just "acnt_") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AccountState) :*: S1 ('MetaSel ('Just "ppDE") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (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 c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

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

Defined in Cardano.Ledger.Shelley.Rules.Deleg

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

Defined in Cardano.Ledger.Shelley.Rules.Delegs

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

Defined in Cardano.Ledger.Shelley.Rules.Delpl

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

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure (ShelleyEra c) 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 Source #

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 → () Source #

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.14.1.0-inplace" 'False) ((((C1 ('MetaCons "StakeKeyAlreadyRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era)))) :+: C1 ('MetaCons "StakeKeyInRewardsDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era))))) :+: (C1 ('MetaCons "StakeKeyNotRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era)))) :+: C1 ('MetaCons "StakeKeyNonZeroAccountBalanceDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Coin))))) :+: ((C1 ('MetaCons "StakeDelegationImpossibleDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era)))) :+: C1 ('MetaCons "WrongCertificateTypeDELEG" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "GenesisKeyNotInMappingDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'Genesis (EraCrypto era)))) :+: C1 ('MetaCons "DuplicateGenesisDelegateDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'GenesisDelegate (EraCrypto era))))))) :+: (((C1 ('MetaCons "InsufficientForInstantaneousRewardsDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MIRPot) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))) :+: C1 ('MetaCons "MIRCertificateTooLateinEpochDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo))) :+: (C1 ('MetaCons "DuplicateGenesisVRFDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash (EraCrypto era) (VerKeyVRF (EraCrypto era))))) :+: C1 ('MetaCons "MIRTransferNotCurrentlyAllowed" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "MIRNegativesNotCurrentlyAllowed" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "InsufficientForTransferDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MIRPot) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))) :+: (C1 ('MetaCons "MIRProducesNegativeUpdate" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "MIRNegativeTransfer" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MIRPot) :*: S1 ('MetaSel ('NothingMaybe 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) ∷ TypeType Source #

NFData (ShelleyDelegEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

rnfShelleyDelegEvent era → () Source #

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.14.1.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 Source #

showDelegsEnv era → String Source #

showList ∷ [DelegsEnv era] → ShowS Source #

data ShelleyDelegsPredFailure era Source #

Constructors

DelegateeNotRegisteredDELEG !(KeyHash 'StakePool (EraCrypto era))

Target pool which is not registered

WithdrawalsNotInRewardsDELEGS !(Map (RewardAccount (EraCrypto era)) 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 c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

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

Defined in Cardano.Ledger.Shelley.Rules.Delegs

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

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure (ShelleyEra c) 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 Source #

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 → () Source #

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.14.1.0-inplace" 'False) (C1 ('MetaCons "DelegateeNotRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool (EraCrypto era)))) :+: (C1 ('MetaCons "WithdrawalsNotInRewardsDELEGS" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (RewardAccount (EraCrypto era)) Coin))) :+: C1 ('MetaCons "DelplFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (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 Source #

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

Defined in Cardano.Ledger.Shelley.Rules.Delegs

Methods

rnfShelleyDelegsEvent era → () Source #

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.14.1.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 (EraCrypto era), 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 DelplEnv era Source #

Constructors

DelplEnv 

data ShelleyDelplPredFailure era Source #

Constructors

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

Instances

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

Defined in Cardano.Ledger.Shelley.Rules.Bbody

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

Defined in Cardano.Ledger.Shelley.Rules.Delegs

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

Defined in Cardano.Ledger.Shelley.Rules.Delpl

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

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure (ShelleyEra c) 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 Source #

(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 → () Source #

(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.14.1.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 Source #

(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 → () Source #

(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.14.1.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

Deprecations

delPlAcntDelplEnv era → AccountState Source #

Deprecated: Use delPlAccount instead

data ShelleyLEDGER era Source #

Instances

Instances details
(DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), 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 #

Constructors

LedgerEnv 

Instances

Instances details
Generic (LedgerEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Associated Types

type Rep (LedgerEnv era) ∷ TypeType Source #

Methods

fromLedgerEnv era → Rep (LedgerEnv era) x Source #

toRep (LedgerEnv era) x → LedgerEnv era Source #

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

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

showsPrecIntLedgerEnv era → ShowS Source #

showLedgerEnv era → String Source #

showList ∷ [LedgerEnv era] → ShowS Source #

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

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

rnfLedgerEnv era → () Source #

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

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

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

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

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.14.1.0-inplace" 'False) (C1 ('MetaCons "LedgerEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ledgerSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "ledgerIx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxIx)) :*: (S1 ('MetaSel ('Just "ledgerPp") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: (S1 ('MetaSel ('Just "ledgerAccount") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AccountState) :*: S1 ('MetaSel ('Just "ledgerMempool") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)))))

data ShelleyLedgerPredFailure era Source #

Constructors

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

Instances

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

Defined in Cardano.Ledger.Shelley.Rules.Bbody

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

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure (ShelleyEra c) 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 Source #

(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 → () Source #

(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.14.1.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 Source #

(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 → () Source #

(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.14.1.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, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), 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

newtype ShelleyLedgersPredFailure era Source #

Constructors

LedgerFailure (PredicateFailure (EraRule "LEDGER" era)) 

Instances

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

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure (ShelleyEra c) 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 Source #

(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

(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.14.1.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 Source #

Methods

fromPoolEvent era → Rep (PoolEvent era) x Source #

toRep (PoolEvent era) x → PoolEvent era Source #

NFData (PoolEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

rnfPoolEvent era → () Source #

Eq (PoolEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

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

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

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.14.1.0-inplace" 'False) (C1 ('MetaCons "RegisterPool" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool (EraCrypto era)))) :+: C1 ('MetaCons "ReregisterPool" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool (EraCrypto era)))))

data PoolEnv era Source #

Constructors

PoolEnv !SlotNo !(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 Source #

Methods

fromPoolEnv era → Rep (PoolEnv era) x Source #

toRep (PoolEnv era) x → PoolEnv era Source #

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

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

showsPrecIntPoolEnv era → ShowS Source #

showPoolEnv era → String Source #

showList ∷ [PoolEnv era] → ShowS Source #

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 → () Source #

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

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

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

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

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.14.1.0-inplace" 'False) (C1 ('MetaCons "PoolEnv" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (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 c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

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

Defined in Cardano.Ledger.Shelley.Rules.Delegs

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

Defined in Cardano.Ledger.Shelley.Rules.Delpl

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

Defined in Cardano.Ledger.Shelley.Rules.Ledger

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

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "POOL" ShelleyPoolPredFailure (ShelleyEra c) 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 Source #

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 → () Source #

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.14.1.0-inplace" 'False) ((C1 ('MetaCons "StakePoolNotRegisteredOnKeyPOOL" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool (EraCrypto era)))) :+: C1 ('MetaCons "StakePoolRetirementWrongEpochPOOL" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelGT EpochNo)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelLTEQ EpochNo)))) :+: (C1 ('MetaCons "StakePoolCostTooLowPOOL" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelGTEQ Coin))) :+: (C1 ('MetaCons "WrongNetworkPOOL" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ Network)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool (EraCrypto era)))) :+: C1 ('MetaCons "PoolMedataHashTooBig" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool (EraCrypto era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (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 (EraCrypto era)) 

data ShelleyPpupPredFailure era Source #

Constructors

NonGenesisUpdatePPUP !(Mismatch 'RelSubset (Set (KeyHash 'Genesis (EraCrypto era))))

An update was proposed by a key hash that is not one of the genesis keys. The first set contains the key hashes which were a part of the update. The second set contains the 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 c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

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

Defined in Cardano.Ledger.Shelley.Rules.Ledger

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

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "PPUP" ShelleyPpupPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

InjectRuleFailure "UTXO" ShelleyPpupPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure (ShelleyEra c) 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 Source #

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 → () Source #

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

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

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

Defined in Cardano.Ledger.Shelley.Governance

(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 → () Source #

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

Defined in Cardano.Ledger.Shelley.Governance

(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.14.1.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

type Share (ShelleyGovState era) = ()

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

Methods

fromPpupEvent era → Rep (PpupEvent era) x Source #

toRep (PpupEvent era) x → PpupEvent era Source #

NFData (PpupEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Methods

rnfPpupEvent era → () Source #

Eq (PpupEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Methods

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

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

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.14.1.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.

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 VotingPeriod Source #

Instances

Instances details
Generic VotingPeriod Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Associated Types

type Rep VotingPeriodTypeType Source #

Show VotingPeriod Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

DecCBOR VotingPeriod Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

EncCBOR VotingPeriod Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

NFData VotingPeriod Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Methods

rnfVotingPeriod → () Source #

Eq VotingPeriod Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

NoThunks VotingPeriod Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type Rep VotingPeriod Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type Rep VotingPeriod = D1 ('MetaData "VotingPeriod" "Cardano.Ledger.Shelley.Rules.Ppup" "cardano-ledger-shelley-1.14.1.0-inplace" 'False) (C1 ('MetaCons "VoteForThisEpoch" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "VoteForNextEpoch" 'PrefixI 'False) (U1TypeType))

type PPUPPredFailure era = EraRuleFailure "PPUP" era Source #

Deprecated: In favor of EraRuleFailure PPUP era

votedFuturePParams Source #

Arguments

∷ ∀ era. EraPParams era 
ProposedPPUpdates era 
PParams era

Protocol parameters to which the change will be applied.

Word64

Quorum needed to change the protocol parameters.

Maybe (PParams era) 

If at least n nodes voted to change the same protocol parameters to the same values, return the given protocol parameters updated to these values. Here n is the quorum needed.

data ShelleyUTXO era Source #

Instances

Instances details
(EraTx era, EraUTxO era, ShelleyEraTxBody era, EraGov era, GovState era ~ ShelleyGovState era, ExactEra ShelleyEra era, Embed (EraRule "PPUP" era) (ShelleyUTXO era), Environment (EraRule "PPUP" era) ~ PpupEnv era, Signal (EraRule "PPUP" era) ~ StrictMaybe (Update era), State (EraRule "PPUP" era) ~ ShelleyGovState era, Eq (EraRuleFailure "PPUP" era), Show (EraRuleFailure "PPUP" era), EraRule "UTXO" era ~ ShelleyUTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era) ⇒ STS (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

Associated Types

type State (ShelleyUTXO era) Source #

type Signal (ShelleyUTXO era) Source #

type Environment (ShelleyUTXO era) Source #

type BaseM (ShelleyUTXO era) ∷ TypeType Source #

type Event (ShelleyUTXO era) Source #

type PredicateFailure (ShelleyUTXO 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

(Era era, STS (ShelleyUTXO era), PredicateFailure (EraRule "UTXO" era) ~ ShelleyUtxoPredFailure era, Event (EraRule "UTXO" era) ~ UtxoEvent era) ⇒ Embed (ShelleyUTXO era) (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type BaseM (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type Environment (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type Event (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

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

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type Signal (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

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

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type State (ShelleyUTXO era) = UTxOState era

data UtxoEnv era Source #

Constructors

UtxoEnv 

Fields

Instances

Instances details
Generic (UtxoEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

Associated Types

type Rep (UtxoEnv era) ∷ TypeType Source #

Methods

fromUtxoEnv era → Rep (UtxoEnv era) x Source #

toRep (UtxoEnv era) x → UtxoEnv era Source #

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

Defined in Cardano.Ledger.Shelley.Rules.Utxo

Methods

showsPrecIntUtxoEnv era → ShowS Source #

showUtxoEnv era → String Source #

showList ∷ [UtxoEnv era] → ShowS Source #

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

Defined in Cardano.Ledger.Shelley.Rules.Utxo

Methods

encCBORUtxoEnv era → Encoding Source #

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

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

(Era era, NFData (PParams era)) ⇒ NFData (UtxoEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

Methods

rnfUtxoEnv era → () Source #

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

Defined in Cardano.Ledger.Shelley.Rules.Utxo

Methods

(==)UtxoEnv era → UtxoEnv era → Bool Source #

(/=)UtxoEnv era → UtxoEnv era → Bool Source #

type Rep (UtxoEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type Rep (UtxoEnv era) = D1 ('MetaData "UtxoEnv" "Cardano.Ledger.Shelley.Rules.Utxo" "cardano-ledger-shelley-1.14.1.0-inplace" 'False) (C1 ('MetaCons "UtxoEnv" 'PrefixI 'True) (S1 ('MetaSel ('Just "ueSlot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: (S1 ('MetaSel ('Just "uePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "ueCertState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CertState era)))))

data ShelleyUtxoPredFailure era Source #

Instances

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

Defined in Cardano.Ledger.Shelley.Rules.Bbody

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

Defined in Cardano.Ledger.Shelley.Rules.Ledger

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

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

Generic (ShelleyUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

Associated Types

type Rep (ShelleyUtxoPredFailure era) ∷ TypeType Source #

(Show (Value era), Show (TxOut era), Show (EraRuleFailure "PPUP" era)) ⇒ Show (ShelleyUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

(EraTxOut era, DecCBOR (EraRuleFailure "PPUP" era)) ⇒ DecCBOR (ShelleyUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

(Era era, EncCBOR (Value era), EncCBOR (TxOut era), EncCBOR (EraRuleFailure "PPUP" era)) ⇒ EncCBOR (ShelleyUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

(Era era, NFData (Value era), NFData (TxOut era), NFData (EraRuleFailure "PPUP" era)) ⇒ NFData (ShelleyUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

Methods

rnfShelleyUtxoPredFailure era → () Source #

(Eq (Value era), Eq (TxOut era), Eq (EraRuleFailure "PPUP" era)) ⇒ Eq (ShelleyUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

(NoThunks (Value era), NoThunks (TxOut era), NoThunks (EraRuleFailure "PPUP" era)) ⇒ NoThunks (ShelleyUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type Rep (ShelleyUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type Rep (ShelleyUtxoPredFailure era) = D1 ('MetaData "ShelleyUtxoPredFailure" "Cardano.Ledger.Shelley.Rules.Utxo" "cardano-ledger-shelley-1.14.1.0-inplace" 'False) (((C1 ('MetaCons "BadInputsUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (TxIn (EraCrypto era))))) :+: C1 ('MetaCons "ExpiredUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo))) :+: (C1 ('MetaCons "MaxTxSizeUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelLTEQ Integer))) :+: (C1 ('MetaCons "InputSetEmptyUTxO" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "FeeTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelGTEQ Coin)))))) :+: ((C1 ('MetaCons "ValueNotConservedUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Value era)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Value era))) :+: (C1 ('MetaCons "WrongNetwork" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Addr (EraCrypto era))))) :+: C1 ('MetaCons "WrongNetworkWithdrawal" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (RewardAccount (EraCrypto era))))))) :+: (C1 ('MetaCons "OutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [TxOut era])) :+: (C1 ('MetaCons "UpdateFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EraRuleFailure "PPUP" era))) :+: C1 ('MetaCons "OutputBootAddrAttrsTooBig" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [TxOut era]))))))

data UtxoEvent era Source #

Constructors

TotalDeposits (SafeHash (EraCrypto era) EraIndependentTxBody) Coin 
UpdateEvent (Event (EraRule "PPUP" era)) 
TxUTxODiff

The UTxOs consumed and created by a signal tx

Fields

  • (UTxO era)

    UTxO consumed

  • (UTxO era)

    UTxO created

Instances

Instances details
Generic (UtxoEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

Associated Types

type Rep (UtxoEvent era) ∷ TypeType Source #

Methods

fromUtxoEvent era → Rep (UtxoEvent era) x Source #

toRep (UtxoEvent era) x → UtxoEvent era Source #

(Era era, NFData (Event (EraRule "PPUP" era)), NFData (TxOut era)) ⇒ NFData (UtxoEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

Methods

rnfUtxoEvent era → () Source #

(Era era, Eq (TxOut era), Eq (Event (EraRule "PPUP" era))) ⇒ Eq (UtxoEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

Methods

(==)UtxoEvent era → UtxoEvent era → Bool Source #

(/=)UtxoEvent era → UtxoEvent era → Bool Source #

type Rep (UtxoEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

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

updateUTxOState ∷ (EraTxBody era, Monad m) ⇒ PParams era → UTxOState era → TxBody era → CertState era → GovState era → (Coin → m ()) → (UTxO era → UTxO era → m ()) → m (UTxOState era) Source #

This monadic action captures the final stages of the UTXO(S) rule. In particular it applies all of the UTxO related aditions and removals, gathers all of the fees into the fee pot utxosFees and updates the utxosDeposited field. Continuation supplied will be called on the deposit - refund change, which is normally used to emit the TotalDeposits event.

Validations

validateInputSetEmptyUTxOEraTxBody era ⇒ TxBody era → Test (ShelleyUtxoPredFailure era) Source #

Ensure that there is at least one input in the TxBody

txins txb ≠ ∅

validateFeeTooSmallUTxOEraUTxO era ⇒ PParams era → Tx era → UTxO era → Test (ShelleyUtxoPredFailure era) Source #

Ensure that the fee is at least the amount specified by the minfee

minfee pp tx ≤ txfee txb

validateBadInputsUTxOUTxO era → Set (TxIn (EraCrypto era)) → Test (ShelleyUtxoPredFailure era) Source #

Ensure all transaction inputs are present in UTxO

inputs ⊆ dom utxo

validateWrongNetwork ∷ (EraTxOut era, Foldable f) ⇒ Network → f (TxOut era) → Test (ShelleyUtxoPredFailure era) Source #

Make sure all addresses match the supplied NetworkId

∀(_ → (a, _)) ∈ txouts txb, netId a = NetworkId

validateWrongNetworkWithdrawalEraTxBody era ⇒ NetworkTxBody era → Test (ShelleyUtxoPredFailure era) Source #

Make sure all addresses match the supplied NetworkId

∀(a → ) ∈ txwdrls txb, netId a = NetworkId

validateOutputBootAddrAttrsTooBig ∷ (EraTxOut era, Foldable f) ⇒ f (TxOut era) → Test (ShelleyUtxoPredFailure era) Source #

Bootstrap (i.e. Byron) addresses have variable sized attributes in them. It is important to limit their overall size.

∀ ( _ ↦ (a,_)) ∈ txoutstxb,  a ∈ Addrbootstrap → bootstrapAttrsSize a ≤ 64

validateMaxTxSizeUTxOEraTx era ⇒ PParams era → Tx era → Test (ShelleyUtxoPredFailure era) Source #

Ensure that the size of the transaction does not exceed the maxTxSize protocol parameter

txsize tx ≤ maxTxSize pp

validateValueNotConservedUTxOEraUTxO era ⇒ PParams era → UTxO era → CertState era → TxBody era → Test (ShelleyUtxoPredFailure era) Source #

Ensure that value consumed and produced matches up exactly

consumed pp utxo txb = produced pp poolParams txb

data ShelleyUTXOW era Source #

Instances

Instances details
(EraTx era, EraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ ShelleyScriptsNeeded era, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), Embed (EraRule "UTXO" era) (ShelleyUTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx era, EraRule "UTXOW" era ~ ShelleyUTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), EraGov era) ⇒ STS (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

(Era era, STS (ShelleyUTXO era), PredicateFailure (EraRule "UTXO" era) ~ ShelleyUtxoPredFailure era, Event (EraRule "UTXO" era) ~ UtxoEvent era) ⇒ Embed (ShelleyUTXO era) (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

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

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type Environment (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type Event (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type PredicateFailure (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type Signal (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

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

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type State (ShelleyUTXOW era) = UTxOState era

data ShelleyUtxowPredFailure era Source #

Instances

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

Defined in Cardano.Ledger.Shelley.Rules.Bbody

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

Defined in Cardano.Ledger.Shelley.Rules.Ledger

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

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

Generic (ShelleyUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

Associated Types

type Rep (ShelleyUtxowPredFailure era) ∷ TypeType Source #

(Show (PredicateFailure (EraRule "UTXO" era)), Era era) ⇒ Show (ShelleyUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

(Era era, DecCBOR (PredicateFailure (EraRule "UTXO" era)), Typeable (Script era), Typeable (TxAuxData era)) ⇒ DecCBOR (ShelleyUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

(Era era, Typeable (Script era), Typeable (TxAuxData era), EncCBOR (PredicateFailure (EraRule "UTXO" era))) ⇒ EncCBOR (ShelleyUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

(NFData (PredicateFailure (EraRule "UTXO" era)), NFData (VerKeyDSIGN (DSIGN (EraCrypto era))), Era era) ⇒ NFData (ShelleyUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

Methods

rnfShelleyUtxowPredFailure era → () Source #

(Eq (PredicateFailure (EraRule "UTXO" era)), Era era) ⇒ Eq (ShelleyUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

(NoThunks (PredicateFailure (EraRule "UTXO" era)), Era era) ⇒ NoThunks (ShelleyUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type Rep (ShelleyUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type Rep (ShelleyUtxowPredFailure era) = D1 ('MetaData "ShelleyUtxowPredFailure" "Cardano.Ledger.Shelley.Rules.Utxow" "cardano-ledger-shelley-1.14.1.0-inplace" 'False) (((C1 ('MetaCons "InvalidWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [VKey 'Witness (EraCrypto era)])) :+: C1 ('MetaCons "MissingVKeyWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (KeyHash 'Witness (EraCrypto era)))))) :+: (C1 ('MetaCons "MissingScriptWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (ScriptHash (EraCrypto era))))) :+: (C1 ('MetaCons "ScriptWitnessNotValidatingUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (ScriptHash (EraCrypto era))))) :+: C1 ('MetaCons "UtxoFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXO" era))))))) :+: ((C1 ('MetaCons "MIRInsufficientGenesisSigsUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (KeyHash 'Witness (EraCrypto era))))) :+: (C1 ('MetaCons "MissingTxBodyMetadataHash" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AuxiliaryDataHash (EraCrypto era)))) :+: C1 ('MetaCons "MissingTxMetadata" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AuxiliaryDataHash (EraCrypto era)))))) :+: (C1 ('MetaCons "ConflictingMetadataHash" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ (AuxiliaryDataHash (EraCrypto era))))) :+: (C1 ('MetaCons "InvalidMetadata" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ExtraneousScriptWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (ScriptHash (EraCrypto era)))))))))

newtype ShelleyUtxowEvent era Source #

Constructors

UtxoEvent (Event (EraRule "UTXO" era)) 

Instances

Instances details
Generic (ShelleyUtxowEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

Associated Types

type Rep (ShelleyUtxowEvent era) ∷ TypeType Source #

NFData (Event (EraRule "UTXO" era)) ⇒ NFData (ShelleyUtxowEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

Methods

rnfShelleyUtxowEvent era → () Source #

Eq (Event (EraRule "UTXO" era)) ⇒ Eq (ShelleyUtxowEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type Rep (ShelleyUtxowEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type Rep (ShelleyUtxowEvent era) = D1 ('MetaData "ShelleyUtxowEvent" "Cardano.Ledger.Shelley.Rules.Utxow" "cardano-ledger-shelley-1.14.1.0-inplace" 'True) (C1 ('MetaCons "UtxoEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "UTXO" 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

transitionRulesUTXOW ∷ ∀ era. (EraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ ShelleyScriptsNeeded era, BaseM (EraRule "UTXOW" era) ~ ShelleyBase, Embed (EraRule "UTXO" era) (EraRule "UTXOW" era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ Tx era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, STS (EraRule "UTXOW" era), DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody)) ⇒ TransitionRule (EraRule "UTXOW" era) Source #

A generic Utxow witnessing function designed to be used across many Eras. Note the embed argument lifts from the simple Shelley (ShelleyUtxowPredFailure) to the PredicateFailure (type family) of the context of where it is called.

shelleyWitsVKeyNeeded ∷ ∀ era. (EraTx era, ShelleyEraTxBody era) ⇒ UTxO era → TxBody era → GenDelegs (EraCrypto era) → Set (KeyHash 'Witness (EraCrypto era)) Source #

Deprecated: Use getShelleyWitsVKeyNeeded instead

witsVKeyNeededGov ∷ ∀ era. ShelleyEraTxBody era ⇒ TxBody era → GenDelegs (EraCrypto era) → Set (KeyHash 'Witness (EraCrypto era)) Source #

Deprecated: As unnecessary. Use getWitsVKeyNeeded instead

Collect the set of hashes of keys that needs to sign a given transaction. This set consists of the txin owners, certificate authors, and withdrawal reward accounts.

witsVKeyNeededNoGov ∷ ∀ era. EraTx era ⇒ UTxO era → TxBody era → Set (KeyHash 'Witness (EraCrypto era)) Source #

Deprecated: Use getShelleyWitsVKeyNeededNoGov instead

Individual validation steps

validateVerifiedWits ∷ (EraTx era, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody)) ⇒ Tx era → Test (ShelleyUtxowPredFailure era) Source #

Determine if the UTxO witnesses in a given transaction are correct.

validateMetadataEraTx era ⇒ PParams era → Tx era → Test (ShelleyUtxowPredFailure era) Source #

check metadata hash ((adh = ◇) ∧ (ad= ◇)) ∨ (adh = hashAD ad)

validateMIRInsufficientGenesisSigs ∷ (EraTx era, ShelleyEraTxBody era) ⇒ GenDelegs (EraCrypto era) → Word64Set (KeyHash 'Witness (EraCrypto era)) → Tx era → Test (ShelleyUtxowPredFailure era) Source #

check genesis keys signatures for instantaneous rewards certificates

genSig := { hashKey gkey | gkey ∈ dom(genDelegs)} ∩ witsKeyHashes { c ∈ txcerts txb ∩ TxCert_mir} ≠ ∅ ⇒ |genSig| ≥ Quorum

validateNeededWitnesses Source #

Arguments

EraUTxO era 
Set (KeyHash 'Witness (EraCrypto era))

Provided witness

CertState era 
UTxO era 
TxBody era 
Test (ShelleyUtxowPredFailure era) 

Verify that we provide at least all of the required witnesses

witsVKeyNeeded utxo tx ⊆ witsKeyHashes

propWitsMaybe (Update era) → GenDelegs (EraCrypto era) → Set (KeyHash 'Witness (EraCrypto era)) Source #

Deprecated: This will become an internal function in the future. Submit an issue if you still need it.

Calculate the set of hash keys of the required witnesses for update proposals.

Tick

data ShelleyEPOCH era Source #

Instances

Instances details
(EraTxOut era, EraGov era, GovState era ~ ShelleyGovState era, Embed (EraRule "SNAP" era) (ShelleyEPOCH era), Environment (EraRule "SNAP" era) ~ SnapEnv era, State (EraRule "SNAP" era) ~ SnapShots (EraCrypto era), Signal (EraRule "SNAP" era) ~ (), Embed (EraRule "POOLREAP" era) (ShelleyEPOCH era), Environment (EraRule "POOLREAP" era) ~ ShelleyPoolreapEnv era, State (EraRule "POOLREAP" era) ~ ShelleyPoolreapState era, Signal (EraRule "POOLREAP" era) ~ EpochNo, Embed (EraRule "UPEC" era) (ShelleyEPOCH era), Environment (EraRule "UPEC" era) ~ LedgerState era, State (EraRule "UPEC" era) ~ UpecState era, Signal (EraRule "UPEC" era) ~ (), Default (PParams era), Eq (UpecPredFailure era), Show (UpecPredFailure era)) ⇒ STS (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

(STS (ShelleyEPOCH era), PredicateFailure (EraRule "EPOCH" era) ~ ShelleyEpochPredFailure era, Event (EraRule "EPOCH" era) ~ ShelleyEpochEvent era) ⇒ Embed (ShelleyEPOCH era) (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

(Era era, STS (ShelleyPOOLREAP era), PredicateFailure (EraRule "POOLREAP" era) ~ ShelleyPoolreapPredFailure era, Event (EraRule "POOLREAP" era) ~ ShelleyPoolreapEvent era) ⇒ Embed (ShelleyPOOLREAP era) (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

(EraTxOut era, PredicateFailure (EraRule "SNAP" era) ~ ShelleySnapPredFailure era, Event (EraRule "SNAP" era) ~ SnapEvent era) ⇒ Embed (ShelleySNAP era) (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

(Era era, STS (ShelleyUPEC era), UpecPredFailure era ~ ShelleyUpecPredFailure era, Event (EraRule "UPEC" era) ~ Void) ⇒ Embed (ShelleyUPEC era) (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type BaseM (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type Environment (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type Environment (ShelleyEPOCH era) = ()
type Event (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type PredicateFailure (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type Signal (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type State (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type State (ShelleyEPOCH era) = EpochState era

data ShelleyEpochPredFailure era Source #

Instances

Instances details
Generic (ShelleyEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

Associated Types

type Rep (ShelleyEpochPredFailure era) ∷ TypeType Source #

(Show (PredicateFailure (EraRule "POOLREAP" era)), Show (PredicateFailure (EraRule "SNAP" era)), Show (UpecPredFailure era)) ⇒ Show (ShelleyEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

(NFData (PredicateFailure (EraRule "POOLREAP" era)), NFData (PredicateFailure (EraRule "SNAP" era)), NFData (UpecPredFailure era)) ⇒ NFData (ShelleyEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

Methods

rnfShelleyEpochPredFailure era → () Source #

(Eq (PredicateFailure (EraRule "POOLREAP" era)), Eq (PredicateFailure (EraRule "SNAP" era)), Eq (UpecPredFailure era)) ⇒ Eq (ShelleyEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

(NoThunks (PredicateFailure (EraRule "POOLREAP" era)), NoThunks (PredicateFailure (EraRule "SNAP" era)), NoThunks (UpecPredFailure era)) ⇒ NoThunks (ShelleyEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type Rep (ShelleyEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type Rep (ShelleyEpochPredFailure era) = D1 ('MetaData "ShelleyEpochPredFailure" "Cardano.Ledger.Shelley.Rules.Epoch" "cardano-ledger-shelley-1.14.1.0-inplace" 'False) (C1 ('MetaCons "PoolReapFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "POOLREAP" era)))) :+: (C1 ('MetaCons "SnapFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "SNAP" era)))) :+: C1 ('MetaCons "UpecFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UpecPredFailure era)))))

data ShelleyEpochEvent era Source #

Constructors

PoolReapEvent (Event (EraRule "POOLREAP" era)) 
SnapEvent (Event (EraRule "SNAP" era)) 
UpecEvent (Event (EraRule "UPEC" era)) 

Instances

Instances details
Generic (ShelleyEpochEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

Associated Types

type Rep (ShelleyEpochEvent era) ∷ TypeType Source #

(NFData (Event (EraRule "POOLREAP" era)), NFData (Event (EraRule "SNAP" era)), NFData (Event (EraRule "UPEC" era))) ⇒ NFData (ShelleyEpochEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

Methods

rnfShelleyEpochEvent era → () Source #

(Eq (Event (EraRule "POOLREAP" era)), Eq (Event (EraRule "SNAP" era)), Eq (Event (EraRule "UPEC" era))) ⇒ Eq (ShelleyEpochEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type Rep (ShelleyEpochEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type Rep (ShelleyEpochEvent era) = D1 ('MetaData "ShelleyEpochEvent" "Cardano.Ledger.Shelley.Rules.Epoch" "cardano-ledger-shelley-1.14.1.0-inplace" 'False) (C1 ('MetaCons "PoolReapEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "POOLREAP" era)))) :+: (C1 ('MetaCons "SnapEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "SNAP" era)))) :+: C1 ('MetaCons "UpecEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "UPEC" 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 UpecPredFailure era = UpecPredFailurePV (ProtVerLow era) era Source #

data ShelleyNEWEPOCH era Source #

Instances

Instances details
(EraTxOut era, EraGov era, Embed (EraRule "MIR" era) (ShelleyNEWEPOCH era), Embed (EraRule "EPOCH" era) (ShelleyNEWEPOCH era), Environment (EraRule "MIR" era) ~ (), State (EraRule "MIR" era) ~ EpochState era, Signal (EraRule "MIR" era) ~ (), Event (EraRule "RUPD" era) ~ RupdEvent (EraCrypto era), Environment (EraRule "EPOCH" era) ~ (), State (EraRule "EPOCH" era) ~ EpochState era, Signal (EraRule "EPOCH" era) ~ EpochNo, Default (EpochState era), Default (State (EraRule "PPUP" era)), Default (PParams era), Default (StashedAVVMAddresses era)) ⇒ STS (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

(STS (ShelleyEPOCH era), PredicateFailure (EraRule "EPOCH" era) ~ ShelleyEpochPredFailure era, Event (EraRule "EPOCH" era) ~ ShelleyEpochEvent era) ⇒ Embed (ShelleyEPOCH era) (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

(EraGov era, Default (EpochState era), PredicateFailure (EraRule "MIR" era) ~ ShelleyMirPredFailure era, Event (EraRule "MIR" era) ~ ShelleyMirEvent era) ⇒ Embed (ShelleyMIR era) (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

(STS (ShelleyNEWEPOCH era), PredicateFailure (EraRule "NEWEPOCH" era) ~ ShelleyNewEpochPredFailure era, Event (EraRule "NEWEPOCH" era) ~ ShelleyNewEpochEvent era) ⇒ Embed (ShelleyNEWEPOCH era) (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type BaseM (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type Environment (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type Event (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type PredicateFailure (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type Signal (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type State (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

data ShelleyNewEpochPredFailure era Source #

Instances

Instances details
Generic (ShelleyNewEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

Associated Types

type Rep (ShelleyNewEpochPredFailure era) ∷ TypeType Source #

(Show (PredicateFailure (EraRule "EPOCH" era)), Show (PredicateFailure (EraRule "MIR" era))) ⇒ Show (ShelleyNewEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

(NFData (PredicateFailure (EraRule "EPOCH" era)), NFData (PredicateFailure (EraRule "MIR" era))) ⇒ NFData (ShelleyNewEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

Methods

rnfShelleyNewEpochPredFailure era → () Source #

(Eq (PredicateFailure (EraRule "EPOCH" era)), Eq (PredicateFailure (EraRule "MIR" era))) ⇒ Eq (ShelleyNewEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

(NoThunks (PredicateFailure (EraRule "EPOCH" era)), NoThunks (PredicateFailure (EraRule "MIR" era))) ⇒ NoThunks (ShelleyNewEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type Rep (ShelleyNewEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type Rep (ShelleyNewEpochPredFailure era) = D1 ('MetaData "ShelleyNewEpochPredFailure" "Cardano.Ledger.Shelley.Rules.NewEpoch" "cardano-ledger-shelley-1.14.1.0-inplace" 'False) (C1 ('MetaCons "EpochFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "EPOCH" era)))) :+: (C1 ('MetaCons "CorruptRewardUpdate" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RewardUpdate (EraCrypto era)))) :+: C1 ('MetaCons "MirFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "MIR" era))))))

data ShelleyNewEpochEvent era Source #

Instances

Instances details
Generic (ShelleyNewEpochEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

Associated Types

type Rep (ShelleyNewEpochEvent era) ∷ TypeType Source #

(NFData (Event (EraRule "EPOCH" era)), NFData (Event (EraRule "MIR" era)), NFData (Event (EraRule "RUPD" era))) ⇒ NFData (ShelleyNewEpochEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

Methods

rnfShelleyNewEpochEvent era → () Source #

(Eq (Event (EraRule "EPOCH" era)), Eq (Event (EraRule "MIR" era)), Eq (Event (EraRule "RUPD" era))) ⇒ Eq (ShelleyNewEpochEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type Rep (ShelleyNewEpochEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type Rep (ShelleyNewEpochEvent era) = D1 ('MetaData "ShelleyNewEpochEvent" "Cardano.Ledger.Shelley.Rules.NewEpoch" "cardano-ledger-shelley-1.14.1.0-inplace" 'False) ((C1 ('MetaCons "DeltaRewardEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "RUPD" era)))) :+: (C1 ('MetaCons "RestrainedRewards" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking (EraCrypto era)) (Set (Reward (EraCrypto era))))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (Credential 'Staking (EraCrypto era)))))) :+: C1 ('MetaCons "TotalRewardEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking (EraCrypto era)) (Set (Reward (EraCrypto era)))))))) :+: (C1 ('MetaCons "EpochEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "EPOCH" era)))) :+: (C1 ('MetaCons "MirEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "MIR" era)))) :+: C1 ('MetaCons "TotalAdaPotsEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AdaPots)))))

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

Instances

Instances details
(Era era, EraGov era) ⇒ STS (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

Associated Types

type State (ShelleyRUPD era) Source #

type Signal (ShelleyRUPD era) Source #

type Environment (ShelleyRUPD era) Source #

type BaseM (ShelleyRUPD era) ∷ TypeType Source #

type Event (ShelleyRUPD era) Source #

type PredicateFailure (ShelleyRUPD era) Source #

(Era era, STS (ShelleyRUPD era), PredicateFailure (EraRule "RUPD" era) ~ ShelleyRupdPredFailure era, Event (EraRule "RUPD" era) ~ RupdEvent (EraCrypto era)) ⇒ Embed (ShelleyRUPD era) (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type BaseM (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type Environment (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type Event (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type PredicateFailure (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type Signal (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type State (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

data RupdEnv era Source #

Constructors

RupdEnv !(BlocksMade (EraCrypto era)) !(EpochState 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 ShelleyRupdPredFailure era Source #

Instances

Instances details
Generic (ShelleyRupdPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

Associated Types

type Rep (ShelleyRupdPredFailure era) ∷ TypeType Source #

Show (ShelleyRupdPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

NFData (ShelleyRupdPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

Methods

rnfShelleyRupdPredFailure era → () Source #

Eq (ShelleyRupdPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

NoThunks (ShelleyRupdPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type Rep (ShelleyRupdPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type Rep (ShelleyRupdPredFailure era) = D1 ('MetaData "ShelleyRupdPredFailure" "Cardano.Ledger.Shelley.Rules.Rupd" "cardano-ledger-shelley-1.14.1.0-inplace" 'False) (V1TypeType)

data PulsingRewUpdate c Source #

The state used in the STS rules

Constructors

Pulsing !(RewardSnapShot c) !(Pulser c) 
Complete !(RewardUpdate c) 

Instances

Instances details
Crypto c ⇒ ToJSON (PulsingRewUpdate c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Generic (PulsingRewUpdate c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Associated Types

type Rep (PulsingRewUpdate c) ∷ TypeType Source #

Show (PulsingRewUpdate c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Crypto c ⇒ DecCBOR (PulsingRewUpdate c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Crypto c ⇒ EncCBOR (PulsingRewUpdate c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

NFData (PulsingRewUpdate c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

rnfPulsingRewUpdate c → () Source #

Eq (PulsingRewUpdate c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Typeable c ⇒ NoThunks (PulsingRewUpdate c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

type Rep (PulsingRewUpdate c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

type Rep (PulsingRewUpdate c) = D1 ('MetaData "PulsingRewUpdate" "Cardano.Ledger.Shelley.RewardUpdate" "cardano-ledger-shelley-1.14.1.0-inplace" 'False) (C1 ('MetaCons "Pulsing" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RewardSnapShot c)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Pulser c))) :+: C1 ('MetaCons "Complete" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RewardUpdate c))))

pulseStepPulsingRewUpdate c → ShelleyBase (PulsingRewUpdate c, RewardEvent c) Source #

Run the pulser for a bit. If is has nothing left to do, complete it.

lift ∷ (MonadTrans t, Monad m) ⇒ m a → t m a Source #

Lift a computation from the argument monad to the constructed monad.

newtype Identity a Source #

Identity functor and monad. (a non-strict monad)

Since: base-4.8.0.0

Constructors

Identity 

Fields

Instances

Instances details
Representable Identity 
Instance details

Defined in Data.Functor.Rep

Associated Types

type Rep Identity Source #

Methods

tabulate ∷ (Rep Identity → a) → Identity a Source #

indexIdentity a → Rep Identity → a Source #

FromJSON1 Identity 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

liftParseJSONMaybe a → (ValueParser a) → (ValueParser [a]) → ValueParser (Identity a) Source #

liftParseJSONListMaybe a → (ValueParser a) → (ValueParser [a]) → ValueParser [Identity a] Source #

liftOmittedFieldMaybe a → Maybe (Identity a) Source #

ToJSON1 Identity 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

liftToJSON ∷ (a → Bool) → (a → Value) → ([a] → Value) → Identity a → Value Source #

liftToJSONList ∷ (a → Bool) → (a → Value) → ([a] → Value) → [Identity a] → Value Source #

liftToEncoding ∷ (a → Bool) → (a → Encoding) → ([a] → Encoding) → Identity a → Encoding Source #

liftToEncodingList ∷ (a → Bool) → (a → Encoding) → ([a] → Encoding) → [Identity a] → Encoding Source #

liftOmitField ∷ (a → Bool) → Identity a → Bool Source #

MonadFix Identity

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Identity

Methods

mfix ∷ (a → Identity a) → Identity a Source #

Foldable Identity

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Identity

Methods

foldMonoid m ⇒ Identity m → m Source #

foldMapMonoid m ⇒ (a → m) → Identity a → m Source #

foldMap'Monoid m ⇒ (a → m) → Identity a → m Source #

foldr ∷ (a → b → b) → b → Identity a → b Source #

foldr' ∷ (a → b → b) → b → Identity a → b Source #

foldl ∷ (b → a → b) → b → Identity a → b Source #

foldl' ∷ (b → a → b) → b → Identity a → b Source #

foldr1 ∷ (a → a → a) → Identity a → a Source #

foldl1 ∷ (a → a → a) → Identity a → a Source #

toListIdentity a → [a] Source #

nullIdentity a → Bool Source #

lengthIdentity a → Int Source #

elemEq a ⇒ a → Identity a → Bool Source #

maximumOrd a ⇒ Identity a → a Source #

minimumOrd a ⇒ Identity a → a Source #

sumNum a ⇒ Identity a → a Source #

productNum a ⇒ Identity a → a Source #

Foldable Node 
Instance details

Defined in Hedgehog.Internal.Tree

Methods

foldMonoid m ⇒ Node m → m Source #

foldMapMonoid m ⇒ (a → m) → Node a → m Source #

foldMap'Monoid m ⇒ (a → m) → Node a → m Source #

foldr ∷ (a → b → b) → b → Node a → b Source #

foldr' ∷ (a → b → b) → b → Node a → b Source #

foldl ∷ (b → a → b) → b → Node a → b Source #

foldl' ∷ (b → a → b) → b → Node a → b Source #

foldr1 ∷ (a → a → a) → Node a → a Source #

foldl1 ∷ (a → a → a) → Node a → a Source #

toListNode a → [a] Source #

nullNode a → Bool Source #

lengthNode a → Int Source #

elemEq a ⇒ a → Node a → Bool Source #

maximumOrd a ⇒ Node a → a Source #

minimumOrd a ⇒ Node a → a Source #

sumNum a ⇒ Node a → a Source #

productNum a ⇒ Node a → a Source #

Foldable Tree 
Instance details

Defined in Hedgehog.Internal.Tree

Methods

foldMonoid m ⇒ Tree m → m Source #

foldMapMonoid m ⇒ (a → m) → Tree a → m Source #

foldMap'Monoid m ⇒ (a → m) → Tree a → m Source #

foldr ∷ (a → b → b) → b → Tree a → b Source #

foldr' ∷ (a → b → b) → b → Tree a → b Source #

foldl ∷ (b → a → b) → b → Tree a → b Source #

foldl' ∷ (b → a → b) → b → Tree a → b Source #

foldr1 ∷ (a → a → a) → Tree a → a Source #

foldl1 ∷ (a → a → a) → Tree a → a Source #

toListTree a → [a] Source #

nullTree a → Bool Source #

lengthTree a → Int Source #

elemEq a ⇒ a → Tree a → Bool Source #

maximumOrd a ⇒ Tree a → a Source #

minimumOrd a ⇒ Tree a → a Source #

sumNum a ⇒ Tree a → a Source #

productNum a ⇒ Tree a → a Source #

Eq1 Identity

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftEq ∷ (a → b → Bool) → Identity a → Identity b → Bool Source #

Ord1 Identity

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftCompare ∷ (a → b → Ordering) → Identity a → Identity b → Ordering Source #

Read1 Identity

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftReadsPrec ∷ (IntReadS a) → ReadS [a] → IntReadS (Identity a) Source #

liftReadList ∷ (IntReadS a) → ReadS [a] → ReadS [Identity a] Source #

liftReadPrecReadPrec a → ReadPrec [a] → ReadPrec (Identity a) Source #

liftReadListPrecReadPrec a → ReadPrec [a] → ReadPrec [Identity a] Source #

Show1 Identity

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftShowsPrec ∷ (Int → a → ShowS) → ([a] → ShowS) → IntIdentity a → ShowS Source #

liftShowList ∷ (Int → a → ShowS) → ([a] → ShowS) → [Identity a] → ShowS Source #

Traversable Identity

Since: base-4.9.0.0

Instance details

Defined in Data.Traversable

Methods

traverseApplicative f ⇒ (a → f b) → Identity a → f (Identity b) Source #

sequenceAApplicative f ⇒ Identity (f a) → f (Identity a) Source #

mapMMonad m ⇒ (a → m b) → Identity a → m (Identity b) Source #

sequenceMonad m ⇒ Identity (m a) → m (Identity a) Source #

Traversable Node 
Instance details

Defined in Hedgehog.Internal.Tree

Methods

traverseApplicative f ⇒ (a → f b) → Node a → f (Node b) Source #

sequenceAApplicative f ⇒ Node (f a) → f (Node a) Source #

mapMMonad m ⇒ (a → m b) → Node a → m (Node b) Source #

sequenceMonad m ⇒ Node (m a) → m (Node a) Source #

Traversable Tree 
Instance details

Defined in Hedgehog.Internal.Tree

Methods

traverseApplicative f ⇒ (a → f b) → Tree a → f (Tree b) Source #

sequenceAApplicative f ⇒ Tree (f a) → f (Tree a) Source #

mapMMonad m ⇒ (a → m b) → Tree a → m (Tree b) Source #

sequenceMonad m ⇒ Tree (m a) → m (Tree a) Source #

Applicative Identity

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Identity

Methods

pure ∷ a → Identity a Source #

(<*>)Identity (a → b) → Identity a → Identity b Source #

liftA2 ∷ (a → b → c) → Identity a → Identity b → Identity c Source #

(*>)Identity a → Identity b → Identity b Source #

(<*)Identity a → Identity b → Identity a Source #

Functor Identity

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Identity

Methods

fmap ∷ (a → b) → Identity a → Identity b Source #

(<$) ∷ a → Identity b → Identity a Source #

Monad Identity

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Identity

Methods

(>>=)Identity a → (a → Identity b) → Identity b Source #

(>>)Identity a → Identity b → Identity b Source #

return ∷ a → Identity a Source #

HKDApplicative Identity 
Instance details

Defined in Cardano.Ledger.HKD

Methods

hkdPure ∷ a → HKD Identity a Source #

hkdLiftA2 ∷ (a → b → c) → HKD Identity a → HKD Identity b → HKD Identity c Source #

HKDFunctor Identity 
Instance details

Defined in Cardano.Ledger.HKD

NFData1 Identity

Since: deepseq-1.4.3.0

Instance details

Defined in Control.DeepSeq

Methods

liftRnf ∷ (a → ()) → Identity a → () Source #

Hashable1 Identity 
Instance details

Defined in Data.Hashable.Class

Methods

liftHashWithSalt ∷ (Int → a → Int) → IntIdentity a → Int Source #

Generic1 Identity 
Instance details

Defined in Data.Functor.Identity

Associated Types

type Rep1 Identity ∷ k → Type Source #

Methods

from1 ∷ ∀ (a ∷ k). Identity a → Rep1 Identity a Source #

to1 ∷ ∀ (a ∷ k). Rep1 Identity a → Identity a Source #

MonadBaseControl Identity Identity 
Instance details

Defined in Control.Monad.Trans.Control

Associated Types

type StM Identity a Source #

Cosieve ReifiedGetter Identity 
Instance details

Defined in Control.Lens.Reified

Methods

cosieveReifiedGetter a b → Identity a → b Source #

Sieve ReifiedGetter Identity 
Instance details

Defined in Control.Lens.Reified

Methods

sieveReifiedGetter a b → a → Identity b Source #

PrettyBy config a ⇒ DefaultPrettyBy config (Identity a) 
Instance details

Defined in Text.PrettyBy.Internal

Methods

defaultPrettyBy ∷ config → Identity a → Doc ann Source #

defaultPrettyListBy ∷ config → [Identity a] → Doc ann Source #

PrettyDefaultBy config (Identity a) ⇒ PrettyBy config (Identity a)
>>> prettyBy () (Identity True)
True
Instance details

Defined in Text.PrettyBy.Internal

Methods

prettyBy ∷ config → Identity a → Doc ann Source #

prettyListBy ∷ config → [Identity a] → Doc ann Source #

Unbox a ⇒ Vector Vector (Identity a) 
Instance details

Defined in Data.Vector.Unboxed.Base

Unbox a ⇒ MVector MVector (Identity a) 
Instance details

Defined in Data.Vector.Unboxed.Base

FromJSON a ⇒ FromJSON (Identity a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON (CekMachineCostsBase Identity) 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts

FromJSONKey a ⇒ FromJSONKey (Identity a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

ToJSON a ⇒ ToJSON (Identity a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON (CekMachineCostsBase Identity) 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts

ToJSONKey a ⇒ ToJSONKey (Identity a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

IsString a ⇒ IsString (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.String

Methods

fromStringStringIdentity a Source #

Storable a ⇒ Storable (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

Methods

sizeOfIdentity a → Int Source #

alignmentIdentity a → Int Source #

peekElemOffPtr (Identity a) → IntIO (Identity a) Source #

pokeElemOffPtr (Identity a) → IntIdentity a → IO () Source #

peekByteOffPtr b → IntIO (Identity a) Source #

pokeByteOffPtr b → IntIdentity a → IO () Source #

peekPtr (Identity a) → IO (Identity a) Source #

pokePtr (Identity a) → Identity a → IO () Source #

Monoid a ⇒ Monoid (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

Semigroup a ⇒ Semigroup (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

Methods

(<>)Identity a → Identity a → Identity a Source #

sconcatNonEmpty (Identity a) → Identity a Source #

stimesIntegral b ⇒ b → Identity a → Identity a Source #

Bits a ⇒ Bits (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

FiniteBits a ⇒ FiniteBits (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

Bounded a ⇒ Bounded (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

Enum a ⇒ Enum (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

Floating a ⇒ Floating (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

RealFloat a ⇒ RealFloat (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

Generic (Identity a) 
Instance details

Defined in Data.Functor.Identity

Associated Types

type Rep (Identity a) ∷ TypeType Source #

Methods

fromIdentity a → Rep (Identity a) x Source #

toRep (Identity a) x → Identity a Source #

Ix a ⇒ Ix (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

Num a ⇒ Num (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

Read a ⇒ Read (Identity a)

This instance would be equivalent to the derived instances of the Identity newtype if the runIdentity field were removed

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Identity

Fractional a ⇒ Fractional (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

Integral a ⇒ Integral (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

Real a ⇒ Real (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

RealFrac a ⇒ RealFrac (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

Methods

properFractionIntegral b ⇒ Identity a → (b, Identity a) Source #

truncateIntegral b ⇒ Identity a → b Source #

roundIntegral b ⇒ Identity a → b Source #

ceilingIntegral b ⇒ Identity a → b Source #

floorIntegral b ⇒ Identity a → b Source #

Show a ⇒ Show (Identity a)

This instance would be equivalent to the derived instances of the Identity newtype if the runIdentity field were removed

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Identity

Crypto c ⇒ DecCBOR (Pulser c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

decCBORDecoder s (Pulser c) Source #

dropCBORProxy (Pulser c) → Decoder s () Source #

labelProxy (Pulser c) → Text Source #

Crypto c ⇒ EncCBOR (Pulser c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

encCBORPulser c → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Pulser c) → Size Source #

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

NFData a ⇒ NFData (Identity a)

Since: deepseq-1.4.0.0

Instance details

Defined in Control.DeepSeq

Methods

rnfIdentity a → () Source #

NFData (Pulser c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

rnfPulser c → () Source #

Eq a ⇒ Eq (Identity a)

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Identity

Methods

(==)Identity a → Identity a → Bool Source #

(/=)Identity a → Identity a → Bool Source #

Ord a ⇒ Ord (Identity a)

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Identity

Methods

compareIdentity a → Identity a → Ordering Source #

(<)Identity a → Identity a → Bool Source #

(<=)Identity a → Identity a → Bool Source #

(>)Identity a → Identity a → Bool Source #

(>=)Identity a → Identity a → Bool Source #

maxIdentity a → Identity a → Identity a Source #

minIdentity a → Identity a → Identity a Source #

Abelian a ⇒ Abelian (Identity a) 
Instance details

Defined in Data.Group

Cyclic a ⇒ Cyclic (Identity a) 
Instance details

Defined in Data.Group

Methods

generatorIdentity a Source #

Group a ⇒ Group (Identity a)

Identity lifts groups pointwise (at only one point).

Instance details

Defined in Data.Group

Methods

invertIdentity a → Identity a Source #

(~~)Identity a → Identity a → Identity a Source #

powIntegral x ⇒ Identity a → x → Identity a Source #

Hashable a ⇒ Hashable (Identity a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntIdentity a → Int Source #

hashIdentity a → Int Source #

Ixed (Identity a) 
Instance details

Defined in Control.Lens.At

Methods

ixIndex (Identity a) → Traversal' (Identity a) (IxValue (Identity a)) Source #

Wrapped (Identity a) 
Instance details

Defined in Control.Lens.Wrapped

Associated Types

type Unwrapped (Identity a) Source #

MonoFoldable (Identity a) 
Instance details

Defined in Data.MonoTraversable

Methods

ofoldMapMonoid m ⇒ (Element (Identity a) → m) → Identity a → m Source #

ofoldr ∷ (Element (Identity a) → b → b) → b → Identity a → b Source #

ofoldl' ∷ (a0 → Element (Identity a) → a0) → a0 → Identity a → a0 Source #

otoListIdentity a → [Element (Identity a)] Source #

oall ∷ (Element (Identity a) → Bool) → Identity a → Bool Source #

oany ∷ (Element (Identity a) → Bool) → Identity a → Bool Source #

onullIdentity a → Bool Source #

olengthIdentity a → Int Source #

olength64Identity a → Int64 Source #

ocompareLengthIntegral i ⇒ Identity a → i → Ordering Source #

otraverse_Applicative f ⇒ (Element (Identity a) → f b) → Identity a → f () Source #

ofor_Applicative f ⇒ Identity a → (Element (Identity a) → f b) → f () Source #

omapM_Applicative m ⇒ (Element (Identity a) → m ()) → Identity a → m () Source #

oforM_Applicative m ⇒ Identity a → (Element (Identity a) → m ()) → m () Source #

ofoldlMMonad m ⇒ (a0 → Element (Identity a) → m a0) → a0 → Identity a → m a0 Source #

ofoldMap1ExSemigroup m ⇒ (Element (Identity a) → m) → Identity a → m Source #

ofoldr1Ex ∷ (Element (Identity a) → Element (Identity a) → Element (Identity a)) → Identity a → Element (Identity a) Source #

ofoldl1Ex' ∷ (Element (Identity a) → Element (Identity a) → Element (Identity a)) → Identity a → Element (Identity a) Source #

headExIdentity a → Element (Identity a) Source #

lastExIdentity a → Element (Identity a) Source #

unsafeHeadIdentity a → Element (Identity a) Source #

unsafeLastIdentity a → Element (Identity a) Source #

maximumByEx ∷ (Element (Identity a) → Element (Identity a) → Ordering) → Identity a → Element (Identity a) Source #

minimumByEx ∷ (Element (Identity a) → Element (Identity a) → Ordering) → Identity a → Element (Identity a) Source #

oelemElement (Identity a) → Identity a → Bool Source #

onotElemElement (Identity a) → Identity a → Bool Source #

MonoFunctor (Identity a) 
Instance details

Defined in Data.MonoTraversable

Methods

omap ∷ (Element (Identity a) → Element (Identity a)) → Identity a → Identity a Source #

MonoPointed (Identity a) 
Instance details

Defined in Data.MonoTraversable

Methods

opointElement (Identity a) → Identity a Source #

MonoTraversable (Identity a) 
Instance details

Defined in Data.MonoTraversable

Methods

otraverseApplicative f ⇒ (Element (Identity a) → f (Element (Identity a))) → Identity a → f (Identity a) Source #

omapMApplicative m ⇒ (Element (Identity a) → m (Element (Identity a))) → Identity a → m (Identity a) Source #

NoThunks a ⇒ NoThunks (Identity a) 
Instance details

Defined in NoThunks.Class

Typeable c ⇒ NoThunks (Pulser c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Pretty a ⇒ Pretty (Identity a)
>>> pretty (Identity 1)
1
Instance details

Defined in Prettyprinter.Internal

Methods

prettyIdentity a → Doc ann Source #

prettyList ∷ [Identity a] → Doc ann Source #

Prim a ⇒ Prim (Identity a)

Since: primitive-0.6.5.0

Instance details

Defined in Data.Primitive.Types

Serialise a ⇒ Serialise (Identity a)

Since: serialise-0.2.0.0

Instance details

Defined in Codec.Serialise.Class

Unbox a ⇒ Unbox (Identity a) 
Instance details

Defined in Data.Vector.Unboxed.Base

t ~ Identity b ⇒ Rewrapped (Identity a) t 
Instance details

Defined in Control.Lens.Wrapped

Field1 (Identity a) (Identity b) a b 
Instance details

Defined in Control.Lens.Tuple

Methods

_1Lens (Identity a) (Identity b) a b Source #

FromJSON (ShelleyPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

(EraPParams era, PParamsHKD Identity era ~ ShelleyPParams Identity era, ProtVerAtMost era 4, ProtVerAtMost era 6, ProtVerAtMost era 8) ⇒ ToJSON (ShelleyPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Show (ShelleyPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Era era ⇒ FromCBOR (ShelleyPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Era era ⇒ ToCBOR (ShelleyPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Era era ⇒ DecCBOR (ShelleyPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Era era ⇒ EncCBOR (ShelleyPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

NFData (ShelleyPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Methods

rnfShelleyPParams Identity era → () Source #

Eq (ShelleyPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Ord (ShelleyPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

NoThunks (ShelleyPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type Rep Identity 
Instance details

Defined in Data.Functor.Rep

type Rep Identity = ()
type Rep1 Identity

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Identity

type Rep1 Identity = D1 ('MetaData "Identity" "Data.Functor.Identity" "base" 'True) (C1 ('MetaCons "Identity" 'PrefixI 'True) (S1 ('MetaSel ('Just "runIdentity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))
type StM Identity a 
Instance details

Defined in Control.Monad.Trans.Control

type StM Identity a = a
newtype MVector s (Identity a) 
Instance details

Defined in Data.Vector.Unboxed.Base

newtype MVector s (Identity a) = MV_Identity (MVector s a)
type Rep (Identity a)

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Identity

type Rep (Identity a) = D1 ('MetaData "Identity" "Data.Functor.Identity" "base" 'True) (C1 ('MetaCons "Identity" 'PrefixI 'True) (S1 ('MetaSel ('Just "runIdentity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))
type Index (Identity a) 
Instance details

Defined in Control.Lens.At

type Index (Identity a) = ()
type IxValue (Identity a) 
Instance details

Defined in Control.Lens.At

type IxValue (Identity a) = a
type Unwrapped (Identity a) 
Instance details

Defined in Control.Lens.Wrapped

type Unwrapped (Identity a) = a
type Element (Identity a) 
Instance details

Defined in Data.MonoTraversable

type Element (Identity a) = a
newtype Vector (Identity a) 
Instance details

Defined in Data.Vector.Unboxed.Base

newtype Vector (Identity a) = V_Identity (Vector a)

data RupdEvent c Source #

Constructors

RupdEvent !EpochNo !(Map (Credential 'Staking c) (Set (Reward c))) 

Instances

Instances details
Generic (RupdEvent c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

Associated Types

type Rep (RupdEvent c) ∷ TypeType Source #

Methods

fromRupdEvent c → Rep (RupdEvent c) x Source #

toRep (RupdEvent c) x → RupdEvent c Source #

NFData (RupdEvent c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

Methods

rnfRupdEvent c → () Source #

Eq (RupdEvent c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

Methods

(==)RupdEvent c → RupdEvent c → Bool Source #

(/=)RupdEvent c → RupdEvent c → Bool Source #

type Rep (RupdEvent c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type Rep (RupdEvent c) = D1 ('MetaData "RupdEvent" "Cardano.Ledger.Shelley.Rules.Rupd" "cardano-ledger-shelley-1.14.1.0-inplace" 'False) (C1 ('MetaCons "RupdEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking c) (Set (Reward c))))))

data ShelleySNAP era Source #

Instances

Instances details
EraTxOut era ⇒ STS (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

Associated Types

type State (ShelleySNAP era) Source #

type Signal (ShelleySNAP era) Source #

type Environment (ShelleySNAP era) Source #

type BaseM (ShelleySNAP era) ∷ TypeType Source #

type Event (ShelleySNAP era) Source #

type PredicateFailure (ShelleySNAP era) Source #

(EraTxOut era, PredicateFailure (EraRule "SNAP" era) ~ ShelleySnapPredFailure era, Event (EraRule "SNAP" era) ~ SnapEvent era) ⇒ Embed (ShelleySNAP era) (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type BaseM (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type Environment (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type Event (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

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

Defined in Cardano.Ledger.Shelley.Rules.Snap

type Signal (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type Signal (ShelleySNAP era) = ()
type State (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

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

Instances

Instances details
Generic (ShelleySnapPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

Associated Types

type Rep (ShelleySnapPredFailure era) ∷ TypeType Source #

Show (ShelleySnapPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

NFData (ShelleySnapPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

Methods

rnfShelleySnapPredFailure era → () Source #

Eq (ShelleySnapPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

NoThunks (ShelleySnapPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type Rep (ShelleySnapPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type Rep (ShelleySnapPredFailure era) = D1 ('MetaData "ShelleySnapPredFailure" "Cardano.Ledger.Shelley.Rules.Snap" "cardano-ledger-shelley-1.14.1.0-inplace" 'False) (V1TypeType)

newtype SnapEvent era Source #

Instances

Instances details
Generic (SnapEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

Associated Types

type Rep (SnapEvent era) ∷ TypeType Source #

Methods

fromSnapEvent era → Rep (SnapEvent era) x Source #

toRep (SnapEvent era) x → SnapEvent era Source #

NFData (SnapEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

Methods

rnfSnapEvent era → () Source #

Eq (SnapEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

Methods

(==)SnapEvent era → SnapEvent era → Bool Source #

(/=)SnapEvent era → SnapEvent era → Bool Source #

type Rep (SnapEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type Rep (SnapEvent era) = D1 ('MetaData "SnapEvent" "Cardano.Ledger.Shelley.Rules.Snap" "cardano-ledger-shelley-1.14.1.0-inplace" 'True) (C1 ('MetaCons "StakeDistEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking (EraCrypto era)) (Coin, KeyHash 'StakePool (EraCrypto era))))))

data SnapEnv era Source #

Constructors

SnapEnv !(LedgerState era) !(PParams era) 

data ShelleyTICK era Source #

Instances

Instances details
(EraGov era, Embed (EraRule "NEWEPOCH" era) (ShelleyTICK era), Embed (EraRule "RUPD" era) (ShelleyTICK era), State (ShelleyTICK era) ~ NewEpochState era, BaseM (ShelleyTICK era) ~ ShelleyBase, Environment (EraRule "RUPD" era) ~ RupdEnv era, State (EraRule "RUPD" era) ~ StrictMaybe (PulsingRewUpdate (EraCrypto era)), Signal (EraRule "RUPD" era) ~ SlotNo, Environment (EraRule "NEWEPOCH" era) ~ (), State (EraRule "NEWEPOCH" era) ~ NewEpochState era, Signal (EraRule "NEWEPOCH" era) ~ EpochNo) ⇒ STS (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

Associated Types

type State (ShelleyTICK era) Source #

type Signal (ShelleyTICK era) Source #

type Environment (ShelleyTICK era) Source #

type BaseM (ShelleyTICK era) ∷ TypeType Source #

type Event (ShelleyTICK era) Source #

type PredicateFailure (ShelleyTICK era) Source #

(STS (ShelleyNEWEPOCH era), PredicateFailure (EraRule "NEWEPOCH" era) ~ ShelleyNewEpochPredFailure era, Event (EraRule "NEWEPOCH" era) ~ ShelleyNewEpochEvent era) ⇒ Embed (ShelleyNEWEPOCH era) (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

(Era era, STS (ShelleyRUPD era), PredicateFailure (EraRule "RUPD" era) ~ ShelleyRupdPredFailure era, Event (EraRule "RUPD" era) ~ RupdEvent (EraCrypto era)) ⇒ Embed (ShelleyRUPD era) (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type BaseM (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Environment (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Environment (ShelleyTICK era) = ()
type Event (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Signal (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type State (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

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

Constructors

NewEpochFailure (PredicateFailure (EraRule "NEWEPOCH" era)) 
RupdFailure (PredicateFailure (EraRule "RUPD" era)) 

Instances

Instances details
Generic (ShelleyTickPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

Associated Types

type Rep (ShelleyTickPredFailure era) ∷ TypeType Source #

(Show (PredicateFailure (EraRule "NEWEPOCH" era)), Show (PredicateFailure (EraRule "RUPD" era))) ⇒ Show (ShelleyTickPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

(NFData (PredicateFailure (EraRule "NEWEPOCH" era)), NFData (PredicateFailure (EraRule "RUPD" era))) ⇒ NFData (ShelleyTickPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

Methods

rnfShelleyTickPredFailure era → () Source #

(Eq (PredicateFailure (EraRule "NEWEPOCH" era)), Eq (PredicateFailure (EraRule "RUPD" era))) ⇒ Eq (ShelleyTickPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

(NoThunks (PredicateFailure (EraRule "NEWEPOCH" era)), NoThunks (PredicateFailure (EraRule "RUPD" era))) ⇒ NoThunks (ShelleyTickPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Rep (ShelleyTickPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Rep (ShelleyTickPredFailure era) = D1 ('MetaData "ShelleyTickPredFailure" "Cardano.Ledger.Shelley.Rules.Tick" "cardano-ledger-shelley-1.14.1.0-inplace" 'False) (C1 ('MetaCons "NewEpochFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "NEWEPOCH" era)))) :+: C1 ('MetaCons "RupdFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "RUPD" era)))))

data ShelleyTickEvent era Source #

Constructors

TickNewEpochEvent (Event (EraRule "NEWEPOCH" era)) 
TickRupdEvent (Event (EraRule "RUPD" era)) 

Instances

Instances details
Generic (ShelleyTickEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

Associated Types

type Rep (ShelleyTickEvent era) ∷ TypeType Source #

(NFData (Event (EraRule "NEWEPOCH" era)), NFData (Event (EraRule "RUPD" era))) ⇒ NFData (ShelleyTickEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

Methods

rnfShelleyTickEvent era → () Source #

(Eq (Event (EraRule "NEWEPOCH" era)), Eq (Event (EraRule "RUPD" era))) ⇒ Eq (ShelleyTickEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Rep (ShelleyTickEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Rep (ShelleyTickEvent era) = D1 ('MetaData "ShelleyTickEvent" "Cardano.Ledger.Shelley.Rules.Tick" "cardano-ledger-shelley-1.14.1.0-inplace" 'False) (C1 ('MetaCons "TickNewEpochEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "NEWEPOCH" era)))) :+: C1 ('MetaCons "TickRupdEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "RUPD" 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 ShelleyTICKF era Source #

Instances

Instances details
(EraGov era, GovState era ~ ShelleyGovState era, State (EraRule "PPUP" era) ~ ShelleyGovState era, Signal (EraRule "UPEC" era) ~ (), State (EraRule "UPEC" era) ~ UpecState era, Environment (EraRule "UPEC" era) ~ LedgerState era, Embed (EraRule "UPEC" era) (ShelleyTICKF era)) ⇒ STS (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

(Era era, STS (ShelleyUPEC era), PredicateFailure (EraRule "UPEC" era) ~ ShelleyUpecPredFailure era, Event (EraRule "UPEC" era) ~ Void) ⇒ Embed (ShelleyUPEC era) (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type BaseM (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Environment (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Environment (ShelleyTICKF era) = ()
type Event (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

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

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Signal (ShelleyTICKF 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

data ShelleyTickfPredFailure era Source #

Instances

Instances details
Generic (ShelleyTickfPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

Associated Types

type Rep (ShelleyTickfPredFailure era) ∷ TypeType Source #

(Era era, Show (PredicateFailure (EraRule "UPEC" era))) ⇒ Show (ShelleyTickfPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

(Era era, Eq (PredicateFailure (EraRule "UPEC" era))) ⇒ Eq (ShelleyTickfPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

NoThunks (PredicateFailure (EraRule "UPEC" era)) ⇒ NoThunks (ShelleyTickfPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Rep (ShelleyTickfPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Rep (ShelleyTickfPredFailure era) = D1 ('MetaData "ShelleyTickfPredFailure" "Cardano.Ledger.Shelley.Rules.Tick" "cardano-ledger-shelley-1.14.1.0-inplace" 'True) (C1 ('MetaCons "TickfUpecFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UPEC" era)))))

validatingTickTransition ∷ ∀ tick era. (EraGov era, Embed (EraRule "NEWEPOCH" era) (tick era), STS (tick era), State (tick era) ~ NewEpochState era, BaseM (tick era) ~ ShelleyBase, Environment (EraRule "NEWEPOCH" era) ~ (), State (EraRule "NEWEPOCH" era) ~ NewEpochState era, Signal (EraRule "NEWEPOCH" era) ~ EpochNo) ⇒ NewEpochState era → SlotNoTransitionRule (tick era) Source #

This is a limited version of bheadTransition which is suitable for the future ledger view.

validatingTickTransitionFORECAST ∷ ∀ tick era. (State (tick era) ~ NewEpochState era, BaseM (tick era) ~ ShelleyBase, State (EraRule "UPEC" era) ~ UpecState era, Signal (EraRule "UPEC" era) ~ (), Environment (EraRule "UPEC" era) ~ LedgerState era, Embed (EraRule "UPEC" era) (tick era), STS (tick era), GovState era ~ ShelleyGovState era, EraGov era) ⇒ NewEpochState era → SlotNoTransitionRule (tick era) Source #

This is a limited version of validatingTickTransition which is only suitable for the future ledger view.

solidifyNextEpochPParamsEraGov era ⇒ NewEpochState era → SlotNoShelleyBase (EpochNo, NewEpochState era) Source #

This action ensures that once the current slot number is at the point of no return we mark the future PParams to be updated at the next epoch boundary. Also returns the current epoch number for convenience.

data ShelleyUPEC era Source #

Instances

Instances details
(EraGov era, Default (PParams era), GovState era ~ ShelleyGovState era, ProtVerAtMost era 8) ⇒ STS (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

Associated Types

type State (ShelleyUPEC era) Source #

type Signal (ShelleyUPEC era) Source #

type Environment (ShelleyUPEC era) Source #

type BaseM (ShelleyUPEC era) ∷ TypeType Source #

type Event (ShelleyUPEC era) Source #

type PredicateFailure (ShelleyUPEC era) Source #

(Era era, STS (ShelleyNEWPP era)) ⇒ Embed (ShelleyNEWPP era) (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

(Era era, STS (ShelleyUPEC era), UpecPredFailure era ~ ShelleyUpecPredFailure era, Event (EraRule "UPEC" era) ~ Void) ⇒ Embed (ShelleyUPEC era) (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

(Era era, STS (ShelleyUPEC era), PredicateFailure (EraRule "UPEC" era) ~ ShelleyUpecPredFailure era, Event (EraRule "UPEC" era) ~ Void) ⇒ Embed (ShelleyUPEC era) (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type BaseM (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type Environment (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type Event (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

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

Defined in Cardano.Ledger.Shelley.Rules.Upec

type Signal (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type Signal (ShelleyUPEC era) = ()
type State (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type State (ShelleyUPEC era) = UpecState era

data UpecState era Source #

Constructors

UpecState 

Fields

Instances

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

Defined in Cardano.Ledger.Shelley.Rules.Upec

Methods

showsPrecIntUpecState era → ShowS Source #

showUpecState era → String Source #

showList ∷ [UpecState era] → ShowS Source #

newtype ShelleyUpecPredFailure era Source #

Instances

Instances details
Generic (ShelleyUpecPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

Associated Types

type Rep (ShelleyUpecPredFailure era) ∷ TypeType Source #

Show (ShelleyUpecPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

NFData (ShelleyUpecPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

Methods

rnfShelleyUpecPredFailure era → () Source #

Eq (ShelleyUpecPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

NoThunks (ShelleyUpecPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type Rep (ShelleyUpecPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type Rep (ShelleyUpecPredFailure era) = D1 ('MetaData "ShelleyUpecPredFailure" "Cardano.Ledger.Shelley.Rules.Upec" "cardano-ledger-shelley-1.14.1.0-inplace" 'True) (C1 ('MetaCons "NewPpFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (ShelleyNEWPP era)))))

votedValue ∷ ∀ era. EraPParams era ⇒ ProposedPPUpdates era → PParams era → IntMaybe (PParams era) Source #

Deprecated: In favor of votedFuturePParams

data ShelleyMIR era Source #

Instances

Instances details
(Default (EpochState era), EraGov era) ⇒ STS (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

Associated Types

type State (ShelleyMIR era) Source #

type Signal (ShelleyMIR era) Source #

type Environment (ShelleyMIR era) Source #

type BaseM (ShelleyMIR era) ∷ TypeType Source #

type Event (ShelleyMIR era) Source #

type PredicateFailure (ShelleyMIR era) Source #

(EraGov era, Default (EpochState era), PredicateFailure (EraRule "MIR" era) ~ ShelleyMirPredFailure era, Event (EraRule "MIR" era) ~ ShelleyMirEvent era) ⇒ Embed (ShelleyMIR era) (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type BaseM (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type Environment (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type Environment (ShelleyMIR era) = ()
type Event (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type PredicateFailure (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type Signal (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type Signal (ShelleyMIR era) = ()
type State (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type State (ShelleyMIR era) = EpochState 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 ShelleyMirPredFailure era Source #

Instances

Instances details
Generic (ShelleyMirPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

Associated Types

type Rep (ShelleyMirPredFailure era) ∷ TypeType Source #

Show (ShelleyMirPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

NFData (ShelleyMirPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

Methods

rnfShelleyMirPredFailure era → () Source #

Eq (ShelleyMirPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

NoThunks (ShelleyMirPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type Rep (ShelleyMirPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type Rep (ShelleyMirPredFailure era) = D1 ('MetaData "ShelleyMirPredFailure" "Cardano.Ledger.Shelley.Rules.Mir" "cardano-ledger-shelley-1.14.1.0-inplace" 'False) (V1TypeType)

data ShelleyMirEvent era Source #

Constructors

MirTransfer (InstantaneousRewards (EraCrypto era)) 
NoMirTransfer (InstantaneousRewards (EraCrypto era)) Coin Coin

We were not able to perform an MIR transfer due to insufficient funds. This event gives the rewards we wanted to pay, plus the available reserves and treasury.

Instances

Instances details
Generic (ShelleyMirEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

Associated Types

type Rep (ShelleyMirEvent era) ∷ TypeType Source #

NFData (ShelleyMirEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

Methods

rnfShelleyMirEvent era → () Source #

Eq (ShelleyMirEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type Rep (ShelleyMirEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

data ShelleyNEWPP era Source #

Instances

Instances details
(EraGov era, GovState era ~ ShelleyGovState era, ProtVerAtMost era 8) ⇒ STS (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

(Era era, STS (ShelleyNEWPP era)) ⇒ Embed (ShelleyNEWPP era) (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type BaseM (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type Environment (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type Event (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

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

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type Signal (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type Signal (ShelleyNEWPP era) = PParams era
type State (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

data ShelleyNewppState era Source #

Constructors

NewppState (PParams era) (ShelleyGovState era) 

Instances

Instances details
EraPParams era ⇒ Default (ShelleyNewppState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

Methods

defShelleyNewppState era Source #

data NewppEnv era Source #

Constructors

NewppEnv 

Fields

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

Instances

Instances details
(Default (ShelleyPoolreapState era), EraPParams era, EraGov era) ⇒ STS (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

(Era era, STS (ShelleyPOOLREAP era), PredicateFailure (EraRule "POOLREAP" era) ~ ShelleyPoolreapPredFailure era, Event (EraRule "POOLREAP" era) ~ ShelleyPoolreapEvent era) ⇒ Embed (ShelleyPOOLREAP era) (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type BaseM (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type Environment (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type Event (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type PredicateFailure (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type Signal (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type State (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

data ShelleyPoolreapEvent era Source #

Instances

Instances details
Generic (ShelleyPoolreapEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

Associated Types

type Rep (ShelleyPoolreapEvent era) ∷ TypeType Source #

NFData (ShelleyPoolreapEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

Methods

rnfShelleyPoolreapEvent era → () Source #

Eq (ShelleyPoolreapEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type Rep (ShelleyPoolreapEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type Rep (ShelleyPoolreapEvent era) = D1 ('MetaData "ShelleyPoolreapEvent" "Cardano.Ledger.Shelley.Rules.PoolReap" "cardano-ledger-shelley-1.14.1.0-inplace" 'False) (C1 ('MetaCons "RetiredPools" 'PrefixI 'True) (S1 ('MetaSel ('Just "refundPools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking (EraCrypto era)) (Map (KeyHash 'StakePool (EraCrypto era)) Coin))) :*: (S1 ('MetaSel ('Just "unclaimedPools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking (EraCrypto era)) (Map (KeyHash 'StakePool (EraCrypto era)) Coin))) :*: S1 ('MetaSel ('Just "epochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo))))

newtype ShelleyPoolreapEnv era Source #

Constructors

ShelleyPoolreapEnv 

Fields

  • speVStateVState era

    This enviroment field is only needed for assertions.

Instances

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

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

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

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

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

Instances

Instances details
Generic (ShelleyPoolreapPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

Associated Types

type Rep (ShelleyPoolreapPredFailure era) ∷ TypeType Source #

Show (ShelleyPoolreapPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

NFData (ShelleyPoolreapPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

Methods

rnfShelleyPoolreapPredFailure era → () Source #

Eq (ShelleyPoolreapPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

NoThunks (ShelleyPoolreapPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type Rep (ShelleyPoolreapPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type Rep (ShelleyPoolreapPredFailure era) = D1 ('MetaData "ShelleyPoolreapPredFailure" "Cardano.Ledger.Shelley.Rules.PoolReap" "cardano-ledger-shelley-1.14.1.0-inplace" 'False) (V1TypeType)

Deprecations

prAcntShelleyPoolreapState era → AccountState Source #

Deprecated: Use prAccountState instead