Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Shelley.Rules.Pool

Synopsis

data POOL (era :: Type )
data PoolEvent era
- = RegisterPool ( KeyHash ' StakePool ( Crypto era))
- | ReregisterPool ( KeyHash ' StakePool ( Crypto era))
data PoolEnv era = PoolEnv SlotNo ( PParams era)
type family PredicateFailure a
data PoolPredicateFailure era
- = StakePoolNotRegisteredOnKeyPOOL !( KeyHash ' StakePool ( Crypto era))
- | StakePoolRetirementWrongEpochPOOL ! Word64 ! Word64 ! Word64
- | WrongCertificateTypePOOL ! Word8
- | StakePoolCostTooLowPOOL ! Coin ! Coin
- | WrongNetworkPOOL ! Network ! Network !( KeyHash ' StakePool ( Crypto era))
- | PoolMedataHashTooBig !( KeyHash ' StakePool ( Crypto era)) ! Int

Documentation

data POOL (era :: Type ) Source #

Instances

Instances details

( Era era, HasField "_minPoolCost" ( PParams era) Coin , HasField "_eMax" ( PParams era) EpochNo , HasField "_protocolVersion" ( PParams era) ProtVer ) => STS ( POOL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool Associated Types type State ( POOL era) Source # type Signal ( POOL era) Source # type Environment ( POOL era) Source # type BaseM ( POOL era) :: Type -> Type Source # type Event ( POOL era) Source # type PredicateFailure ( POOL era) Source # Methods initialRules :: [ InitialRule ( POOL era)] Source # transitionRules :: [ TransitionRule ( POOL era)] Source # assertions :: [ Assertion ( POOL era)] Source # renderAssertionViolation :: AssertionViolation ( POOL 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 #
type PredicateFailure ( POOL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type PredicateFailure ( POOL era) = PoolPredicateFailure era
type Event ( POOL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type Event ( POOL era) = PoolEvent era
type BaseM ( POOL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type BaseM ( POOL era) = ShelleyBase
type Environment ( POOL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type Environment ( POOL era) = PoolEnv era
type Signal ( POOL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type Signal ( POOL era) = DCert ( Crypto era)
type State ( POOL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type State ( POOL era) = PState ( Crypto era)

data PoolEvent era Source #

Constructors

RegisterPool ( KeyHash ' StakePool ( Crypto era))
ReregisterPool ( KeyHash ' StakePool ( Crypto era))

data PoolEnv era Source #

Constructors

PoolEnv SlotNo ( PParams era)

Instances

Instances details

Eq ( PParams era) => Eq ( PoolEnv era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool Methods (==) :: PoolEnv era -> PoolEnv era -> Bool Source # (/=) :: PoolEnv era -> PoolEnv era -> Bool Source #
Show ( PParams era) => Show ( PoolEnv era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool Methods showsPrec :: Int -> PoolEnv era -> ShowS Source # show :: PoolEnv era -> String Source # showList :: [ PoolEnv era] -> ShowS 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

data PoolPredicateFailure era Source #

Constructors

StakePoolNotRegisteredOnKeyPOOL !( KeyHash ' StakePool ( Crypto era))
StakePoolRetirementWrongEpochPOOL ! Word64 ! Word64 ! Word64
WrongCertificateTypePOOL ! Word8
StakePoolCostTooLowPOOL ! Coin ! Coin
WrongNetworkPOOL ! Network ! Network !( KeyHash ' StakePool ( Crypto era))
PoolMedataHashTooBig !( KeyHash ' StakePool ( Crypto era)) ! Int

Instances

Instances details

Eq ( PoolPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool Methods (==) :: PoolPredicateFailure era -> PoolPredicateFailure era -> Bool Source # (/=) :: PoolPredicateFailure era -> PoolPredicateFailure era -> Bool Source #
Show ( PoolPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool Methods showsPrec :: Int -> PoolPredicateFailure era -> ShowS Source # show :: PoolPredicateFailure era -> String Source # showList :: [ PoolPredicateFailure era] -> ShowS Source #
Generic ( PoolPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool Associated Types type Rep ( PoolPredicateFailure era) :: Type -> Type Source # Methods from :: PoolPredicateFailure era -> Rep ( PoolPredicateFailure era) x Source # to :: Rep ( PoolPredicateFailure era) x -> PoolPredicateFailure era Source #
( Typeable era, Era era) => ToCBOR ( PoolPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool Methods toCBOR :: PoolPredicateFailure era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( PoolPredicateFailure era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ PoolPredicateFailure era] -> Size Source #
Era era => FromCBOR ( PoolPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool Methods fromCBOR :: Decoder s ( PoolPredicateFailure era) Source # label :: Proxy ( PoolPredicateFailure era) -> Text Source #
NoThunks ( PoolPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool Methods noThunks :: Context -> PoolPredicateFailure era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> PoolPredicateFailure era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( PoolPredicateFailure era) -> String Source #
type Rep ( PoolPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type Rep ( PoolPredicateFailure era) = D1 (' MetaData "PoolPredicateFailure" "Cardano.Ledger.Shelley.Rules.Pool" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) (( C1 (' MetaCons "StakePoolNotRegisteredOnKeyPOOL" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash ' StakePool ( Crypto era)))) :+: ( C1 (' MetaCons "StakePoolRetirementWrongEpochPOOL" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Word64 ) :: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Word64 ) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Word64 ))) :+: C1 (' MetaCons "WrongCertificateTypePOOL" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Word8 )))) :+: ( C1 (' MetaCons "StakePoolCostTooLowPOOL" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Coin ) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Coin )) :+: ( C1 (' MetaCons "WrongNetworkPOOL" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Network ) :: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Network ) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash ' StakePool ( Crypto era))))) :+: C1 (' MetaCons "PoolMedataHashTooBig" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash ' StakePool ( Crypto era))) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Int )))))