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

( 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

type PredicateFailure ( DELEG era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

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 Environment ( DELEG era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type Signal ( DELEG era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type State ( DELEG era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

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 ( RUPD era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type PredicateFailure ( PPUP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type PredicateFailure ( UTXO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type PredicateFailure ( UTXOW era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type PredicateFailure ( POOLREAP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type PredicateFailure ( POOL era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type PredicateFailure ( NEWPP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type PredicateFailure ( UPEC era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type PredicateFailure ( MIR era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type PredicateFailure ( EPOCH era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type PredicateFailure ( DELEG era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type PredicateFailure ( DELPL era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type PredicateFailure ( DELEGS era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type PredicateFailure ( LEDGER era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type PredicateFailure ( LEDGERS era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type PredicateFailure ( BBODY era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type PredicateFailure ( NEWEPOCH era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type PredicateFailure ( TICKF era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure ( TICK era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

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 #

Instances

Instances details
Eq ( DelegPredicateFailure era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Show ( DelegPredicateFailure era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Generic ( DelegPredicateFailure era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

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

Defined in Cardano.Ledger.Shelley.Rules.Deleg

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

Defined in Cardano.Ledger.Shelley.Rules.Deleg

NoThunks ( DelegPredicateFailure era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

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 ))))))