Modulebyron-spec-ledger-1.1.0.1Haskell2010

Byron.Spec.Ledger.Delegation

18 types
1 class
31 values

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

Delegation scheduling

12 declarations

datadata SDELEG

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

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

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-IG07fLX99Su7spby3aHJ3g" '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

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-IG07fLX99Su7spby3aHJ3g" '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

Key that delegates

valuedelegate :: DCert -> VKey

Key that the delegator is delegating to

valuedepoch :: DCert -> Epoch

Certificate epoch

valuedwho :: DCert -> (VKeyGenesis, VKey)

Who is delegating to whom.

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

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

Witness for the delegation certificate

Delegation activation

5 declarations

datadata ADELEG

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

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

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-IG07fLX99Su7spby3aHJ3g" '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

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-IG07fLX99Su7spby3aHJ3g" '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

9 declarations

datadata DELEG

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

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-IG07fLX99Su7spby3aHJ3g" '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

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-IG07fLX99Su7spby3aHJ3g" '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

3 declarations

methodslot :: Lens' s a

methodepoch :: Lens' s a

methoddelegationMap :: Lens' s a

State lens type classes

3 declarations

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

4 declarations

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

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

valueinitialEnvFromGenesisKeys

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

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

valuerandomDCertGen :: Environment DELEG -> Gen DCert

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

1 declaration

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

Support Functions for delegation properties

12 declarations

valuedelegatorDelegate :: DCert -> (VKeyGenesis, VKey)

valueemptyDelegationPayloadRatio :: [[DCert]] -> Double

Ratio of certificate groups that are empty

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

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

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

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

valueselfDelegationsRatio :: [DCert] -> Double

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

valuemultipleDelegationsRatio :: [DCert] -> Double

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

valuemaxDelegationsTo :: [DCert] -> Int

The maximum number of delegators to any particular delegate

valuechangedDelegationsRatio :: [DCert] -> Double

Ratio of delegators that have changed their delegations

valuemaxChangedDelegations :: [DCert] -> Int

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

valuerepeatedDelegationsRatio :: [DCert] -> Double

Ratio of repeated delegations to all delegations

valuemaxRepeatedDelegations :: [DCert] -> Int

The maximum number of repeated delegations in the given certificates

valuemaxCertsPerBlock :: [[DCert]] -> Int

Predicate failures

6 declarations

datadata AdelegPredicateFailure

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-IG07fLX99Su7spby3aHJ3g" '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-IG07fLX99Su7spby3aHJ3g" '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

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-IG07fLX99Su7spby3aHJ3g" '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-IG07fLX99Su7spby3aHJ3g" '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-IG07fLX99Su7spby3aHJ3g" '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-IG07fLX99Su7spby3aHJ3g" '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