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

Cardano.Ledger.Shelley.Rules.Mir

Synopsis

Documentation

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

type Event (ShelleyMIR era) Source #

type PredicateFailure (ShelleyMIR era) Source #

Methods

initialRules ∷ [InitialRule (ShelleyMIR era)] Source #

transitionRules ∷ [TransitionRule (ShelleyMIR era)] Source #

assertions ∷ [Assertion (ShelleyMIR era)] Source #

renderAssertionViolation ∷ AssertionViolation (ShelleyMIR era) → String 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

Methods

wrapFailed ∷ PredicateFailure (ShelleyMIR era) → PredicateFailure (ShelleyNEWEPOCH era) Source #

wrapEvent ∷ Event (ShelleyMIR era) → Event (ShelleyNEWEPOCH era) Source #

type BaseM (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type BaseM (ShelleyMIR era) = ShelleyBase
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 Event (ShelleyMIR era) = ShelleyMirEvent era
type PredicateFailure (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type PredicateFailure (ShelleyMIR era) = ShelleyMirPredFailure era
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 (ShelleyBBODY era) = ShelleyBbodyPredFailure era
type PredicateFailure (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

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

Defined in Cardano.Ledger.Shelley.Rules.Delegs

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

Defined in Cardano.Ledger.Shelley.Rules.Delpl

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

Defined in Cardano.Ledger.Shelley.Rules.Epoch

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

Defined in Cardano.Ledger.Shelley.Rules.Ledger

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

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

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

Defined in Cardano.Ledger.Shelley.Rules.Mir

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

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

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

Defined in Cardano.Ledger.Shelley.Rules.Newpp

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

Defined in Cardano.Ledger.Shelley.Rules.Pool

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

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

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

Defined in Cardano.Ledger.Shelley.Rules.Ppup

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

Defined in Cardano.Ledger.Shelley.Rules.Rupd

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

Defined in Cardano.Ledger.Shelley.Rules.Snap

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

Defined in Cardano.Ledger.Shelley.Rules.Tick

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

Defined in Cardano.Ledger.Shelley.Rules.Tick

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

Defined in Cardano.Ledger.Shelley.Rules.Upec

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

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type PredicateFailure (ShelleyUTXO era) = ShelleyUtxoPredFailure era
type PredicateFailure (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type PredicateFailure (ShelleyUTXOW era) = ShelleyUtxowPredFailure era
type PredicateFailure (STUB e st si f m) 
Instance details

Defined in Control.State.Transition.Extended

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

data 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) ∷ Type → Type Source #

Methods

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

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

Show (ShelleyMirPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

Methods

showsPrec ∷ Int → ShelleyMirPredFailure era → ShowS Source #

show ∷ ShelleyMirPredFailure era → String Source #

showList ∷ [ShelleyMirPredFailure era] → ShowS Source #

NFData (ShelleyMirPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

Methods

rnf ∷ ShelleyMirPredFailure era → () Source #

Eq (ShelleyMirPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

Methods

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

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

NoThunks (ShelleyMirPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

Methods

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

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

showTypeOf ∷ Proxy (ShelleyMirPredFailure era) → String Source #

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.11.0.0-inplace" 'False) (V1 ∷ Type → Type)

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

Methods

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

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

NFData (ShelleyMirEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

Methods

rnf ∷ ShelleyMirEvent era → () Source #

Eq (ShelleyMirEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

Methods

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

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

type Rep (ShelleyMirEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type Rep (ShelleyMirEvent era) = D1 ('MetaData "ShelleyMirEvent" "Cardano.Ledger.Shelley.Rules.Mir" "cardano-ledger-shelley-1.11.0.0-inplace" 'False) (C1 ('MetaCons "MirTransfer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (InstantaneousRewards (EraCrypto era)))) :+: C1 ('MetaCons "NoMirTransfer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (InstantaneousRewards (EraCrypto era))) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin))))

emptyInstantaneousRewards ∷ InstantaneousRewards c Source #

Orphan instances