Safe Haskell	Safe-Inferred
Language	Haskell2010

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 = DSState [(Slot, (VKeyGenesis, VKey))] (Set (Epoch, VKeyGenesis))
_dSStateScheduledDelegations ∷ DSState → [(Slot, (VKeyGenesis, VKey))]
_dSStateKeyEpochDelegations ∷ DSState → Set (Epoch, VKeyGenesis)
data DCert = DCert VKeyGenesis VKey Epoch (Sig (VKey, Epoch))
delegator ∷ DCert → VKeyGenesis
delegate ∷ DCert → VKey
depoch ∷ DCert → Epoch
dwho ∷ DCert → (VKeyGenesis, VKey)
mkDCert ∷ VKeyGenesis → Sig (VKey, Epoch) → VKey → Epoch → DCert
signature ∷ DCert → Sig (VKey, Epoch)
data ADELEG
data ADELEGS
data DSEnv = DSEnv {
- _dSEnvAllowedDelegators ∷ Set VKeyGenesis
- _dSEnvEpoch ∷ Epoch
- _dSEnvSlot ∷ Slot
- _dSEnvK ∷ BlockCount
}
allowedDelegators ∷ HasAllowedDelegators s a ⇒ Lens' s a
data DState = DState {
- _dStateDelegationMap ∷ Bimap VKeyGenesis VKey
- _dStateLastDelegation ∷ Map VKeyGenesis Slot
}
data DELEG
type DIEnv = DSEnv
data DIState = DIState (Bimap VKeyGenesis VKey) (Map VKeyGenesis Slot) [(Slot, (VKeyGenesis, VKey))] (Set (Epoch, VKeyGenesis))
_dIStateDelegationMap ∷ DIState → Bimap VKeyGenesis VKey
_dIStateLastDelegation ∷ DIState → Map VKeyGenesis Slot
_dIStateScheduledDelegations ∷ DIState → [(Slot, (VKeyGenesis, VKey))]
_dIStateKeyEpochDelegations ∷ DIState → Set (Epoch, VKeyGenesis)
liveAfter ∷ BlockCount → SlotCount
data EpochDiff = EpochDiff {
- currentEpoch ∷ Epoch
- certEpoch ∷ Epoch
}
slot ∷ HasSlot s a ⇒ Lens' s a
epoch ∷ HasEpoch s a ⇒ Lens' s a
delegationMap ∷ HasDelegationMap s a ⇒ Lens' s a
class HasScheduledDelegations s a | s → a
scheduledDelegations ∷ HasScheduledDelegations s a ⇒ Lens' s a
dmsL ∷ HasDelegationMap a (Bimap VKeyGenesis VKey) ⇒ Lens' a (Bimap VKeyGenesis VKey)
dcertGen ∷ DSEnv → Set (Epoch, VKeyGenesis) → Gen (Maybe DCert)
dcertsGen ∷ DSEnv → DIState → Gen [DCert]
initialEnvFromGenesisKeys ∷ Word8 → Word64 → Gen DSEnv
randomDCertGen ∷ Environment DELEG → Gen DCert
delegatorOf ∷ Bimap VKeyGenesis VKey → VKey → Maybe VKeyGenesis
delegatorDelegate ∷ DCert → (VKeyGenesis, VKey)
emptyDelegationPayloadRatio ∷ [[DCert]] → Double
thisEpochDelegationsRatio ∷ [(Epoch, Epoch)] → Double
nextEpochDelegationsRatio ∷ [(Epoch, Epoch)] → Double
selfDelegationsRatio ∷ [DCert] → Double
multipleDelegationsRatio ∷ [DCert] → Double
maxDelegationsTo ∷ [DCert] → Int
changedDelegationsRatio ∷ [DCert] → Double
maxChangedDelegations ∷ [DCert] → Int
repeatedDelegationsRatio ∷ [DCert] → Double
maxRepeatedDelegations ∷ [DCert] → Int
maxCertsPerBlock ∷ [[DCert]] → Int
data AdelegPredicateFailure
- = S_BeforeExistingDelegation
- | S_NoLastDelegation
- | S_AfterExistingDelegation
- | S_AlreadyADelegateOf VKey VKeyGenesis
data AdelegsPredicateFailure = ADelegFailure (PredicateFailure ADELEG)
data SdelegPredicateFailure
- = IsNotGenesisKey
- | EpochInThePast EpochDiff
- | EpochPastNextEpoch EpochDiff
- | HasAlreadyDelegated
- | IsAlreadyScheduled
- | DoesNotVerify
data SdelegsPredicateFailure = SDelegFailure (PredicateFailure SDELEG)
data MsdelegPredicateFailure = SDELEGFailure (PredicateFailure SDELEG)
data DelegPredicateFailure
- = SDelegSFailure (PredicateFailure SDELEGS)
- | ADelegSFailure (PredicateFailure ADELEGS)

Delegation scheduling

data SDELEG Source #

Delegation scheduling rules

Instances

Instances details

Data SDELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → SDELEG → c SDELEG Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c SDELEG Source # toConstr ∷ SDELEG → Constr Source # dataTypeOf ∷ SDELEG → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c SDELEG) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c SDELEG) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → SDELEG → SDELEG Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → SDELEG → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → SDELEG → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → SDELEG → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → SDELEG → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → SDELEG → m SDELEG Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SDELEG → m SDELEG Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SDELEG → m SDELEG Source #
STS SDELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type State SDELEG Source # type Signal SDELEG Source # type Environment SDELEG Source # type BaseM SDELEG ∷ Type → Type Source # type Event SDELEG Source # type PredicateFailure SDELEG Source # Methods initialRules ∷ [InitialRule SDELEG] Source # transitionRules ∷ [TransitionRule SDELEG] Source # assertions ∷ [Assertion SDELEG] Source # renderAssertionViolation ∷ AssertionViolation SDELEG → String Source #
Embed SDELEG SDELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods wrapFailed ∷ PredicateFailure SDELEG → PredicateFailure SDELEGS Source # wrapEvent ∷ Event SDELEG → Event SDELEGS Source #
type BaseM SDELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type BaseM SDELEG = Identity
type Environment SDELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Environment SDELEG = DSEnv
type Event SDELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Event SDELEG = Void
type PredicateFailure SDELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type PredicateFailure SDELEG = SdelegPredicateFailure
type Signal SDELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Signal SDELEG = DCert
type State SDELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type State SDELEG = DSState

data SDELEGS Source #

Delegation scheduling sequencing

Instances

Instances details

Data SDELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → SDELEGS → c SDELEGS Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c SDELEGS Source # toConstr ∷ SDELEGS → Constr Source # dataTypeOf ∷ SDELEGS → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c SDELEGS) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c SDELEGS) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → SDELEGS → SDELEGS Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → SDELEGS → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → SDELEGS → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → SDELEGS → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → SDELEGS → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → SDELEGS → m SDELEGS Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SDELEGS → m SDELEGS Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SDELEGS → m SDELEGS Source #
STS SDELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type State SDELEGS Source # type Signal SDELEGS Source # type Environment SDELEGS Source # type BaseM SDELEGS ∷ Type → Type Source # type Event SDELEGS Source # type PredicateFailure SDELEGS Source # Methods initialRules ∷ [InitialRule SDELEGS] Source # transitionRules ∷ [TransitionRule SDELEGS] Source # assertions ∷ [Assertion SDELEGS] Source # renderAssertionViolation ∷ AssertionViolation SDELEGS → String Source #
Embed SDELEG SDELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods wrapFailed ∷ PredicateFailure SDELEG → PredicateFailure SDELEGS Source # wrapEvent ∷ Event SDELEG → Event SDELEGS Source #
Embed SDELEGS DELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods wrapFailed ∷ PredicateFailure SDELEGS → PredicateFailure DELEG Source # wrapEvent ∷ Event SDELEGS → Event DELEG Source #
type BaseM SDELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type BaseM SDELEGS = Identity
type Environment SDELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Environment SDELEGS = DSEnv
type Event SDELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Event SDELEGS = Void
type PredicateFailure SDELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type PredicateFailure SDELEGS = SdelegsPredicateFailure
type Signal SDELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Signal SDELEGS = [DCert]
type State SDELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type State SDELEGS = DSState

data DSState Source #

Delegation scheduling state

Constructors

DSState [(Slot, (VKeyGenesis, VKey))] (Set (Epoch, VKeyGenesis))

Instances

Instances details

Generic DSState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type Rep DSState ∷ Type → Type Source # Methods from ∷ DSState → Rep DSState x Source # to ∷ Rep DSState x → DSState Source #
Show DSState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods showsPrec ∷ Int → DSState → ShowS Source # show ∷ DSState → String Source # showList ∷ [DSState] → ShowS Source #
Eq DSState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods (==) ∷ DSState → DSState → Bool Source # (/=) ∷ DSState → DSState → Bool Source #
NoThunks DSState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods noThunks ∷ Context → DSState → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DSState → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy DSState → String Source #
HasScheduledDelegations DSState [(Slot, (VKeyGenesis, VKey))] Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods scheduledDelegations ∷ Lens' DSState [(Slot, (VKeyGenesis, VKey))] Source #
type Rep DSState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Rep DSState = D1 ('MetaData "DSState" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.0.1.0-inplace" '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)))))

_dSStateScheduledDelegations ∷ DSState → [(Slot, (VKeyGenesis, VKey))] Source #

_dSStateKeyEpochDelegations ∷ DSState → Set (Epoch, VKeyGenesis) Source #

data DCert Source #

A delegation certificate.

Constructors

DCert VKeyGenesis VKey Epoch (Sig (VKey, Epoch))

Instances

Instances details

Data DCert Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → DCert → c DCert Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c DCert Source # toConstr ∷ DCert → Constr Source # dataTypeOf ∷ DCert → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c DCert) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c DCert) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → DCert → DCert Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → DCert → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → DCert → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → DCert → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → DCert → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → DCert → m DCert Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → DCert → m DCert Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → DCert → m DCert Source #
Generic DCert Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type Rep DCert ∷ Type → Type Source # Methods from ∷ DCert → Rep DCert x Source # to ∷ Rep DCert x → DCert Source #
Show DCert Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods showsPrec ∷ Int → DCert → ShowS Source # show ∷ DCert → String Source # showList ∷ [DCert] → ShowS Source #
HasTypeReps DCert Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods typeReps ∷ DCert → Seq TypeRep Source #
Eq DCert Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods (==) ∷ DCert → DCert → Bool Source # (/=) ∷ DCert → DCert → Bool Source #
Ord DCert Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods compare ∷ DCert → DCert → Ordering Source # (<) ∷ DCert → DCert → Bool Source # (<=) ∷ DCert → DCert → Bool Source # (>) ∷ DCert → DCert → Bool Source # (>=) ∷ DCert → DCert → Bool Source # max ∷ DCert → DCert → DCert Source # min ∷ DCert → DCert → DCert Source #
Hashable DCert Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods hashWithSalt ∷ Int → DCert → Int Source # hash ∷ DCert → Int Source #
NoThunks DCert Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods noThunks ∷ Context → DCert → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DCert → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy DCert → String Source #
HasHash [DCert] Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods hash ∷ [DCert] → Hash Source #
type Rep DCert Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Rep DCert = D1 ('MetaData "DCert" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.0.1.0-inplace" '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 'DecidedStrict) (Rec0 Epoch) :*: S1 ('MetaSel ('Just "signature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Sig (VKey, Epoch))))))

delegator ∷ DCert → VKeyGenesis Source #

Key that delegates

delegate ∷ DCert → VKey Source #

Key that the delegator is delegating to

depoch ∷ DCert → Epoch Source #

Certificate epoch

dwho ∷ DCert → (VKeyGenesis, VKey) Source #

Who is delegating to whom.

mkDCert ∷ VKeyGenesis → Sig (VKey, Epoch) → VKey → Epoch → DCert Source #

signature ∷ DCert → Sig (VKey, Epoch) Source #

Witness for the delegation certificate

Delegation activation

data ADELEG Source #

Delegation rules

Instances

Instances details

Data ADELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → ADELEG → c ADELEG Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c ADELEG Source # toConstr ∷ ADELEG → Constr Source # dataTypeOf ∷ ADELEG → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c ADELEG) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c ADELEG) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → ADELEG → ADELEG Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → ADELEG → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → ADELEG → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → ADELEG → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → ADELEG → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → ADELEG → m ADELEG Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ADELEG → m ADELEG Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ADELEG → m ADELEG Source #
STS ADELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type State ADELEG Source # type Signal ADELEG Source # type Environment ADELEG Source # type BaseM ADELEG ∷ Type → Type Source # type Event ADELEG Source # type PredicateFailure ADELEG Source # Methods initialRules ∷ [InitialRule ADELEG] Source # transitionRules ∷ [TransitionRule ADELEG] Source # assertions ∷ [Assertion ADELEG] Source # renderAssertionViolation ∷ AssertionViolation ADELEG → String Source #
Embed ADELEG ADELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods wrapFailed ∷ PredicateFailure ADELEG → PredicateFailure ADELEGS Source # wrapEvent ∷ Event ADELEG → Event ADELEGS Source #
type BaseM ADELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type BaseM ADELEG = Identity
type Environment ADELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Environment ADELEG = Set VKeyGenesis
type Event ADELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Event ADELEG = Void
type PredicateFailure ADELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type PredicateFailure ADELEG = AdelegPredicateFailure
type Signal ADELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Signal ADELEG = (Slot, (VKeyGenesis, VKey))
type State ADELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type State ADELEG = DState

data ADELEGS Source #

Delegation rules sequencing

Instances

Instances details

Data ADELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → ADELEGS → c ADELEGS Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c ADELEGS Source # toConstr ∷ ADELEGS → Constr Source # dataTypeOf ∷ ADELEGS → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c ADELEGS) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c ADELEGS) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → ADELEGS → ADELEGS Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → ADELEGS → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → ADELEGS → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → ADELEGS → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → ADELEGS → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → ADELEGS → m ADELEGS Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ADELEGS → m ADELEGS Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ADELEGS → m ADELEGS Source #
STS ADELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type State ADELEGS Source # type Signal ADELEGS Source # type Environment ADELEGS Source # type BaseM ADELEGS ∷ Type → Type Source # type Event ADELEGS Source # type PredicateFailure ADELEGS Source # Methods initialRules ∷ [InitialRule ADELEGS] Source # transitionRules ∷ [TransitionRule ADELEGS] Source # assertions ∷ [Assertion ADELEGS] Source # renderAssertionViolation ∷ AssertionViolation ADELEGS → String Source #
Embed ADELEG ADELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods wrapFailed ∷ PredicateFailure ADELEG → PredicateFailure ADELEGS Source # wrapEvent ∷ Event ADELEG → Event ADELEGS Source #
Embed ADELEGS DELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods wrapFailed ∷ PredicateFailure ADELEGS → PredicateFailure DELEG Source # wrapEvent ∷ Event ADELEGS → Event DELEG Source #
type BaseM ADELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type BaseM ADELEGS = Identity
type Environment ADELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Environment ADELEGS = Set VKeyGenesis
type Event ADELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Event ADELEGS = Void
type PredicateFailure ADELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type PredicateFailure ADELEGS = AdelegsPredicateFailure
type Signal ADELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Signal ADELEGS = [(Slot, (VKeyGenesis, VKey))]
type State ADELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type State ADELEGS = DState

data DSEnv Source #

Delegation scheduling environment

Constructors

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

Instances

Instances details

Generic DSEnv Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type Rep DSEnv ∷ Type → Type Source # Methods from ∷ DSEnv → Rep DSEnv x Source # to ∷ Rep DSEnv x → DSEnv Source #
Show DSEnv Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods showsPrec ∷ Int → DSEnv → ShowS Source # show ∷ DSEnv → String Source # showList ∷ [DSEnv] → ShowS Source #
Eq DSEnv Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods (==) ∷ DSEnv → DSEnv → Bool Source # (/=) ∷ DSEnv → DSEnv → Bool Source #
NoThunks DSEnv Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods noThunks ∷ Context → DSEnv → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DSEnv → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy DSEnv → String Source #
type Rep DSEnv Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Rep DSEnv = D1 ('MetaData "DSEnv" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "DSEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_dSEnvAllowedDelegators") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Set VKeyGenesis)) :: S1 ('MetaSel ('Just "_dSEnvEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Epoch)) :: (S1 ('MetaSel ('Just "_dSEnvSlot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Slot) :*: S1 ('MetaSel ('Just "_dSEnvK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 BlockCount))))

allowedDelegators ∷ HasAllowedDelegators s a ⇒ Lens' s a Source #

data DState Source #

Delegation state

Constructors

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

Instances

Instances details

Generic DState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type Rep DState ∷ Type → Type Source # Methods from ∷ DState → Rep DState x Source # to ∷ Rep DState x → DState Source #
Show DState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods showsPrec ∷ Int → DState → ShowS Source # show ∷ DState → String Source # showList ∷ [DState] → ShowS Source #
Eq DState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods (==) ∷ DState → DState → Bool Source # (/=) ∷ DState → DState → Bool Source #
NoThunks DState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods noThunks ∷ Context → DState → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DState → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy DState → String Source #
type Rep DState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Rep DState = D1 ('MetaData "DState" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.0.1.0-inplace" '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))))

Delegation interface

data DELEG Source #

Delegation interface

Instances

Instances details

Data DELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → DELEG → c DELEG Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c DELEG Source # toConstr ∷ DELEG → Constr Source # dataTypeOf ∷ DELEG → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c DELEG) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c DELEG) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → DELEG → DELEG Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → DELEG → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → DELEG → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → DELEG → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → DELEG → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → DELEG → m DELEG Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → DELEG → m DELEG Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → DELEG → m DELEG Source #
STS DELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type State DELEG Source # type Signal DELEG Source # type Environment DELEG Source # type BaseM DELEG ∷ Type → Type Source # type Event DELEG Source # type PredicateFailure DELEG Source # Methods initialRules ∷ [InitialRule DELEG] Source # transitionRules ∷ [TransitionRule DELEG] Source # assertions ∷ [Assertion DELEG] Source # renderAssertionViolation ∷ AssertionViolation DELEG → String Source #
HasTrace DELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type BaseEnv DELEG Source # Methods interpretSTS ∷ BaseEnv DELEG → BaseM DELEG a → a Source # envGen ∷ Word64 → Gen (Environment DELEG) Source # sigGen ∷ SignalGenerator DELEG Source # trace ∷ BaseEnv DELEG → Word64 → Gen (Trace DELEG) Source # traceWithProfile ∷ BaseEnv DELEG → Word64 → TraceProfile DELEG → Gen (Trace DELEG) Source # traceOfLength ∷ BaseEnv DELEG → Word64 → Gen (Trace DELEG) Source # traceOfLengthWithInitState ∷ BaseEnv DELEG → Word64 → (Environment DELEG → Gen (State DELEG)) → Gen (Trace DELEG) Source #
Embed ADELEGS DELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods wrapFailed ∷ PredicateFailure ADELEGS → PredicateFailure DELEG Source # wrapEvent ∷ Event ADELEGS → Event DELEG Source #
Embed SDELEGS DELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods wrapFailed ∷ PredicateFailure SDELEGS → PredicateFailure DELEG Source # wrapEvent ∷ Event SDELEGS → Event DELEG Source #
type BaseM DELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type BaseM DELEG = Identity
type Environment DELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Environment DELEG = DIEnv
type Event DELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Event DELEG = Void
type PredicateFailure DELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type PredicateFailure DELEG = DelegPredicateFailure
type Signal DELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Signal DELEG = [DCert]
type State DELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type State DELEG = DIState
type BaseEnv DELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type BaseEnv DELEG = ()

type DIEnv = DSEnv Source #

Interface environment is the same as scheduling environment.

data DIState Source #

Constructors

DIState (Bimap VKeyGenesis VKey) (Map VKeyGenesis Slot) [(Slot, (VKeyGenesis, VKey))] (Set (Epoch, VKeyGenesis))

Instances

Instances details

Generic DIState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type Rep DIState ∷ Type → Type Source # Methods from ∷ DIState → Rep DIState x Source # to ∷ Rep DIState x → DIState Source #
Show DIState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods showsPrec ∷ Int → DIState → ShowS Source # show ∷ DIState → String Source # showList ∷ [DIState] → ShowS Source #
Eq DIState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods (==) ∷ DIState → DIState → Bool Source # (/=) ∷ DIState → DIState → Bool Source #
NoThunks DIState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods noThunks ∷ Context → DIState → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DIState → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy DIState → String Source #
HasScheduledDelegations DIState [(Slot, (VKeyGenesis, VKey))] Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods scheduledDelegations ∷ Lens' DIState [(Slot, (VKeyGenesis, VKey))] Source #
type Rep DIState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Rep DIState = D1 ('MetaData "DIState" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.0.1.0-inplace" '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))))))

_dIStateDelegationMap ∷ DIState → Bimap VKeyGenesis VKey Source #

_dIStateLastDelegation ∷ DIState → Map VKeyGenesis Slot Source #

_dIStateScheduledDelegations ∷ DIState → [(Slot, (VKeyGenesis, VKey))] Source #

_dIStateKeyEpochDelegations ∷ DIState → Set (Epoch, VKeyGenesis) Source #

liveAfter ∷ BlockCount → SlotCount Source #

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

data EpochDiff Source #

Constructors

EpochDiff
Fields currentEpoch ∷ Epoch certEpoch ∷ Epoch

Instances

Instances details

Data EpochDiff Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → EpochDiff → c EpochDiff Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c EpochDiff Source # toConstr ∷ EpochDiff → Constr Source # dataTypeOf ∷ EpochDiff → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c EpochDiff) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c EpochDiff) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → EpochDiff → EpochDiff Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → EpochDiff → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → EpochDiff → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → EpochDiff → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → EpochDiff → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → EpochDiff → m EpochDiff Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → EpochDiff → m EpochDiff Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → EpochDiff → m EpochDiff Source #
Generic EpochDiff Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type Rep EpochDiff ∷ Type → Type Source # Methods from ∷ EpochDiff → Rep EpochDiff x Source # to ∷ Rep EpochDiff x → EpochDiff Source #
Show EpochDiff Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods showsPrec ∷ Int → EpochDiff → ShowS Source # show ∷ EpochDiff → String Source # showList ∷ [EpochDiff] → ShowS Source #
Eq EpochDiff Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods (==) ∷ EpochDiff → EpochDiff → Bool Source # (/=) ∷ EpochDiff → EpochDiff → Bool Source #
NoThunks EpochDiff Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods noThunks ∷ Context → EpochDiff → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → EpochDiff → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy EpochDiff → String Source #
type Rep EpochDiff Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Rep EpochDiff = D1 ('MetaData "EpochDiff" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "EpochDiff" 'PrefixI 'True) (S1 ('MetaSel ('Just "currentEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Epoch) :*: S1 ('MetaSel ('Just "certEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Epoch)))

State lens fields

slot ∷ HasSlot s a ⇒ Lens' s a Source #

epoch ∷ HasEpoch s a ⇒ Lens' s a Source #

delegationMap ∷ HasDelegationMap s a ⇒ Lens' s a Source #

State lens type classes

class HasScheduledDelegations s a | s → a Source #

Minimal complete definition

scheduledDelegations

Instances

Instances details

HasScheduledDelegations DIState [(Slot, (VKeyGenesis, VKey))] Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods scheduledDelegations ∷ Lens' DIState [(Slot, (VKeyGenesis, VKey))] Source #
HasScheduledDelegations DSState [(Slot, (VKeyGenesis, VKey))] Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods scheduledDelegations ∷ Lens' DSState [(Slot, (VKeyGenesis, VKey))] Source #

scheduledDelegations ∷ HasScheduledDelegations s a ⇒ Lens' s a Source #

dmsL ∷ HasDelegationMap a (Bimap VKeyGenesis VKey) ⇒ Lens' a (Bimap VKeyGenesis VKey) Source #

Generators

dcertGen ∷ DSEnv → Set (Epoch, VKeyGenesis) → Gen (Maybe DCert) Source #

dcertsGen ∷ DSEnv → DIState → Gen [DCert] Source #

initialEnvFromGenesisKeys Source #

Arguments

∷ Word8	Number of genesis keys.
→ Word64	Chain length
→ Gen DSEnv

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

randomDCertGen ∷ 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

delegatorOf ∷ Bimap VKeyGenesis VKey → VKey → Maybe VKeyGenesis Source #

Support Functions for delegation properties

delegatorDelegate ∷ DCert → (VKeyGenesis, VKey) Source #

emptyDelegationPayloadRatio ∷ [[DCert]] → Double Source #

Ratio of certificate groups that are empty

thisEpochDelegationsRatio ∷ [(Epoch, Epoch)] → Double Source #

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

nextEpochDelegationsRatio ∷ [(Epoch, Epoch)] → Double Source #

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

selfDelegationsRatio ∷ [DCert] → Double Source #

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

multipleDelegationsRatio ∷ [DCert] → Double Source #

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

maxDelegationsTo ∷ [DCert] → Int Source #

The maximum number of delegators to any particular delegate

changedDelegationsRatio ∷ [DCert] → Double Source #

Ratio of delegators that have changed their delegations

maxChangedDelegations ∷ [DCert] → Int Source #

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

repeatedDelegationsRatio ∷ [DCert] → Double Source #

Ratio of repeated delegations to all delegations

maxRepeatedDelegations ∷ [DCert] → Int Source #

The maximum number of repeated delegations in the given certificates

maxCertsPerBlock ∷ [[DCert]] → Int Source #

Predicate failures

data 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

Instances

Instances details

Data AdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → AdelegPredicateFailure → c AdelegPredicateFailure Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c AdelegPredicateFailure Source # toConstr ∷ AdelegPredicateFailure → Constr Source # dataTypeOf ∷ AdelegPredicateFailure → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c AdelegPredicateFailure) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c AdelegPredicateFailure) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → AdelegPredicateFailure → AdelegPredicateFailure Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → AdelegPredicateFailure → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → AdelegPredicateFailure → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → AdelegPredicateFailure → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → AdelegPredicateFailure → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → AdelegPredicateFailure → m AdelegPredicateFailure Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → AdelegPredicateFailure → m AdelegPredicateFailure Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → AdelegPredicateFailure → m AdelegPredicateFailure Source #
Generic AdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type Rep AdelegPredicateFailure ∷ Type → Type Source # Methods from ∷ AdelegPredicateFailure → Rep AdelegPredicateFailure x Source # to ∷ Rep AdelegPredicateFailure x → AdelegPredicateFailure Source #
Show AdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods showsPrec ∷ Int → AdelegPredicateFailure → ShowS Source # show ∷ AdelegPredicateFailure → String Source # showList ∷ [AdelegPredicateFailure] → ShowS Source #
Eq AdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods (==) ∷ AdelegPredicateFailure → AdelegPredicateFailure → Bool Source # (/=) ∷ AdelegPredicateFailure → AdelegPredicateFailure → Bool Source #
NoThunks AdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods noThunks ∷ Context → AdelegPredicateFailure → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AdelegPredicateFailure → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy AdelegPredicateFailure → String Source #
type Rep AdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Rep AdelegPredicateFailure = D1 ('MetaData "AdelegPredicateFailure" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.0.1.0-inplace" 'False) ((C1 ('MetaCons "S_BeforeExistingDelegation" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "S_NoLastDelegation" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "S_AfterExistingDelegation" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "S_AlreadyADelegateOf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VKey) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VKeyGenesis))))

data AdelegsPredicateFailure Source #

Constructors

ADelegFailure (PredicateFailure ADELEG)

Instances

Instances details

Data AdelegsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → AdelegsPredicateFailure → c AdelegsPredicateFailure Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c AdelegsPredicateFailure Source # toConstr ∷ AdelegsPredicateFailure → Constr Source # dataTypeOf ∷ AdelegsPredicateFailure → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c AdelegsPredicateFailure) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c AdelegsPredicateFailure) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → AdelegsPredicateFailure → AdelegsPredicateFailure Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → AdelegsPredicateFailure → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → AdelegsPredicateFailure → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → AdelegsPredicateFailure → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → AdelegsPredicateFailure → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → AdelegsPredicateFailure → m AdelegsPredicateFailure Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → AdelegsPredicateFailure → m AdelegsPredicateFailure Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → AdelegsPredicateFailure → m AdelegsPredicateFailure Source #
Generic AdelegsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type Rep AdelegsPredicateFailure ∷ Type → Type Source # Methods from ∷ AdelegsPredicateFailure → Rep AdelegsPredicateFailure x Source # to ∷ Rep AdelegsPredicateFailure x → AdelegsPredicateFailure Source #
Show AdelegsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods showsPrec ∷ Int → AdelegsPredicateFailure → ShowS Source # show ∷ AdelegsPredicateFailure → String Source # showList ∷ [AdelegsPredicateFailure] → ShowS Source #
Eq AdelegsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods (==) ∷ AdelegsPredicateFailure → AdelegsPredicateFailure → Bool Source # (/=) ∷ AdelegsPredicateFailure → AdelegsPredicateFailure → Bool Source #
NoThunks AdelegsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods noThunks ∷ Context → AdelegsPredicateFailure → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AdelegsPredicateFailure → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy AdelegsPredicateFailure → String Source #
type Rep AdelegsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Rep AdelegsPredicateFailure = D1 ('MetaData "AdelegsPredicateFailure" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "ADelegFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure ADELEG))))

data SdelegPredicateFailure Source #

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

Constructors

IsNotGenesisKey
EpochInThePast EpochDiff
EpochPastNextEpoch EpochDiff
HasAlreadyDelegated
IsAlreadyScheduled
DoesNotVerify

Instances

Instances details

Data SdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → SdelegPredicateFailure → c SdelegPredicateFailure Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c SdelegPredicateFailure Source # toConstr ∷ SdelegPredicateFailure → Constr Source # dataTypeOf ∷ SdelegPredicateFailure → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c SdelegPredicateFailure) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c SdelegPredicateFailure) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → SdelegPredicateFailure → SdelegPredicateFailure Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → SdelegPredicateFailure → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → SdelegPredicateFailure → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → SdelegPredicateFailure → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → SdelegPredicateFailure → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → SdelegPredicateFailure → m SdelegPredicateFailure Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SdelegPredicateFailure → m SdelegPredicateFailure Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SdelegPredicateFailure → m SdelegPredicateFailure Source #
Generic SdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type Rep SdelegPredicateFailure ∷ Type → Type Source # Methods from ∷ SdelegPredicateFailure → Rep SdelegPredicateFailure x Source # to ∷ Rep SdelegPredicateFailure x → SdelegPredicateFailure Source #
Show SdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods showsPrec ∷ Int → SdelegPredicateFailure → ShowS Source # show ∷ SdelegPredicateFailure → String Source # showList ∷ [SdelegPredicateFailure] → ShowS Source #
Eq SdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods (==) ∷ SdelegPredicateFailure → SdelegPredicateFailure → Bool Source # (/=) ∷ SdelegPredicateFailure → SdelegPredicateFailure → Bool Source #
NoThunks SdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods noThunks ∷ Context → SdelegPredicateFailure → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SdelegPredicateFailure → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy SdelegPredicateFailure → String Source #
type Rep SdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Rep SdelegPredicateFailure = D1 ('MetaData "SdelegPredicateFailure" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.0.1.0-inplace" 'False) ((C1 ('MetaCons "IsNotGenesisKey" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "EpochInThePast" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 EpochDiff)) :+: C1 ('MetaCons "EpochPastNextEpoch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 EpochDiff)))) :+: (C1 ('MetaCons "HasAlreadyDelegated" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "IsAlreadyScheduled" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "DoesNotVerify" 'PrefixI 'False) (U1 ∷ Type → Type))))

data SdelegsPredicateFailure Source #

Constructors

SDelegFailure (PredicateFailure SDELEG)

Instances

Instances details

Data SdelegsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → SdelegsPredicateFailure → c SdelegsPredicateFailure Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c SdelegsPredicateFailure Source # toConstr ∷ SdelegsPredicateFailure → Constr Source # dataTypeOf ∷ SdelegsPredicateFailure → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c SdelegsPredicateFailure) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c SdelegsPredicateFailure) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → SdelegsPredicateFailure → SdelegsPredicateFailure Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → SdelegsPredicateFailure → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → SdelegsPredicateFailure → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → SdelegsPredicateFailure → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → SdelegsPredicateFailure → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → SdelegsPredicateFailure → m SdelegsPredicateFailure Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SdelegsPredicateFailure → m SdelegsPredicateFailure Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SdelegsPredicateFailure → m SdelegsPredicateFailure Source #
Generic SdelegsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type Rep SdelegsPredicateFailure ∷ Type → Type Source # Methods from ∷ SdelegsPredicateFailure → Rep SdelegsPredicateFailure x Source # to ∷ Rep SdelegsPredicateFailure x → SdelegsPredicateFailure Source #
Show SdelegsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods showsPrec ∷ Int → SdelegsPredicateFailure → ShowS Source # show ∷ SdelegsPredicateFailure → String Source # showList ∷ [SdelegsPredicateFailure] → ShowS Source #
Eq SdelegsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods (==) ∷ SdelegsPredicateFailure → SdelegsPredicateFailure → Bool Source # (/=) ∷ SdelegsPredicateFailure → SdelegsPredicateFailure → Bool Source #
NoThunks SdelegsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods noThunks ∷ Context → SdelegsPredicateFailure → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SdelegsPredicateFailure → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy SdelegsPredicateFailure → String Source #
type Rep SdelegsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Rep SdelegsPredicateFailure = D1 ('MetaData "SdelegsPredicateFailure" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "SDelegFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure SDELEG))))

data MsdelegPredicateFailure Source #

Constructors

SDELEGFailure (PredicateFailure SDELEG)

Instances

Instances details

Data MsdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → MsdelegPredicateFailure → c MsdelegPredicateFailure Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c MsdelegPredicateFailure Source # toConstr ∷ MsdelegPredicateFailure → Constr Source # dataTypeOf ∷ MsdelegPredicateFailure → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c MsdelegPredicateFailure) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c MsdelegPredicateFailure) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → MsdelegPredicateFailure → MsdelegPredicateFailure Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → MsdelegPredicateFailure → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → MsdelegPredicateFailure → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → MsdelegPredicateFailure → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → MsdelegPredicateFailure → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → MsdelegPredicateFailure → m MsdelegPredicateFailure Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → MsdelegPredicateFailure → m MsdelegPredicateFailure Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → MsdelegPredicateFailure → m MsdelegPredicateFailure Source #
Generic MsdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type Rep MsdelegPredicateFailure ∷ Type → Type Source # Methods from ∷ MsdelegPredicateFailure → Rep MsdelegPredicateFailure x Source # to ∷ Rep MsdelegPredicateFailure x → MsdelegPredicateFailure Source #
Show MsdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods showsPrec ∷ Int → MsdelegPredicateFailure → ShowS Source # show ∷ MsdelegPredicateFailure → String Source # showList ∷ [MsdelegPredicateFailure] → ShowS Source #
Eq MsdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods (==) ∷ MsdelegPredicateFailure → MsdelegPredicateFailure → Bool Source # (/=) ∷ MsdelegPredicateFailure → MsdelegPredicateFailure → Bool Source #
NoThunks MsdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods noThunks ∷ Context → MsdelegPredicateFailure → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MsdelegPredicateFailure → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy MsdelegPredicateFailure → String Source #
type Rep MsdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Rep MsdelegPredicateFailure = D1 ('MetaData "MsdelegPredicateFailure" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "SDELEGFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure SDELEG))))

data DelegPredicateFailure Source #

Constructors

SDelegSFailure (PredicateFailure SDELEGS)
ADelegSFailure (PredicateFailure ADELEGS)

Instances

Instances details

Data DelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → DelegPredicateFailure → c DelegPredicateFailure Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c DelegPredicateFailure Source # toConstr ∷ DelegPredicateFailure → Constr Source # dataTypeOf ∷ DelegPredicateFailure → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c DelegPredicateFailure) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c DelegPredicateFailure) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → DelegPredicateFailure → DelegPredicateFailure Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → DelegPredicateFailure → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → DelegPredicateFailure → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → DelegPredicateFailure → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → DelegPredicateFailure → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → DelegPredicateFailure → m DelegPredicateFailure Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → DelegPredicateFailure → m DelegPredicateFailure Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → DelegPredicateFailure → m DelegPredicateFailure Source #
Generic DelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type Rep DelegPredicateFailure ∷ Type → Type Source # Methods from ∷ DelegPredicateFailure → Rep DelegPredicateFailure x Source # to ∷ Rep DelegPredicateFailure x → DelegPredicateFailure Source #
Show DelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods showsPrec ∷ Int → DelegPredicateFailure → ShowS Source # show ∷ DelegPredicateFailure → String Source # showList ∷ [DelegPredicateFailure] → ShowS Source #
Eq DelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods (==) ∷ DelegPredicateFailure → DelegPredicateFailure → Bool Source # (/=) ∷ DelegPredicateFailure → DelegPredicateFailure → Bool Source #
NoThunks DelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods noThunks ∷ Context → DelegPredicateFailure → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DelegPredicateFailure → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy DelegPredicateFailure → String Source #
type Rep DelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type Rep DelegPredicateFailure = D1 ('MetaData "DelegPredicateFailure" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "SDelegSFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure SDELEGS))) :+: C1 ('MetaCons "ADelegSFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure ADELEGS))))