shelley-spec-ledger-0.1.0.0
Safe HaskellNone
LanguageHaskell98

Shelley.Spec.Ledger.STS.Ppup

Synopsis

Documentation

data PPUP era Source #

Instances

Instances details
Typeable era ⇒ STS (PPUP era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

Associated Types

type State (PPUP era) Source #

type Signal (PPUP era) Source #

type Environment (PPUP era) Source #

type BaseM (PPUP era) ∷ TypeType Source #

type PredicateFailure (PPUP era) = (b ∷ Type) Source #

Crypto c ⇒ Embed (PPUP (ShelleyEra c)) (UTXO (ShelleyEra c)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxo

type PredicateFailure (PPUP era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

type BaseM (PPUP era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

type BaseM (PPUP era) = ShelleyBase
type Environment (PPUP era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

type Environment (PPUP era) = PPUPEnv era
type Signal (PPUP era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

type Signal (PPUP era) = Maybe (Update era)
type State (PPUP era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

type State (PPUP era) = PPUPState era

data PPUPEnv era Source #

Constructors

PPUPEnv SlotNo (PParams era) (GenDelegs (Crypto era)) 

data PpupPredicateFailure era Source #

Instances

Instances details
Eq (PpupPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

Show (PpupPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

Generic (PpupPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

Associated Types

type Rep (PpupPredicateFailure era) ∷ TypeType #

(Typeable era, Era era) ⇒ ToCBOR (PpupPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

Era era ⇒ FromCBOR (PpupPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

NoThunks (PpupPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

Methods

noThunks ∷ Context → PpupPredicateFailure era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → PpupPredicateFailure era → IO (Maybe ThunkInfo)

showTypeOfProxy (PpupPredicateFailure era) → String

type Rep (PpupPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

type family PredicateFailure a = (b ∷ Type) | b → 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 TICKN Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Tickn

type PredicateFailure (UPDN crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Updn

type PredicateFailure (SNAP era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Snap

type PredicateFailure (RUPD era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Rupd

type PredicateFailure (PPUP era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

type PredicateFailure (UTXO (ShelleyEra c)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxo

type PredicateFailure (UTXOW (ShelleyEra c)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

type PredicateFailure (POOLREAP era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.PoolReap

type PredicateFailure (POOL era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Pool

type PredicateFailure (NEWPP era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Newpp

type PredicateFailure (MIR era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Mir

type PredicateFailure (EPOCH era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Epoch

type PredicateFailure (NEWEPOCH era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.NewEpoch

type PredicateFailure (TICKF era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Tick

type PredicateFailure (TICK era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Tick

type PredicateFailure (DELEG era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Deleg

type PredicateFailure (DELPL era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Delpl

type PredicateFailure (DELEGS era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Delegs

type PredicateFailure (LEDGER era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledger

type PredicateFailure (LEDGERS era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledgers

type PredicateFailure (OCERT crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ocert

type PredicateFailure (OVERLAY crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Overlay

type PredicateFailure (PRTCL crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Prtcl

type PredicateFailure (BBODY era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Bbody

type PredicateFailure (CHAIN era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Chain

data VotingPeriod Source #

Instances

Instances details
Eq VotingPeriod Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

Show VotingPeriod Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

Generic VotingPeriod Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

Associated Types

type Rep VotingPeriodTypeType #

ToCBOR VotingPeriod Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

Methods

toCBORVotingPeriodEncoding Source #

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

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

FromCBOR VotingPeriod Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

NoThunks VotingPeriod Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

Methods

noThunks ∷ Context → VotingPeriodIO (Maybe ThunkInfo)

wNoThunks ∷ Context → VotingPeriodIO (Maybe ThunkInfo)

showTypeOfProxy VotingPeriodString

type Rep VotingPeriod Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

type Rep VotingPeriod = D1 ('MetaData "VotingPeriod" "Shelley.Spec.Ledger.STS.Ppup" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "VoteForThisEpoch" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "VoteForNextEpoch" 'PrefixI 'False) (U1TypeType))