Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.Rules.Newpp

Contents

Orphan instances

Synopsis

data ShelleyNEWPP era
data ShelleyNewppState era = NewppState (PParams era) (ShelleyGovState era)
data NewppEnv era = NewppEnv {
- neCertState ∷ !(CertState era)
- neUTxOState ∷ !(UTxOState era)
}
data ShelleyNewppPredFailure era = UnexpectedDepositPot !Coin !Coin
type family PredicateFailure a

Documentation

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 Associated Types type State (ShelleyNEWPP era) Source # type Signal (ShelleyNEWPP era) Source # type Environment (ShelleyNEWPP era) Source # type BaseM (ShelleyNEWPP era) ∷ Type → Type Source # type Event (ShelleyNEWPP era) Source # type PredicateFailure (ShelleyNEWPP era) Source # Methods initialRules ∷ [InitialRule (ShelleyNEWPP era)] Source # transitionRules ∷ [TransitionRule (ShelleyNEWPP era)] Source # assertions ∷ [Assertion (ShelleyNEWPP era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyNEWPP era) → String Source #
(Era era, STS (ShelleyNEWPP era)) ⇒ Embed (ShelleyNEWPP era) (ShelleyUPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec Methods wrapFailed ∷ PredicateFailure (ShelleyNEWPP era) → PredicateFailure (ShelleyUPEC era) Source # wrapEvent ∷ Event (ShelleyNEWPP era) → Event (ShelleyUPEC era) Source #
type BaseM (ShelleyNEWPP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type BaseM (ShelleyNEWPP era) = ShelleyBase
type Environment (ShelleyNEWPP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type Environment (ShelleyNEWPP era) = NewppEnv era
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 PredicateFailure (ShelleyNEWPP era) = ShelleyNewppPredFailure era
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 type State (ShelleyNEWPP era) = ShelleyNewppState era

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 def ∷ ShelleyNewppState era Source #

data NewppEnv era Source #

Constructors

NewppEnv
Fields neCertState ∷ !(CertState era) neUTxOState ∷ !(UTxOState era)

data ShelleyNewppPredFailure era Source #

Constructors

UnexpectedDepositPot !Coin !Coin

Instances

Instances details

Generic (ShelleyNewppPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp Associated Types type Rep (ShelleyNewppPredFailure era) ∷ Type → Type Source # Methods from ∷ ShelleyNewppPredFailure era → Rep (ShelleyNewppPredFailure era) x Source # to ∷ Rep (ShelleyNewppPredFailure era) x → ShelleyNewppPredFailure era Source #
Show (ShelleyNewppPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp Methods showsPrec ∷ Int → ShelleyNewppPredFailure era → ShowS Source # show ∷ ShelleyNewppPredFailure era → String Source # showList ∷ [ShelleyNewppPredFailure era] → ShowS Source #
NFData (ShelleyNewppPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp Methods rnf ∷ ShelleyNewppPredFailure era → () Source #
Eq (ShelleyNewppPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp Methods (==) ∷ ShelleyNewppPredFailure era → ShelleyNewppPredFailure era → Bool Source # (/=) ∷ ShelleyNewppPredFailure era → ShelleyNewppPredFailure era → Bool Source #
NoThunks (ShelleyNewppPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp Methods noThunks ∷ Context → ShelleyNewppPredFailure era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyNewppPredFailure era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyNewppPredFailure era) → String Source #
type Rep (ShelleyNewppPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type Rep (ShelleyNewppPredFailure era) = D1 ('MetaData "ShelleyNewppPredFailure" "Cardano.Ledger.Shelley.Rules.Newpp" "cardano-ledger-shelley-1.11.0.0-inplace" 'False) (C1 ('MetaCons "UnexpectedDepositPot" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))

type family PredicateFailure a Source #

Descriptive type for the possible failures which might cause a transition to fail.

As a convention, PredicateFailures which are "structural" (meaning that they are not "throwable" in practice, and are used to pass control from one transition rule to another) are prefixed with S_.

Structural PredicateFailures represent conditions between rules where the disjunction of all rules' preconditions is equal to True. That is, either one rule will throw a structural PredicateFailure and the other will succeed, or vice-versa.

Instances

Instances details

type PredicateFailure (ShelleyBBODY era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type PredicateFailure (ShelleyBBODY era) = ShelleyBbodyPredFailure era
type PredicateFailure (ShelleyDELEG era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type PredicateFailure (ShelleyDELEG era) = ShelleyDelegPredFailure era
type PredicateFailure (ShelleyDELEGS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type PredicateFailure (ShelleyDELEGS era) = ShelleyDelegsPredFailure era
type PredicateFailure (ShelleyDELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type PredicateFailure (ShelleyDELPL era) = ShelleyDelplPredFailure era
type PredicateFailure (ShelleyEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch type PredicateFailure (ShelleyEPOCH era) = ShelleyEpochPredFailure era
type PredicateFailure (ShelleyLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type PredicateFailure (ShelleyLEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (ShelleyLEDGERS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type PredicateFailure (ShelleyLEDGERS era) = ShelleyLedgersPredFailure era
type PredicateFailure (ShelleyMIR era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Mir type PredicateFailure (ShelleyMIR era) = ShelleyMirPredFailure era
type PredicateFailure (ShelleyNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type PredicateFailure (ShelleyNEWEPOCH era) = ShelleyNewEpochPredFailure era
type PredicateFailure (ShelleyNEWPP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type PredicateFailure (ShelleyNEWPP era) = ShelleyNewppPredFailure era
type PredicateFailure (ShelleyPOOL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type PredicateFailure (ShelleyPOOL era) = ShelleyPoolPredFailure era
type PredicateFailure (ShelleyPOOLREAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type PredicateFailure (ShelleyPOOLREAP era) = ShelleyPoolreapPredFailure era
type PredicateFailure (ShelleyPPUP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type PredicateFailure (ShelleyPPUP era) = ShelleyPpupPredFailure era
type PredicateFailure (ShelleyRUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type PredicateFailure (ShelleyRUPD era) = ShelleyRupdPredFailure era
type PredicateFailure (ShelleySNAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap type PredicateFailure (ShelleySNAP era) = ShelleySnapPredFailure era
type PredicateFailure (ShelleyTICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure (ShelleyTICK era) = ShelleyTickPredFailure era
type PredicateFailure (ShelleyTICKF era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure (ShelleyTICKF era) = ShelleyTickfPredFailure era
type PredicateFailure (ShelleyUPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type PredicateFailure (ShelleyUPEC era) = ShelleyUpecPredFailure era
type PredicateFailure (ShelleyUTXO era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type PredicateFailure (ShelleyUTXO era) = ShelleyUtxoPredFailure era
type PredicateFailure (ShelleyUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type PredicateFailure (ShelleyUTXOW era) = ShelleyUtxowPredFailure era
type PredicateFailure (STUB e st si f m)
Instance details Defined in Control.State.Transition.Extended type PredicateFailure (STUB e st si f m) = f

Orphan instances

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

Instance details

Associated Types

type State (ShelleyNEWPP era) Source #

type Signal (ShelleyNEWPP era) Source #

type Environment (ShelleyNEWPP era) Source #

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

type Event (ShelleyNEWPP era) Source #

type PredicateFailure (ShelleyNEWPP era) Source #

Methods

initialRules ∷ [InitialRule (ShelleyNEWPP era)] Source #

transitionRules ∷ [TransitionRule (ShelleyNEWPP era)] Source #

assertions ∷ [Assertion (ShelleyNEWPP era)] Source #

renderAssertionViolation ∷ AssertionViolation (ShelleyNEWPP era) → String Source #