Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Shelley.Rules.Delpl

Synopsis

data DELPL era
data DelplEnv era = DelplEnv {
- delplSlotNo :: SlotNo
- delPlPtr :: Ptr
- delPlPp :: PParams era
- delPlAcnt :: AccountState
}
data DelplPredicateFailure era
- = PoolFailure ( PredicateFailure ( EraRule "POOL" era))
- | DelegFailure ( PredicateFailure ( EraRule "DELEG" era))
data DelplEvent era
type family PredicateFailure a

Documentation

data DELPL era Source #

Instances

Instances details

( Era era, Embed ( EraRule "DELEG" era) ( DELPL era), Environment ( EraRule "DELEG" era) ~ DelegEnv era, State ( EraRule "DELEG" era) ~ DState ( Crypto era), Signal ( EraRule "DELEG" era) ~ DCert ( Crypto era), Embed ( EraRule "POOL" era) ( DELPL era), Environment ( EraRule "POOL" era) ~ PoolEnv era, State ( EraRule "POOL" era) ~ PState ( Crypto era), Signal ( EraRule "POOL" era) ~ DCert ( Crypto era)) => STS ( DELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Associated Types type State ( DELPL era) Source # type Signal ( DELPL era) Source # type Environment ( DELPL era) Source # type BaseM ( DELPL era) :: Type -> Type Source # type Event ( DELPL era) Source # type PredicateFailure ( DELPL era) Source # Methods initialRules :: [ InitialRule ( DELPL era)] Source # transitionRules :: [ TransitionRule ( DELPL era)] Source # assertions :: [ Assertion ( DELPL era)] Source # renderAssertionViolation :: AssertionViolation ( DELPL era) -> String Source #
( Era era, STS ( POOL era), PredicateFailure ( EraRule "POOL" era) ~ PoolPredicateFailure era) => Embed ( POOL era) ( DELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods wrapFailed :: PredicateFailure ( POOL era) -> PredicateFailure ( DELPL era) Source # wrapEvent :: Event ( POOL era) -> Event ( DELPL era) Source #
( Era era, HasField "_protocolVersion" ( PParams era) ProtVer , PredicateFailure ( EraRule "DELEG" era) ~ DelegPredicateFailure era) => Embed ( DELEG era) ( DELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods wrapFailed :: PredicateFailure ( DELEG era) -> PredicateFailure ( DELPL era) Source # wrapEvent :: Event ( DELEG era) -> Event ( DELPL era) Source #
( Era era, STS ( DELPL era), PredicateFailure ( EraRule "DELPL" era) ~ DelplPredicateFailure era, Event ( EraRule "DELPL" era) ~ DelplEvent era) => Embed ( DELPL era) ( DELEGS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods wrapFailed :: PredicateFailure ( DELPL era) -> PredicateFailure ( DELEGS era) Source # wrapEvent :: Event ( DELPL era) -> Event ( DELEGS era) Source #
type PredicateFailure ( DELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type PredicateFailure ( DELPL era) = DelplPredicateFailure era
type Event ( DELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type Event ( DELPL era) = DelplEvent era
type BaseM ( DELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type BaseM ( DELPL era) = ShelleyBase
type Environment ( DELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type Environment ( DELPL era) = DelplEnv era
type Signal ( DELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type Signal ( DELPL era) = DCert ( Crypto era)
type State ( DELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type State ( DELPL era) = DPState ( Crypto era)

data DelplEnv era Source #

Constructors

DelplEnv
Fields delplSlotNo :: SlotNo delPlPtr :: Ptr delPlPp :: PParams era delPlAcnt :: AccountState

data DelplPredicateFailure era Source #

Constructors

PoolFailure ( PredicateFailure ( EraRule "POOL" era))
DelegFailure ( PredicateFailure ( EraRule "DELEG" era))

Instances

Instances details

( Eq ( PredicateFailure ( EraRule "DELEG" era)), Eq ( PredicateFailure ( EraRule "POOL" era))) => Eq ( DelplPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods (==) :: DelplPredicateFailure era -> DelplPredicateFailure era -> Bool Source # (/=) :: DelplPredicateFailure era -> DelplPredicateFailure era -> Bool Source #
( Show ( PredicateFailure ( EraRule "DELEG" era)), Show ( PredicateFailure ( EraRule "POOL" era))) => Show ( DelplPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods showsPrec :: Int -> DelplPredicateFailure era -> ShowS Source # show :: DelplPredicateFailure era -> String Source # showList :: [ DelplPredicateFailure era] -> ShowS Source #
Generic ( DelplPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Associated Types type Rep ( DelplPredicateFailure era) :: Type -> Type Source # Methods from :: DelplPredicateFailure era -> Rep ( DelplPredicateFailure era) x Source # to :: Rep ( DelplPredicateFailure era) x -> DelplPredicateFailure era Source #
( Era era, ToCBOR ( PredicateFailure ( EraRule "POOL" era)), ToCBOR ( PredicateFailure ( EraRule "DELEG" era)), Typeable ( Script era)) => ToCBOR ( DelplPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods toCBOR :: DelplPredicateFailure era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( DelplPredicateFailure era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ DelplPredicateFailure era] -> Size Source #
( Era era, FromCBOR ( PredicateFailure ( EraRule "POOL" era)), FromCBOR ( PredicateFailure ( EraRule "DELEG" era)), Typeable ( Script era)) => FromCBOR ( DelplPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods fromCBOR :: Decoder s ( DelplPredicateFailure era) Source # label :: Proxy ( DelplPredicateFailure era) -> Text Source #
( NoThunks ( PredicateFailure ( EraRule "DELEG" era)), NoThunks ( PredicateFailure ( EraRule "POOL" era))) => NoThunks ( DelplPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods noThunks :: Context -> DelplPredicateFailure era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> DelplPredicateFailure era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( DelplPredicateFailure era) -> String Source #
type Rep ( DelplPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type Rep ( DelplPredicateFailure era) = D1 (' MetaData "DelplPredicateFailure" "Cardano.Ledger.Shelley.Rules.Delpl" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "PoolFailure" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PredicateFailure ( EraRule "POOL" era)))) :+: C1 (' MetaCons "DelegFailure" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PredicateFailure ( EraRule "DELEG" era)))))

data DelplEvent era Source #

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