Modulebyron-spec-ledger-1.1.0.1Haskell2010

Byron.Spec.Ledger.Delegation

Contents

Delegation scheduling
Delegation activation
Delegation interface
State lens fields
State lens type classes
Generators
Functions on delegation state
Support Functions for delegation properties
Predicate failures

Synopsis

data SDELEG
data SDELEGS
data DSState
value _dSStateScheduledDelegations
value _dSStateKeyEpochDelegations
data DCert
value delegator
value delegate
value depoch
value dwho
value mkDCert
value signature
data ADELEG
data ADELEGS
data DSEnv
method allowedDelegators
data DState
data DELEG
type DIEnv
data DIState
value _dIStateDelegationMap
value _dIStateLastDelegation
value _dIStateScheduledDelegations
value _dIStateKeyEpochDelegations
value liveAfter
data EpochDiff
method slot
method epoch
method delegationMap
class HasScheduledDelegations
method scheduledDelegations
value dmsL
value dcertGen
value dcertsGen
value initialEnvFromGenesisKeys
value randomDCertGen
value delegatorOf
value delegatorDelegate
value emptyDelegationPayloadRatio
value thisEpochDelegationsRatio
value nextEpochDelegationsRatio
value selfDelegationsRatio
value multipleDelegationsRatio
value maxDelegationsTo
value changedDelegationsRatio
value maxChangedDelegations
value repeatedDelegationsRatio
value maxRepeatedDelegations
value maxCertsPerBlock
data AdelegPredicateFailure
data AdelegsPredicateFailure
data SdelegPredicateFailure
data SdelegsPredicateFailure
data MsdelegPredicateFailure
data DelegPredicateFailure

Packagebyron-spec-ledger-1.1.0.1
Exports55
LanguageHaskell2010
LicenceApache-2.0
SourceDelegation.hs

Delegation scheduling

datadata SDELEG

Source#

Delegation scheduling rules

Instances10Data, STS, Embed, BaseM, Environment, Event, …

Data SDELEGDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
STS SDELEGDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Embed SDELEG MSDELEGDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Embed SDELEG SDELEGSDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type BaseM SDELEG = IdentityDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Environment SDELEG = DSEnvDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Event SDELEG = VoidDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type PredicateFailure SDELEG = SdelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Signal SDELEG = DCertDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type State SDELEG = DSStateDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation

datadata SDELEGS

Source#

Delegation scheduling sequencing

Instances10Data, STS, Embed, BaseM, Environment, Event, …

Data SDELEGSDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
STS SDELEGSDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Embed SDELEG SDELEGSDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Embed SDELEGS DELEGDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type BaseM SDELEGS = IdentityDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Environment SDELEGS = DSEnvDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Event SDELEGS = VoidDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type PredicateFailure SDELEGS = SdelegsPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Signal SDELEGS = [DCert]Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type State SDELEGS = DSStateDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation

datadata DSState

Source#

Delegation scheduling state

Constructors

DSState
- _dSStateScheduledDelegations :: [(Slot, (VKeyGenesis, VKey))]
- _dSStateKeyEpochDelegations :: Set (Epoch, VKeyGenesis)

Instances7Eq, Show, Generic, NoThunks, HasScheduledDelegations, HasKeyEpochDelegations, …

Eq DSStateDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Show DSStateDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Generic DSStateDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
NoThunks DSStateDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasScheduledDelegations DSState [(Slot, (VKeyGenesis, VKey))]Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasKeyEpochDelegations DSState (Set (Epoch, VKeyGenesis))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Rep DSState = D1 ('MetaData "DSState" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'False) (C1 ('MetaCons "DSState" 'PrefixI 'True) (S1 ('MetaSel ('Just "_dSStateScheduledDelegations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [(Slot, (VKeyGenesis, VKey))]) :*: S1 ('MetaSel ('Just "_dSStateKeyEpochDelegations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Set (Epoch, VKeyGenesis)))))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation

value_dSStateScheduledDelegations :: DSState -> [(Slot, (VKeyGenesis, VKey))]

value_dSStateKeyEpochDelegations :: DSState -> Set (Epoch, VKeyGenesis)

datadata DCert

Source#

A delegation certificate.

Constructors

DCert
- delegator :: VKeyGenesis
  Key that delegates
- delegate :: VKey
  Key that the delegator is delegating to
- depoch :: Epoch
  Certificate epoch
- signature :: Sig (VKey, Epoch)
  Witness for the delegation certificate

Instances10Eq, Data, Ord, Show, Generic, Hashable, …

Eq DCertDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Data DCertDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Ord DCertDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Show DCertDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Generic DCertDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Hashable DCertDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
NoThunks DCertDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasTypeReps DCertDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasHash [DCert]Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Rep DCert = D1 ('MetaData "DCert" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'False) (C1 ('MetaCons "DCert" 'PrefixI 'True) ((S1 ('MetaSel ('Just "delegator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VKeyGenesis) :*: S1 ('MetaSel ('Just "delegate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VKey)) :*: (S1 ('MetaSel ('Just "depoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Epoch) :*: S1 ('MetaSel ('Just "signature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Sig (VKey, Epoch))))))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation

valuedelegator :: DCert -> VKeyGenesis

Source#

Key that delegates

valuedelegate :: DCert -> VKey

Source#

Key that the delegator is delegating to

valuedepoch :: DCert -> Epoch

Source#

Certificate epoch

valuedwho :: DCert -> (VKeyGenesis, VKey)

Source#

Who is delegating to whom.

valuemkDCert :: VKeyGenesis -> Sig (VKey, Epoch) -> VKey -> Epoch -> DCert

valuesignature :: DCert -> Sig (VKey, Epoch)

Source#

Witness for the delegation certificate

Delegation activation

datadata ADELEG

Source#

Delegation rules

Instances9Data, STS, Embed, BaseM, Environment, Event, …

Data ADELEGDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
STS ADELEGDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Embed ADELEG ADELEGSDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type BaseM ADELEG = IdentityDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Environment ADELEG = Set VKeyGenesisDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Event ADELEG = VoidDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type PredicateFailure ADELEG = AdelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Signal ADELEG = (Slot, (VKeyGenesis, VKey))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type State ADELEG = DStateDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation

datadata ADELEGS

Source#

Delegation rules sequencing

Instances10Data, STS, Embed, BaseM, Environment, Event, …

Data ADELEGSDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
STS ADELEGSDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Embed ADELEG ADELEGSDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Embed ADELEGS DELEGDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type BaseM ADELEGS = IdentityDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Environment ADELEGS = Set VKeyGenesisDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Event ADELEGS = VoidDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type PredicateFailure ADELEGS = AdelegsPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Signal ADELEGS = [(Slot, (VKeyGenesis, VKey))]Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type State ADELEGS = DStateDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation

datadata DSEnv

Source#

Delegation scheduling environment

Constructors

DSEnv
- _dSEnvAllowedDelegators :: Set VKeyGenesis
  Set of allowed delegators
- _dSEnvEpoch :: Epoch
  Current epoch
- _dSEnvSlot :: Slot
  Current slot
- _dSEnvK :: BlockCount
  Chain stability parameter

Instances9Eq, Show, Generic, NoThunks, HasEpoch, HasSlot, …

Eq DSEnvDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Show DSEnvDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Generic DSEnvDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
NoThunks DSEnvDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasEpoch DSEnv EpochDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasSlot DSEnv SlotDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasK DSEnv BlockCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasAllowedDelegators DSEnv (Set VKeyGenesis)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Rep DSEnv = D1 ('MetaData "DSEnv" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'False) (C1 ('MetaCons "DSEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_dSEnvAllowedDelegators") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Set VKeyGenesis)) :*: S1 ('MetaSel ('Just "_dSEnvEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Epoch)) :*: (S1 ('MetaSel ('Just "_dSEnvSlot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Slot) :*: S1 ('MetaSel ('Just "_dSEnvK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 BlockCount))))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation

methodallowedDelegators :: Lens' s a

datadata DState

Source#

Delegation state

Constructors

DState
- _dStateDelegationMap :: Bimap VKeyGenesis VKey
- _dStateLastDelegation :: Map VKeyGenesis Slot
  When was the last time each genesis key delegated.

Instances7Eq, Show, Generic, NoThunks, HasDelegationMap, HasLastDelegation, …

Eq DStateDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Show DStateDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Generic DStateDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
NoThunks DStateDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasDelegationMap DState (Bimap VKeyGenesis VKey)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasLastDelegation DState (Map VKeyGenesis Slot)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Rep DState = D1 ('MetaData "DState" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'False) (C1 ('MetaCons "DState" 'PrefixI 'True) (S1 ('MetaSel ('Just "_dStateDelegationMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Bimap VKeyGenesis VKey)) :*: S1 ('MetaSel ('Just "_dStateLastDelegation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Map VKeyGenesis Slot))))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation

Delegation interface

datadata DELEG

Source#

Delegation interface

Instances12Data, STS, HasTrace, Embed, BaseM, Environment, …

Data DELEGDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
STS DELEGDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasTrace DELEGDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Embed ADELEGS DELEGDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Embed SDELEGS DELEGDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type BaseM DELEG = IdentityDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Environment DELEG = DIEnvDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Event DELEG = VoidDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type PredicateFailure DELEG = DelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Signal DELEG = [DCert]Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type State DELEG = DIStateDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type BaseEnv DELEG = ()Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation

typetype DIEnv = DSEnv

Source#

Interface environment is the same as scheduling environment.

datadata DIState

Constructors

DIState
- _dIStateDelegationMap :: Bimap VKeyGenesis VKey
- _dIStateLastDelegation :: Map VKeyGenesis Slot
- _dIStateScheduledDelegations :: [(Slot, (VKeyGenesis, VKey))]
- _dIStateKeyEpochDelegations :: Set (Epoch, VKeyGenesis)

Instances9Eq, Show, Generic, NoThunks, HasScheduledDelegations, HasKeyEpochDelegations, …

Eq DIStateDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Show DIStateDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Generic DIStateDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
NoThunks DIStateDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasScheduledDelegations DIState [(Slot, (VKeyGenesis, VKey))]Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasKeyEpochDelegations DIState (Set (Epoch, VKeyGenesis))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasDelegationMap DIState (Bimap VKeyGenesis VKey)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasLastDelegation DIState (Map VKeyGenesis Slot)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Rep DIState = D1 ('MetaData "DIState" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'False) (C1 ('MetaCons "DIState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_dIStateDelegationMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Bimap VKeyGenesis VKey)) :*: S1 ('MetaSel ('Just "_dIStateLastDelegation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Map VKeyGenesis Slot))) :*: (S1 ('MetaSel ('Just "_dIStateScheduledDelegations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [(Slot, (VKeyGenesis, VKey))]) :*: S1 ('MetaSel ('Just "_dIStateKeyEpochDelegations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Set (Epoch, VKeyGenesis))))))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation

value_dIStateDelegationMap :: DIState -> Bimap VKeyGenesis VKey

value_dIStateLastDelegation :: DIState -> Map VKeyGenesis Slot

value_dIStateScheduledDelegations :: DIState -> [(Slot, (VKeyGenesis, VKey))]

value_dIStateKeyEpochDelegations :: DIState -> Set (Epoch, VKeyGenesis)

valueliveAfter :: BlockCount -> SlotCount

Source#

Compute after which slot the delegation certificate will become live, using the chain stability parameter.

datadata EpochDiff

Constructors

EpochDiff
- currentEpoch :: Epoch
- certEpoch :: Epoch

Instances6Eq, Data, Show, Generic, NoThunks, Rep

Eq EpochDiffDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Data EpochDiffDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Show EpochDiffDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Generic EpochDiffDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
NoThunks EpochDiffDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Rep EpochDiff = D1 ('MetaData "EpochDiff" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'False) (C1 ('MetaCons "EpochDiff" 'PrefixI 'True) (S1 ('MetaSel ('Just "currentEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Epoch) :*: S1 ('MetaSel ('Just "certEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Epoch)))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation

State lens fields

methodslot :: Lens' s a

methodepoch :: Lens' s a

methoddelegationMap :: Lens' s a

State lens type classes

classclass HasScheduledDelegations s a | s -> a where

Instances2HasScheduledDelegations

HasScheduledDelegations DIState [(Slot, (VKeyGenesis, VKey))]Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasScheduledDelegations DSState [(Slot, (VKeyGenesis, VKey))]Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation

methodscheduledDelegations :: Lens' s a

valuedmsL :: HasDelegationMap a (Bimap VKeyGenesis VKey) => Lens' a (Bimap VKeyGenesis VKey)

Generators

valuedcertGen :: DSEnv -> Set (Epoch, VKeyGenesis) -> Gen (Maybe DCert)

valuedcertsGen :: DSEnv -> DIState -> Gen [DCert]

valueinitialEnvFromGenesisKeys

:: Word8
Number of genesis keys.
-> Word64
Chain length
-> Gen DSEnv

Source#

Generate an initial DELEG environment from the given number of genesis keys.

valuerandomDCertGen :: Environment DELEG -> Gen DCert

Source#

Generate a random delegation certificate, which has a high probability of failing since we do not consider the current delegation state. So for instance, we could generate a delegation certificate for a genesis key that already delegated in this epoch.

Functions on delegation state

valuedelegatorOf :: Bimap VKeyGenesis VKey -> VKey -> Maybe VKeyGenesis

Support Functions for delegation properties

valuedelegatorDelegate :: DCert -> (VKeyGenesis, VKey)

valueemptyDelegationPayloadRatio :: [[DCert]] -> Double

Source#

Ratio of certificate groups that are empty

valuethisEpochDelegationsRatio :: [(Epoch, Epoch)] -> Double

Source#

Ratio of certificates that delegate to _this_ epoch, where each certificate is represented by (current epoch,cert epoch)

valuenextEpochDelegationsRatio :: [(Epoch, Epoch)] -> Double

Source#

Ratio of certificates that delegate to the _next_ epoch, where each certificate is represented by (current epoch,cert epoch)

valueselfDelegationsRatio :: [DCert] -> Double

Source#

Ratio of certificates that "delegate to self", that is, where the delegator and delegate are the same

valuemultipleDelegationsRatio :: [DCert] -> Double

Source#

Ratio of delegates that have multiple delegators that are delegating to them

valuemaxDelegationsTo :: [DCert] -> Int

Source#

The maximum number of delegators to any particular delegate

valuechangedDelegationsRatio :: [DCert] -> Double

Source#

Ratio of delegators that have changed their delegations

valuemaxChangedDelegations :: [DCert] -> Int

Source#

The maximum number of change-of-delegate for any particular delegator

valuerepeatedDelegationsRatio :: [DCert] -> Double

Source#

Ratio of repeated delegations to all delegations

valuemaxRepeatedDelegations :: [DCert] -> Int

Source#

The maximum number of repeated delegations in the given certificates

valuemaxCertsPerBlock :: [[DCert]] -> Int

Predicate failures

datadata AdelegPredicateFailure

Source#

None of these PredicateFailures are actually "throwable". The disjuction of the rules' preconditions is True, which means that one of them will pass. The PredicateFailure just act as switches to direct control flow to the successful one.

Constructors

S_BeforeExistingDelegation
S_NoLastDelegation
S_AfterExistingDelegation
S_AlreadyADelegateOf VKey VKeyGenesis

Instances6Eq, Data, Show, Generic, NoThunks, Rep

Eq AdelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Data AdelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Show AdelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Generic AdelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
NoThunks AdelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Rep AdelegPredicateFailure = D1 ('MetaData "AdelegPredicateFailure" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'False) ((C1 ('MetaCons "S_BeforeExistingDelegation" 'PrefixI 'False) U1 :+: C1 ('MetaCons "S_NoLastDelegation" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "S_AfterExistingDelegation" 'PrefixI 'False) U1 :+: C1 ('MetaCons "S_AlreadyADelegateOf" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VKey) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VKeyGenesis))))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation

datadata AdelegsPredicateFailure

Constructors

ADelegFailure (PredicateFailure ADELEG)

Instances6Eq, Data, Show, Generic, NoThunks, Rep

Eq AdelegsPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Data AdelegsPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Show AdelegsPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Generic AdelegsPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
NoThunks AdelegsPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Rep AdelegsPredicateFailure = D1 ('MetaData "AdelegsPredicateFailure" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'False) (C1 ('MetaCons "ADelegFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure ADELEG))))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation

datadata SdelegPredicateFailure

Source#

These PredicateFailures are all "throwable". The disjunction of the rules' preconditions is not True - the PredicateFailures represent False cases.

Instances6Eq, Data, Show, Generic, NoThunks, Rep

Eq SdelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Data SdelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Show SdelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Generic SdelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
NoThunks SdelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Rep SdelegPredicateFailure = D1 ('MetaData "SdelegPredicateFailure" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'False) ((C1 ('MetaCons "IsNotGenesisKey" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "EpochInThePast" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 EpochDiff)) :+: C1 ('MetaCons "EpochPastNextEpoch" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 EpochDiff)))) :+: (C1 ('MetaCons "HasAlreadyDelegated" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "IsAlreadyScheduled" 'PrefixI 'False) U1 :+: C1 ('MetaCons "DoesNotVerify" 'PrefixI 'False) U1)))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation

datadata SdelegsPredicateFailure

Constructors

SDelegFailure (PredicateFailure SDELEG)

Instances6Eq, Data, Show, Generic, NoThunks, Rep

Eq SdelegsPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Data SdelegsPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Show SdelegsPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Generic SdelegsPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
NoThunks SdelegsPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Rep SdelegsPredicateFailure = D1 ('MetaData "SdelegsPredicateFailure" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'False) (C1 ('MetaCons "SDelegFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure SDELEG))))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation

datadata MsdelegPredicateFailure

Constructors

SDELEGFailure (PredicateFailure SDELEG)

Instances6Eq, Data, Show, Generic, NoThunks, Rep

Eq MsdelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Data MsdelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Show MsdelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Generic MsdelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
NoThunks MsdelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Rep MsdelegPredicateFailure = D1 ('MetaData "MsdelegPredicateFailure" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'False) (C1 ('MetaCons "SDELEGFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure SDELEG))))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation

datadata DelegPredicateFailure

Constructors

Instances6Eq, Data, Show, Generic, NoThunks, Rep

Eq DelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Data DelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Show DelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
Generic DelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
NoThunks DelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Rep DelegPredicateFailure = D1 ('MetaData "DelegPredicateFailure" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'False) (C1 ('MetaCons "SDelegSFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure SDELEGS))) :+: C1 ('MetaCons "ADelegSFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure ADELEGS))))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation