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

Cardano.Ledger.Shelley.Rules.Deleg

Synopsis

Documentation

data DELEG era Source #

Instances

Instances details
( Typeable era, HasField "_protocolVersion" ( PParams era) ProtVer ) => STS ( DELEG era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Associated Types

type State ( DELEG era) Source #

type Signal ( DELEG era) Source #

type Environment ( DELEG era) Source #

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

type Event ( DELEG era) Source #

type PredicateFailure ( DELEG era) Source #

Methods

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

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

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

renderAssertionViolation :: AssertionViolation ( DELEG era) -> String 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 #

type PredicateFailure ( DELEG era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

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

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type Event ( DELEG era)
type BaseM ( DELEG era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

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

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type Environment ( DELEG era) = DelegEnv era
type Signal ( DELEG era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type Signal ( DELEG era) = DCert ( Crypto era)
type State ( DELEG era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type State ( DELEG era) = DState ( Crypto era)

data DelegEnv era Source #

Constructors

DelegEnv

Fields

Instances

Instances details
Eq ( PParams era) => Eq ( DelegEnv era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

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

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

Show ( PParams era) => Show ( DelegEnv era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

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

show :: DelegEnv era -> String Source #

showList :: [ DelegEnv 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 DelegPredicateFailure era Source #

Constructors

StakeKeyAlreadyRegisteredDELEG !( Credential ' Staking ( Crypto era))
StakeKeyInRewardsDELEG !( Credential ' Staking ( Crypto era))

Indicates that the stake key is somehow already in the rewards map. This error is now redundant with StakeKeyAlreadyRegisteredDELEG. We should remove it and replace its one use with StakeKeyAlreadyRegisteredDELEG.

StakeKeyNotRegisteredDELEG !( Credential ' Staking ( Crypto era))
StakeKeyNonZeroAccountBalanceDELEG !( Maybe Coin )
StakeDelegationImpossibleDELEG !( Credential ' Staking ( Crypto era))
WrongCertificateTypeDELEG
GenesisKeyNotInMappingDELEG !( KeyHash ' Genesis ( Crypto era))
DuplicateGenesisDelegateDELEG !( KeyHash ' GenesisDelegate ( Crypto era))
InsufficientForInstantaneousRewardsDELEG ! MIRPot ! Coin ! Coin
MIRCertificateTooLateinEpochDELEG ! SlotNo ! SlotNo
DuplicateGenesisVRFDELEG !( Hash ( Crypto era) ( VerKeyVRF ( Crypto era)))
MIRTransferNotCurrentlyAllowed
MIRNegativesNotCurrentlyAllowed
InsufficientForTransferDELEG ! MIRPot ! Coin ! Coin
MIRProducesNegativeUpdate
MIRNegativeTransfer ! MIRPot ! Coin

Instances

Instances details
Eq ( DelegPredicateFailure era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

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

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

Show ( DelegPredicateFailure era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

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

show :: DelegPredicateFailure era -> String Source #

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

Generic ( DelegPredicateFailure era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Associated Types

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

Methods

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

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

( Typeable era, Era era, Typeable ( Script era)) => ToCBOR ( DelegPredicateFailure era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

toCBOR :: DelegPredicateFailure era -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( DelegPredicateFailure era) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ DelegPredicateFailure era] -> Size Source #

( Era era, Typeable ( Script era)) => FromCBOR ( DelegPredicateFailure era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

fromCBOR :: Decoder s ( DelegPredicateFailure era) Source #

label :: Proxy ( DelegPredicateFailure era) -> Text Source #

NoThunks ( DelegPredicateFailure era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

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

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

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

type Rep ( DelegPredicateFailure era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type Rep ( DelegPredicateFailure era) = D1 (' MetaData "DelegPredicateFailure" "Cardano.Ledger.Shelley.Rules.Deleg" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) (((( C1 (' MetaCons "StakeKeyAlreadyRegisteredDELEG" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Credential ' Staking ( Crypto era)))) :+: C1 (' MetaCons "StakeKeyInRewardsDELEG" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Credential ' Staking ( Crypto era))))) :+: ( C1 (' MetaCons "StakeKeyNotRegisteredDELEG" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Credential ' Staking ( Crypto era)))) :+: C1 (' MetaCons "StakeKeyNonZeroAccountBalanceDELEG" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Maybe Coin ))))) :+: (( C1 (' MetaCons "StakeDelegationImpossibleDELEG" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Credential ' Staking ( Crypto era)))) :+: C1 (' MetaCons "WrongCertificateTypeDELEG" ' PrefixI ' False ) ( U1 :: Type -> Type )) :+: ( C1 (' MetaCons "GenesisKeyNotInMappingDELEG" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash ' Genesis ( Crypto era)))) :+: C1 (' MetaCons "DuplicateGenesisDelegateDELEG" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash ' GenesisDelegate ( Crypto era))))))) :+: ((( C1 (' MetaCons "InsufficientForInstantaneousRewardsDELEG" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 MIRPot ) :*: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Coin ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Coin ))) :+: C1 (' MetaCons "MIRCertificateTooLateinEpochDELEG" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 SlotNo ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 SlotNo ))) :+: ( C1 (' MetaCons "DuplicateGenesisVRFDELEG" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Hash ( Crypto era) ( VerKeyVRF ( Crypto era))))) :+: C1 (' MetaCons "MIRTransferNotCurrentlyAllowed" ' PrefixI ' False ) ( U1 :: Type -> Type ))) :+: (( C1 (' MetaCons "MIRNegativesNotCurrentlyAllowed" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: C1 (' MetaCons "InsufficientForTransferDELEG" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 MIRPot ) :*: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Coin ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Coin )))) :+: ( C1 (' MetaCons "MIRProducesNegativeUpdate" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: C1 (' MetaCons "MIRNegativeTransfer" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 MIRPot ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Coin ))))))