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

Cardano.Ledger.Shelley.Rules.Bbody

Synopsis

Documentation

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

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

Orphan instances

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

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

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

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

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

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

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

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

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure (ShelleyEra c) Source # 
Instance 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

(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