shelley-spec-ledger-0.1.0.0
Safe HaskellNone
LanguageHaskell98

Shelley.Spec.Ledger.STS.NewEpoch

Synopsis

Documentation

data NEWEPOCH era Source #

Instances

Instances details
ShelleyBased era => STS (NEWEPOCH era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.NewEpoch

Associated Types

type State (NEWEPOCH era) Source #

type Signal (NEWEPOCH era) Source #

type Environment (NEWEPOCH era) Source #

type BaseM (NEWEPOCH era) :: Type -> Type Source #

type PredicateFailure (NEWEPOCH era) = (b :: Type) Source #

Methods

initialRules :: [InitialRule (NEWEPOCH era)] Source #

transitionRules :: [TransitionRule (NEWEPOCH era)] Source #

assertions :: [Assertion (NEWEPOCH era)] Source #

renderAssertionViolation :: AssertionViolation (NEWEPOCH era) -> String Source #

ShelleyBased era => Embed (MIR era) (NEWEPOCH era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.NewEpoch

Methods

wrapFailed :: PredicateFailure (MIR era) -> PredicateFailure (NEWEPOCH era) Source #

ShelleyBased era => Embed (EPOCH era) (NEWEPOCH era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.NewEpoch

Methods

wrapFailed :: PredicateFailure (EPOCH era) -> PredicateFailure (NEWEPOCH era) Source #

ShelleyBased era => Embed (NEWEPOCH era) (TICKF era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Tick

Methods

wrapFailed :: PredicateFailure (NEWEPOCH era) -> PredicateFailure (TICKF era) Source #

ShelleyBased era => Embed (NEWEPOCH era) (TICK era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Tick

Methods

wrapFailed :: PredicateFailure (NEWEPOCH era) -> PredicateFailure (TICK era) Source #

type PredicateFailure (NEWEPOCH era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.NewEpoch

type PredicateFailure (NEWEPOCH era) = NewEpochPredicateFailure era
type BaseM (NEWEPOCH era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.NewEpoch

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

Defined in Shelley.Spec.Ledger.STS.NewEpoch

type Environment (NEWEPOCH era) = ()
type Signal (NEWEPOCH era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.NewEpoch

type Signal (NEWEPOCH era) = EpochNo
type State (NEWEPOCH era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.NewEpoch

type State (NEWEPOCH era) = NewEpochState era

data NewEpochPredicateFailure era Source #

Constructors

EpochFailure (PredicateFailure (EPOCH era)) 
CorruptRewardUpdate !(RewardUpdate (Crypto era)) 
MirFailure (PredicateFailure (MIR era)) 

Instances

Instances details
Eq (NewEpochPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.NewEpoch

Methods

(==) :: NewEpochPredicateFailure era -> NewEpochPredicateFailure era -> Bool #

(/=) :: NewEpochPredicateFailure era -> NewEpochPredicateFailure era -> Bool #

Show (NewEpochPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.NewEpoch

Methods

showsPrec :: Int -> NewEpochPredicateFailure era -> ShowS #

show :: NewEpochPredicateFailure era -> String #

showList :: [NewEpochPredicateFailure era] -> ShowS #

Generic (NewEpochPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.NewEpoch

Associated Types

type Rep (NewEpochPredicateFailure era) :: Type -> Type #

Methods

from :: NewEpochPredicateFailure era -> Rep (NewEpochPredicateFailure era) x #

to :: Rep (NewEpochPredicateFailure era) x -> NewEpochPredicateFailure era #

NoThunks (NewEpochPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.NewEpoch

Methods

noThunks :: Context -> NewEpochPredicateFailure era -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> NewEpochPredicateFailure era -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (NewEpochPredicateFailure era) -> String Source #

type Rep (NewEpochPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.NewEpoch

type Rep (NewEpochPredicateFailure era) = D1 ('MetaData "NewEpochPredicateFailure" "Shelley.Spec.Ledger.STS.NewEpoch" "shelley-spec-ledger-0.1.0.0-Is3EknyvW92LxCl96jGQVW" 'False) (C1 ('MetaCons "EpochFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EPOCH era)))) :+: (C1 ('MetaCons "CorruptRewardUpdate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RewardUpdate (Crypto era)))) :+: C1 ('MetaCons "MirFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (MIR era))))))

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 TICKN = TicknPredicateFailure
type PredicateFailure (UPDN crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Updn

type PredicateFailure (UPDN crypto) = UpdnPredicateFailure crypto
type PredicateFailure (SNAP era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Snap

type PredicateFailure (SNAP era) = SnapPredicateFailure era
type PredicateFailure (RUPD era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Rupd

type PredicateFailure (RUPD era) = RupdPredicateFailure era
type PredicateFailure (PPUP era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

type PredicateFailure (PPUP era) = PpupPredicateFailure era
type PredicateFailure (UTXO (ShelleyEra c)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxo

type PredicateFailure (UTXO (ShelleyEra c)) = UtxoPredicateFailure (ShelleyEra c)
type PredicateFailure (UTXOW (ShelleyEra c)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

type PredicateFailure (UTXOW (ShelleyEra c)) = UtxowPredicateFailure (ShelleyEra c)
type PredicateFailure (POOLREAP era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.PoolReap

type PredicateFailure (POOLREAP era) = PoolreapPredicateFailure era
type PredicateFailure (POOL era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Pool

type PredicateFailure (POOL era) = PoolPredicateFailure era
type PredicateFailure (NEWPP era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Newpp

type PredicateFailure (NEWPP era) = NewppPredicateFailure era
type PredicateFailure (MIR era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Mir

type PredicateFailure (MIR era) = MirPredicateFailure era
type PredicateFailure (EPOCH era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Epoch

type PredicateFailure (EPOCH era) = EpochPredicateFailure era
type PredicateFailure (NEWEPOCH era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.NewEpoch

type PredicateFailure (NEWEPOCH era) = NewEpochPredicateFailure era
type PredicateFailure (TICKF era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Tick

type PredicateFailure (TICKF era) = TickfPredicateFailure era
type PredicateFailure (TICK era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Tick

type PredicateFailure (TICK era) = TickPredicateFailure era
type PredicateFailure (DELEG era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Deleg

type PredicateFailure (DELEG era) = DelegPredicateFailure era
type PredicateFailure (DELPL era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Delpl

type PredicateFailure (DELPL era) = DelplPredicateFailure era
type PredicateFailure (DELEGS era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Delegs

type PredicateFailure (DELEGS era) = DelegsPredicateFailure era
type PredicateFailure (LEDGER era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledger

type PredicateFailure (LEDGER era) = LedgerPredicateFailure era
type PredicateFailure (LEDGERS era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledgers

type PredicateFailure (LEDGERS era) = LedgersPredicateFailure era
type PredicateFailure (OCERT crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ocert

type PredicateFailure (OCERT crypto) = OcertPredicateFailure crypto
type PredicateFailure (OVERLAY crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Overlay

type PredicateFailure (OVERLAY crypto) = OverlayPredicateFailure crypto
type PredicateFailure (PRTCL crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Prtcl

type PredicateFailure (PRTCL crypto) = PrtclPredicateFailure crypto
type PredicateFailure (BBODY era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Bbody

type PredicateFailure (BBODY era) = BbodyPredicateFailure era
type PredicateFailure (CHAIN era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Chain

type PredicateFailure (CHAIN era) = ChainPredicateFailure era

calculatePoolDistr :: SnapShot crypto -> PoolDistr crypto Source #