Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Shelley.Rules.Tick

Synopsis

data TICK era
type family State a
data TickPredicateFailure era
- = NewEpochFailure ( PredicateFailure ( EraRule "NEWEPOCH" era))
- | RupdFailure ( PredicateFailure ( EraRule "RUPD" era))
data TickEvent era
- = NewEpochEvent ( Event ( EraRule "NEWEPOCH" era))
- | RupdEvent ( Event ( EraRule "RUPD" era))
type family PredicateFailure a
adoptGenesisDelegs :: EpochState era -> SlotNo -> EpochState era
data TICKF era
newtype TickfPredicateFailure era = TickfNewEpochFailure ( PredicateFailure ( EraRule "NEWEPOCH" era))

Documentation

data TICK era Source #

Instances

Instances details

( Era era, Embed ( EraRule "NEWEPOCH" era) ( TICK era), Embed ( EraRule "RUPD" era) ( TICK era), State ( TICK era) ~ NewEpochState era, BaseM ( TICK era) ~ ShelleyBase , Environment ( EraRule "RUPD" era) ~ RupdEnv era, State ( EraRule "RUPD" era) ~ StrictMaybe ( PulsingRewUpdate ( Crypto era)), Signal ( EraRule "RUPD" era) ~ SlotNo , Environment ( EraRule "NEWEPOCH" era) ~ (), State ( EraRule "NEWEPOCH" era) ~ NewEpochState era, Signal ( EraRule "NEWEPOCH" era) ~ EpochNo ) => STS ( TICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick Associated Types type State ( TICK era) Source # type Signal ( TICK era) Source # type Environment ( TICK era) Source # type BaseM ( TICK era) :: Type -> Type Source # type Event ( TICK era) Source # type PredicateFailure ( TICK era) Source # Methods initialRules :: [ InitialRule ( TICK era)] Source # transitionRules :: [ TransitionRule ( TICK era)] Source # assertions :: [ Assertion ( TICK era)] Source # renderAssertionViolation :: AssertionViolation ( TICK era) -> String Source #
( Era era, STS ( RUPD era), PredicateFailure ( EraRule "RUPD" era) ~ RupdPredicateFailure era, Event ( EraRule "RUPD" era) ~ RupdEvent ( Crypto era)) => Embed ( RUPD era) ( TICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick Methods wrapFailed :: PredicateFailure ( RUPD era) -> PredicateFailure ( TICK era) Source # wrapEvent :: Event ( RUPD era) -> Event ( TICK 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 ( TICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure ( TICK era) = TickPredicateFailure era
type Event ( TICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type Event ( TICK era) = TickEvent era
type BaseM ( TICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type BaseM ( TICK era) = ShelleyBase
type Environment ( TICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type Environment ( TICK era) = ()
type Signal ( TICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type Signal ( TICK era) = SlotNo
type State ( TICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type State ( TICK era) = NewEpochState era

type family State a Source #

Type of the state which the system transitions between.

Instances

Instances details

type State ( SNAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap type State ( SNAP era) = SnapShots ( Crypto era)
type State ( RUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type State ( RUPD era) = StrictMaybe ( PulsingRewUpdate ( Crypto era))
type State ( PPUP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type State ( PPUP era) = PPUPState era
type State ( UTXO era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type State ( UTXO era) = UTxOState era
type State ( UTXOW era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type State ( UTXOW era) = UTxOState era
type State ( POOLREAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type State ( POOLREAP era) = PoolreapState era
type State ( POOL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type State ( POOL era) = PState ( Crypto era)
type State ( NEWPP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type State ( NEWPP era) = NewppState era
type State ( UPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type State ( UPEC era) = UpecState era
type State ( MIR era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Mir type State ( MIR era) = EpochState era
type State ( EPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch type State ( EPOCH era) = EpochState era
type State ( DELEG era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type State ( DELEG era) = DState ( Crypto era)
type State ( DELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type State ( DELPL era) = DPState ( Crypto era)
type State ( DELEGS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type State ( DELEGS era) = DPState ( Crypto era)
type State ( LEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type State ( LEDGER era) = LedgerState era
type State ( LEDGERS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type State ( LEDGERS era) = LedgerState era
type State ( BBODY era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type State ( BBODY era) = BbodyState era
type State ( NEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type State ( NEWEPOCH era) = NewEpochState era
type State ( TICKF era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type State ( TICKF era) = NewEpochState era
type State ( TICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type State ( TICK era) = NewEpochState era
type State ( STUB e st si f m)
Instance details Defined in Control.State.Transition.Extended type State ( STUB e st si f m) = st

data TickPredicateFailure era Source #

Constructors

NewEpochFailure ( PredicateFailure ( EraRule "NEWEPOCH" era))
RupdFailure ( PredicateFailure ( EraRule "RUPD" era))

Instances

Instances details

( Eq ( PredicateFailure ( EraRule "NEWEPOCH" era)), Eq ( PredicateFailure ( EraRule "RUPD" era))) => Eq ( TickPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick Methods (==) :: TickPredicateFailure era -> TickPredicateFailure era -> Bool Source # (/=) :: TickPredicateFailure era -> TickPredicateFailure era -> Bool Source #
( Show ( PredicateFailure ( EraRule "NEWEPOCH" era)), Show ( PredicateFailure ( EraRule "RUPD" era))) => Show ( TickPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick Methods showsPrec :: Int -> TickPredicateFailure era -> ShowS Source # show :: TickPredicateFailure era -> String Source # showList :: [ TickPredicateFailure era] -> ShowS Source #
Generic ( TickPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick Associated Types type Rep ( TickPredicateFailure era) :: Type -> Type Source # Methods from :: TickPredicateFailure era -> Rep ( TickPredicateFailure era) x Source # to :: Rep ( TickPredicateFailure era) x -> TickPredicateFailure era Source #
( NoThunks ( PredicateFailure ( EraRule "NEWEPOCH" era)), NoThunks ( PredicateFailure ( EraRule "RUPD" era))) => NoThunks ( TickPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick Methods noThunks :: Context -> TickPredicateFailure era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TickPredicateFailure era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( TickPredicateFailure era) -> String Source #
type Rep ( TickPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type Rep ( TickPredicateFailure era) = D1 (' MetaData "TickPredicateFailure" "Cardano.Ledger.Shelley.Rules.Tick" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "NewEpochFailure" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PredicateFailure ( EraRule "NEWEPOCH" era)))) :+: C1 (' MetaCons "RupdFailure" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PredicateFailure ( EraRule "RUPD" era)))))

data TickEvent era Source #

Constructors

NewEpochEvent ( Event ( EraRule "NEWEPOCH" era))
RupdEvent ( Event ( EraRule "RUPD" era))

Instances

Instances details

Generic ( TickEvent era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick Associated Types type Rep ( TickEvent era) :: Type -> Type Source # Methods from :: TickEvent era -> Rep ( TickEvent era) x Source # to :: Rep ( TickEvent era) x -> TickEvent era Source #
type Rep ( TickEvent era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type Rep ( TickEvent era) = D1 (' MetaData "TickEvent" "Cardano.Ledger.Shelley.Rules.Tick" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "NewEpochEvent" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Event ( EraRule "NEWEPOCH" era)))) :+: C1 (' MetaCons "RupdEvent" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Event ( EraRule "RUPD" era)))))

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

adoptGenesisDelegs :: EpochState era -> SlotNo -> EpochState era Source #

data TICKF era Source #

Instances

Instances details

( Era era, Embed ( EraRule "NEWEPOCH" era) ( TICKF era), Environment ( EraRule "NEWEPOCH" era) ~ (), State ( EraRule "NEWEPOCH" era) ~ NewEpochState era, Signal ( EraRule "NEWEPOCH" era) ~ EpochNo ) => STS ( TICKF era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick Associated Types type State ( TICKF era) Source # type Signal ( TICKF era) Source # type Environment ( TICKF era) Source # type BaseM ( TICKF era) :: Type -> Type Source # type Event ( TICKF era) Source # type PredicateFailure ( TICKF era) Source # Methods initialRules :: [ InitialRule ( TICKF era)] Source # transitionRules :: [ TransitionRule ( TICKF era)] Source # assertions :: [ Assertion ( TICKF era)] Source # renderAssertionViolation :: AssertionViolation ( TICKF era) -> String 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 #
type PredicateFailure ( TICKF era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure ( TICKF era) = TickfPredicateFailure era
type Event ( TICKF era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type Event ( TICKF era)
type BaseM ( TICKF era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type BaseM ( TICKF era) = ShelleyBase
type Environment ( TICKF era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type Environment ( TICKF era) = ()
type Signal ( TICKF era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type Signal ( TICKF era) = SlotNo
type State ( TICKF era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type State ( TICKF era) = NewEpochState era

newtype TickfPredicateFailure era Source #

Constructors

TickfNewEpochFailure ( PredicateFailure ( EraRule "NEWEPOCH" era))

Instances

Instances details

( Era era, Eq ( PredicateFailure ( EraRule "NEWEPOCH" era))) => Eq ( TickfPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick Methods (==) :: TickfPredicateFailure era -> TickfPredicateFailure era -> Bool Source # (/=) :: TickfPredicateFailure era -> TickfPredicateFailure era -> Bool Source #
( Era era, Show ( PredicateFailure ( EraRule "NEWEPOCH" era))) => Show ( TickfPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick Methods showsPrec :: Int -> TickfPredicateFailure era -> ShowS Source # show :: TickfPredicateFailure era -> String Source # showList :: [ TickfPredicateFailure era] -> ShowS Source #
Generic ( TickfPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick Associated Types type Rep ( TickfPredicateFailure era) :: Type -> Type Source # Methods from :: TickfPredicateFailure era -> Rep ( TickfPredicateFailure era) x Source # to :: Rep ( TickfPredicateFailure era) x -> TickfPredicateFailure era Source #
( UsesTxOut era, UsesValue era, NoThunks ( PredicateFailure ( EraRule "NEWEPOCH" era))) => NoThunks ( TickfPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick Methods noThunks :: Context -> TickfPredicateFailure era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TickfPredicateFailure era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( TickfPredicateFailure era) -> String Source #
type Rep ( TickfPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type Rep ( TickfPredicateFailure era) = D1 (' MetaData "TickfPredicateFailure" "Cardano.Ledger.Shelley.Rules.Tick" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' True ) ( C1 (' MetaCons "TickfNewEpochFailure" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PredicateFailure ( EraRule "NEWEPOCH" era)))))