cardano-ledger-shelley-0.1.0.0
Safe Haskell None
Language Haskell2010

Cardano.Ledger.Shelley.Rules.NewEpoch

Synopsis

Documentation

data NEWEPOCH era Source #

Instances

Instances details
( UsesTxOut era, UsesValue era, Embed ( EraRule "MIR" era) ( NEWEPOCH era), Embed ( EraRule "EPOCH" era) ( NEWEPOCH era), Environment ( EraRule "MIR" era) ~ (), State ( EraRule "MIR" era) ~ EpochState era, Signal ( EraRule "MIR" era) ~ (), Event ( EraRule "RUPD" era) ~ RupdEvent ( Crypto era), Environment ( EraRule "EPOCH" era) ~ (), State ( EraRule "EPOCH" era) ~ EpochState era, Signal ( EraRule "EPOCH" era) ~ EpochNo , Default ( EpochState era), HasField "_protocolVersion" ( PParams era) ProtVer , Default ( State ( EraRule "PPUP" era)), Default ( PParams era), Default ( StashedAVVMAddresses era)) => STS ( NEWEPOCH era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.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 Event ( NEWEPOCH era) Source #

type PredicateFailure ( NEWEPOCH era) Source #

Methods

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

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

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

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

( Era era, Default ( EpochState era), PredicateFailure ( EraRule "MIR" era) ~ MirPredicateFailure era, Event ( EraRule "MIR" era) ~ MirEvent era) => Embed ( MIR era) ( NEWEPOCH era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

Methods

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

wrapEvent :: Event ( MIR era) -> Event ( NEWEPOCH era) Source #

( UsesTxOut era, UsesValue era, STS ( EPOCH era), PredicateFailure ( EraRule "EPOCH" era) ~ EpochPredicateFailure era, Event ( EraRule "EPOCH" era) ~ EpochEvent era) => Embed ( EPOCH era) ( NEWEPOCH era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

Methods

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

wrapEvent :: Event ( EPOCH era) -> Event ( NEWEPOCH era) Source #

( UsesTxOut era, UsesValue era, STS ( NEWEPOCH era), PredicateFailure ( EraRule "NEWEPOCH" era) ~ NewEpochPredicateFailure era, Event ( EraRule "NEWEPOCH" era) ~ NewEpochEvent era) => Embed ( NEWEPOCH era) ( TICKF era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

Methods

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

wrapEvent :: Event ( NEWEPOCH era) -> Event ( TICKF era) Source #

( UsesTxOut era, UsesValue era, STS ( NEWEPOCH era), PredicateFailure ( EraRule "NEWEPOCH" era) ~ NewEpochPredicateFailure era, Event ( EraRule "NEWEPOCH" era) ~ NewEpochEvent era) => Embed ( NEWEPOCH era) ( TICK era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

Methods

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

wrapEvent :: Event ( NEWEPOCH era) -> Event ( TICK era) Source #

type PredicateFailure ( NEWEPOCH era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

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

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type Event ( NEWEPOCH era) = NewEpochEvent era
type BaseM ( NEWEPOCH era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

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

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

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

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

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

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type State ( NEWEPOCH era) = NewEpochState era

data NewEpochPredicateFailure era Source #

Constructors

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

Instances

Instances details
( Eq ( PredicateFailure ( EraRule "EPOCH" era)), Eq ( PredicateFailure ( EraRule "MIR" era))) => Eq ( NewEpochPredicateFailure era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

Methods

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

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

( Show ( PredicateFailure ( EraRule "EPOCH" era)), Show ( PredicateFailure ( EraRule "MIR" era))) => Show ( NewEpochPredicateFailure era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

Methods

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

show :: NewEpochPredicateFailure era -> String Source #

showList :: [ NewEpochPredicateFailure era] -> ShowS Source #

Generic ( NewEpochPredicateFailure era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

Associated Types

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

Methods

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

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

( NoThunks ( PredicateFailure ( EraRule "EPOCH" era)), NoThunks ( PredicateFailure ( EraRule "MIR" era))) => NoThunks ( NewEpochPredicateFailure era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.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 Cardano.Ledger.Shelley.Rules.NewEpoch

type Rep ( NewEpochPredicateFailure era) = D1 (' MetaData "NewEpochPredicateFailure" "Cardano.Ledger.Shelley.Rules.NewEpoch" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "EpochFailure" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PredicateFailure ( EraRule "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 ( EraRule "MIR" era))))))

data NewEpochEvent era Source #

Constructors

DeltaRewardEvent ( Event ( EraRule "RUPD" era))
RestrainedRewards EpochNo ( Map ( Credential ' Staking ( Crypto era)) ( Set ( Reward ( Crypto era)))) ( Set ( Credential ' Staking ( Crypto era)))
TotalRewardEvent EpochNo ( Map ( Credential ' Staking ( Crypto era)) ( Set ( Reward ( Crypto era))))
EpochEvent ( Event ( EraRule "EPOCH" era))
MirEvent ( Event ( EraRule "MIR" era))
TotalAdaPotsEvent AdaPots

type family PredicateFailure a Source #

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

As a convention, PredicateFailure s 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 PredicateFailure s 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 ( SNAP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

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

Defined in Cardano.Ledger.Shelley.Rules.Rupd

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

Defined in Cardano.Ledger.Shelley.Rules.Ppup

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

Defined in Cardano.Ledger.Shelley.Rules.Utxo

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

Defined in Cardano.Ledger.Shelley.Rules.Utxow

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

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

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

Defined in Cardano.Ledger.Shelley.Rules.Pool

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

Defined in Cardano.Ledger.Shelley.Rules.Newpp

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

Defined in Cardano.Ledger.Shelley.Rules.Upec

type PredicateFailure ( UPEC era) = UpecPredicateFailure era
type PredicateFailure ( MIR era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

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

Defined in Cardano.Ledger.Shelley.Rules.Epoch

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

Defined in Cardano.Ledger.Shelley.Rules.Deleg

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

Defined in Cardano.Ledger.Shelley.Rules.Delpl

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

Defined in Cardano.Ledger.Shelley.Rules.Delegs

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

Defined in Cardano.Ledger.Shelley.Rules.Ledger

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

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

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

Defined in Cardano.Ledger.Shelley.Rules.Bbody

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

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

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

Defined in Cardano.Ledger.Shelley.Rules.Tick

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

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure ( TICK era) = TickPredicateFailure 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

calculatePoolDistr :: SnapShot crypto -> PoolDistr crypto Source #