type State SDELEG
Instance details Defined in Byron.Spec.Ledger.Delegation type State SDELEG = DSState
type Signal SDELEG
Instance details Defined in Byron.Spec.Ledger.Delegation type Signal SDELEG = DCert
type Environment SDELEG
Instance details Defined in Byron.Spec.Ledger.Delegation type Environment SDELEG = DSEnv
type BaseM SDELEG
Instance details Defined in Byron.Spec.Ledger.Delegation type BaseM SDELEG = Identity
type Event SDELEG
Instance details Defined in Byron.Spec.Ledger.Delegation type Event SDELEG = Void
type PredicateFailure SDELEG
Instance details Defined in Byron.Spec.Ledger.Delegation type PredicateFailure SDELEG = SdelegPredicateFailure

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 #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c SDELEGS #

toConstr ∷ SDELEGS → Constr #

dataTypeOf ∷ SDELEGS → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c SDELEGS) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c SDELEGS) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → SDELEGS → SDELEGS #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → SDELEGS → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → SDELEGS → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → SDELEGS → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → SDELEGS → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → SDELEGS → m SDELEGS #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SDELEGS → m SDELEGS #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SDELEGS → m SDELEGS #

STS SDELEGS Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Associated Types

type State SDELEGS
Instance details Defined in Byron.Spec.Ledger.Delegation type State SDELEGS = DSState
type Signal SDELEGS
Instance details Defined in Byron.Spec.Ledger.Delegation type Signal SDELEGS = [DCert]
type Environment SDELEGS
Instance details Defined in Byron.Spec.Ledger.Delegation type Environment SDELEGS = DSEnv
type BaseM SDELEGS
Instance details Defined in Byron.Spec.Ledger.Delegation type BaseM SDELEGS = Identity
type Event SDELEGS
Instance details Defined in Byron.Spec.Ledger.Delegation type Event SDELEGS = Void
type PredicateFailure SDELEGS
Instance details Defined in Byron.Spec.Ledger.Delegation type PredicateFailure SDELEGS = SdelegsPredicateFailure

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

Instance details

Defined in Byron.Spec.Ledger.Delegation

type Rep DSState = D1 ('MetaData "DSState" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.1.0.1-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)))))

Methods

from ∷ DSState → Rep DSState x #

to ∷ Rep DSState x → DSState #

Show DSState Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

showsPrec ∷ Int → DSState → ShowS #

show ∷ DSState → String #

showList ∷ [DSState] → ShowS #

Eq DSState Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

(==) ∷ DSState → DSState → Bool #

(/=) ∷ DSState → DSState → Bool #

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.1.0.1-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

HasTypeReps DCert Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

typeReps ∷ DCert → Seq TypeRep Source #

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 #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c DCert #

toConstr ∷ DCert → Constr #

dataTypeOf ∷ DCert → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c DCert) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c DCert) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → DCert → DCert #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → DCert → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → DCert → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → DCert → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → DCert → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → DCert → m DCert #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → DCert → m DCert #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → DCert → m DCert #

Generic DCert Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Associated Types

type Rep DCert

Instance details

Defined in Byron.Spec.Ledger.Delegation

type Rep DCert = D1 ('MetaData "DCert" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.1.0.1-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))))))

Methods

from ∷ DCert → Rep DCert x #

to ∷ Rep DCert x → DCert #

Show DCert Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

showsPrec ∷ Int → DCert → ShowS #

show ∷ DCert → String #

showList ∷ [DCert] → ShowS #

Eq DCert Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

(==) ∷ DCert → DCert → Bool #

(/=) ∷ DCert → DCert → Bool #

Ord DCert Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

compare ∷ DCert → DCert → Ordering #

(<) ∷ DCert → DCert → Bool #

(<=) ∷ DCert → DCert → Bool #

(>) ∷ DCert → DCert → Bool #

(>=) ∷ DCert → DCert → Bool #

max ∷ DCert → DCert → DCert #

min ∷ DCert → DCert → DCert #

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.1.0.1-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 #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c ADELEG #

toConstr ∷ ADELEG → Constr #

dataTypeOf ∷ ADELEG → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c ADELEG) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c ADELEG) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → ADELEG → ADELEG #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → ADELEG → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → ADELEG → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → ADELEG → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → ADELEG → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → ADELEG → m ADELEG #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ADELEG → m ADELEG #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ADELEG → m ADELEG #

STS ADELEG Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Associated Types

type State ADELEG
Instance details Defined in Byron.Spec.Ledger.Delegation type State ADELEG = DState
type Signal ADELEG
Instance details Defined in Byron.Spec.Ledger.Delegation type Signal ADELEG = (Slot, (VKeyGenesis, VKey))
type Environment ADELEG
Instance details Defined in Byron.Spec.Ledger.Delegation type Environment ADELEG = Set VKeyGenesis
type BaseM ADELEG
Instance details Defined in Byron.Spec.Ledger.Delegation type BaseM ADELEG = Identity
type Event ADELEG
Instance details Defined in Byron.Spec.Ledger.Delegation type Event ADELEG = Void
type PredicateFailure ADELEG
Instance details Defined in Byron.Spec.Ledger.Delegation type PredicateFailure ADELEG = AdelegPredicateFailure

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 #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c ADELEGS #

toConstr ∷ ADELEGS → Constr #

dataTypeOf ∷ ADELEGS → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c ADELEGS) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c ADELEGS) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → ADELEGS → ADELEGS #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → ADELEGS → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → ADELEGS → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → ADELEGS → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → ADELEGS → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → ADELEGS → m ADELEGS #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ADELEGS → m ADELEGS #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ADELEGS → m ADELEGS #

STS ADELEGS Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Associated Types

type State ADELEGS
Instance details Defined in Byron.Spec.Ledger.Delegation type State ADELEGS = DState
type Signal ADELEGS
Instance details Defined in Byron.Spec.Ledger.Delegation type Signal ADELEGS = [(Slot, (VKeyGenesis, VKey))]
type Environment ADELEGS
Instance details Defined in Byron.Spec.Ledger.Delegation type Environment ADELEGS = Set VKeyGenesis
type BaseM ADELEGS
Instance details Defined in Byron.Spec.Ledger.Delegation type BaseM ADELEGS = Identity
type Event ADELEGS
Instance details Defined in Byron.Spec.Ledger.Delegation type Event ADELEGS = Void
type PredicateFailure ADELEGS
Instance details Defined in Byron.Spec.Ledger.Delegation type PredicateFailure ADELEGS = AdelegsPredicateFailure

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

Instance details

Defined in Byron.Spec.Ledger.Delegation

type Rep DSEnv = D1 ('MetaData "DSEnv" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.1.0.1-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))))

Methods

from ∷ DSEnv → Rep DSEnv x #

to ∷ Rep DSEnv x → DSEnv #

Show DSEnv Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

showsPrec ∷ Int → DSEnv → ShowS #

show ∷ DSEnv → String #

showList ∷ [DSEnv] → ShowS #

Eq DSEnv Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

(==) ∷ DSEnv → DSEnv → Bool #

(/=) ∷ DSEnv → DSEnv → Bool #

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.1.0.1-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

Instance details

Defined in Byron.Spec.Ledger.Delegation

type Rep DState = D1 ('MetaData "DState" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.1.0.1-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))))

Methods

from ∷ DState → Rep DState x #

to ∷ Rep DState x → DState #

Show DState Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

showsPrec ∷ Int → DState → ShowS #

show ∷ DState → String #

showList ∷ [DState] → ShowS #

Eq DState Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

(==) ∷ DState → DState → Bool #

(/=) ∷ DState → DState → Bool #

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.1.0.1-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 #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c DELEG #

toConstr ∷ DELEG → Constr #

dataTypeOf ∷ DELEG → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c DELEG) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c DELEG) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → DELEG → DELEG #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → DELEG → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → DELEG → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → DELEG → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → DELEG → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → DELEG → m DELEG #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → DELEG → m DELEG #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → DELEG → m DELEG #

STS DELEG Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Associated Types

type State DELEG
Instance details Defined in Byron.Spec.Ledger.Delegation type State DELEG = DIState
type Signal DELEG
Instance details Defined in Byron.Spec.Ledger.Delegation type Signal DELEG = [DCert]
type Environment DELEG
Instance details Defined in Byron.Spec.Ledger.Delegation type Environment DELEG = DIEnv
type BaseM DELEG
Instance details Defined in Byron.Spec.Ledger.Delegation type BaseM DELEG = Identity
type Event DELEG
Instance details Defined in Byron.Spec.Ledger.Delegation type Event DELEG = Void
type PredicateFailure DELEG
Instance details Defined in Byron.Spec.Ledger.Delegation type PredicateFailure DELEG = DelegPredicateFailure

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
Instance details Defined in Byron.Spec.Ledger.Delegation type BaseEnv DELEG = ()

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

Instance details

Defined in Byron.Spec.Ledger.Delegation

type Rep DIState = D1 ('MetaData "DIState" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.1.0.1-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))))))

Methods

from ∷ DIState → Rep DIState x #

to ∷ Rep DIState x → DIState #

Show DIState Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

showsPrec ∷ Int → DIState → ShowS #

show ∷ DIState → String #

showList ∷ [DIState] → ShowS #

Eq DIState Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

(==) ∷ DIState → DIState → Bool #

(/=) ∷ DIState → DIState → Bool #

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.1.0.1-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 #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c EpochDiff #

toConstr ∷ EpochDiff → Constr #

dataTypeOf ∷ EpochDiff → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c EpochDiff) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c EpochDiff) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → EpochDiff → EpochDiff #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → EpochDiff → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → EpochDiff → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → EpochDiff → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → EpochDiff → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → EpochDiff → m EpochDiff #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → EpochDiff → m EpochDiff #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → EpochDiff → m EpochDiff #

Generic EpochDiff Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Associated Types

type Rep EpochDiff

Instance details

Defined in Byron.Spec.Ledger.Delegation

type Rep EpochDiff = D1 ('MetaData "EpochDiff" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.1.0.1-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)))

Methods

from ∷ EpochDiff → Rep EpochDiff x #

to ∷ Rep EpochDiff x → EpochDiff #

Show EpochDiff Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

showsPrec ∷ Int → EpochDiff → ShowS #

show ∷ EpochDiff → String #

showList ∷ [EpochDiff] → ShowS #

Eq EpochDiff Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

(==) ∷ EpochDiff → EpochDiff → Bool #

(/=) ∷ EpochDiff → EpochDiff → Bool #

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.1.0.1-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 #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c AdelegPredicateFailure #

toConstr ∷ AdelegPredicateFailure → Constr #

dataTypeOf ∷ AdelegPredicateFailure → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c AdelegPredicateFailure) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c AdelegPredicateFailure) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → AdelegPredicateFailure → AdelegPredicateFailure #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → AdelegPredicateFailure → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → AdelegPredicateFailure → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → AdelegPredicateFailure → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → AdelegPredicateFailure → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → AdelegPredicateFailure → m AdelegPredicateFailure #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → AdelegPredicateFailure → m AdelegPredicateFailure #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → AdelegPredicateFailure → m AdelegPredicateFailure #

Generic AdelegPredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Associated Types

type Rep AdelegPredicateFailure

Instance details

Defined in Byron.Spec.Ledger.Delegation

type Rep AdelegPredicateFailure = D1 ('MetaData "AdelegPredicateFailure" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.1.0.1-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))))

Methods

from ∷ AdelegPredicateFailure → Rep AdelegPredicateFailure x #

to ∷ Rep AdelegPredicateFailure x → AdelegPredicateFailure #

Show AdelegPredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

showsPrec ∷ Int → AdelegPredicateFailure → ShowS #

show ∷ AdelegPredicateFailure → String #

showList ∷ [AdelegPredicateFailure] → ShowS #

Eq AdelegPredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

(==) ∷ AdelegPredicateFailure → AdelegPredicateFailure → Bool #

(/=) ∷ AdelegPredicateFailure → AdelegPredicateFailure → Bool #

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.1.0.1-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 #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c AdelegsPredicateFailure #

toConstr ∷ AdelegsPredicateFailure → Constr #

dataTypeOf ∷ AdelegsPredicateFailure → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c AdelegsPredicateFailure) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c AdelegsPredicateFailure) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → AdelegsPredicateFailure → AdelegsPredicateFailure #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → AdelegsPredicateFailure → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → AdelegsPredicateFailure → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → AdelegsPredicateFailure → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → AdelegsPredicateFailure → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → AdelegsPredicateFailure → m AdelegsPredicateFailure #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → AdelegsPredicateFailure → m AdelegsPredicateFailure #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → AdelegsPredicateFailure → m AdelegsPredicateFailure #

Generic AdelegsPredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Associated Types

type Rep AdelegsPredicateFailure
Instance details Defined in Byron.Spec.Ledger.Delegation type Rep AdelegsPredicateFailure = D1 ('MetaData "AdelegsPredicateFailure" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.1.0.1-inplace" 'False) (C1 ('MetaCons "ADelegFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure ADELEG))))

Methods

from ∷ AdelegsPredicateFailure → Rep AdelegsPredicateFailure x #

to ∷ Rep AdelegsPredicateFailure x → AdelegsPredicateFailure #

Show AdelegsPredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

showsPrec ∷ Int → AdelegsPredicateFailure → ShowS #

show ∷ AdelegsPredicateFailure → String #

showList ∷ [AdelegsPredicateFailure] → ShowS #

Eq AdelegsPredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

(==) ∷ AdelegsPredicateFailure → AdelegsPredicateFailure → Bool #

(/=) ∷ AdelegsPredicateFailure → AdelegsPredicateFailure → Bool #

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.1.0.1-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 #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c SdelegPredicateFailure #

toConstr ∷ SdelegPredicateFailure → Constr #

dataTypeOf ∷ SdelegPredicateFailure → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c SdelegPredicateFailure) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c SdelegPredicateFailure) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → SdelegPredicateFailure → SdelegPredicateFailure #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → SdelegPredicateFailure → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → SdelegPredicateFailure → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → SdelegPredicateFailure → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → SdelegPredicateFailure → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → SdelegPredicateFailure → m SdelegPredicateFailure #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SdelegPredicateFailure → m SdelegPredicateFailure #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SdelegPredicateFailure → m SdelegPredicateFailure #

Generic SdelegPredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Associated Types

type Rep SdelegPredicateFailure

Instance details

Defined in Byron.Spec.Ledger.Delegation

type Rep SdelegPredicateFailure = D1 ('MetaData "SdelegPredicateFailure" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.1.0.1-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))))

Methods

from ∷ SdelegPredicateFailure → Rep SdelegPredicateFailure x #

to ∷ Rep SdelegPredicateFailure x → SdelegPredicateFailure #

Show SdelegPredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

showsPrec ∷ Int → SdelegPredicateFailure → ShowS #

show ∷ SdelegPredicateFailure → String #

showList ∷ [SdelegPredicateFailure] → ShowS #

Eq SdelegPredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

(==) ∷ SdelegPredicateFailure → SdelegPredicateFailure → Bool #

(/=) ∷ SdelegPredicateFailure → SdelegPredicateFailure → Bool #

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.1.0.1-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 #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c SdelegsPredicateFailure #

toConstr ∷ SdelegsPredicateFailure → Constr #

dataTypeOf ∷ SdelegsPredicateFailure → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c SdelegsPredicateFailure) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c SdelegsPredicateFailure) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → SdelegsPredicateFailure → SdelegsPredicateFailure #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → SdelegsPredicateFailure → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → SdelegsPredicateFailure → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → SdelegsPredicateFailure → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → SdelegsPredicateFailure → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → SdelegsPredicateFailure → m SdelegsPredicateFailure #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SdelegsPredicateFailure → m SdelegsPredicateFailure #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SdelegsPredicateFailure → m SdelegsPredicateFailure #

Generic SdelegsPredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Associated Types

type Rep SdelegsPredicateFailure
Instance details Defined in Byron.Spec.Ledger.Delegation type Rep SdelegsPredicateFailure = D1 ('MetaData "SdelegsPredicateFailure" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.1.0.1-inplace" 'False) (C1 ('MetaCons "SDelegFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure SDELEG))))

Methods

from ∷ SdelegsPredicateFailure → Rep SdelegsPredicateFailure x #

to ∷ Rep SdelegsPredicateFailure x → SdelegsPredicateFailure #

Show SdelegsPredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

showsPrec ∷ Int → SdelegsPredicateFailure → ShowS #

show ∷ SdelegsPredicateFailure → String #

showList ∷ [SdelegsPredicateFailure] → ShowS #

Eq SdelegsPredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

(==) ∷ SdelegsPredicateFailure → SdelegsPredicateFailure → Bool #

(/=) ∷ SdelegsPredicateFailure → SdelegsPredicateFailure → Bool #

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.1.0.1-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 #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c MsdelegPredicateFailure #

toConstr ∷ MsdelegPredicateFailure → Constr #

dataTypeOf ∷ MsdelegPredicateFailure → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c MsdelegPredicateFailure) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c MsdelegPredicateFailure) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → MsdelegPredicateFailure → MsdelegPredicateFailure #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → MsdelegPredicateFailure → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → MsdelegPredicateFailure → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → MsdelegPredicateFailure → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → MsdelegPredicateFailure → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → MsdelegPredicateFailure → m MsdelegPredicateFailure #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → MsdelegPredicateFailure → m MsdelegPredicateFailure #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → MsdelegPredicateFailure → m MsdelegPredicateFailure #

Generic MsdelegPredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Associated Types

type Rep MsdelegPredicateFailure
Instance details Defined in Byron.Spec.Ledger.Delegation type Rep MsdelegPredicateFailure = D1 ('MetaData "MsdelegPredicateFailure" "Byron.Spec.Ledger.Delegation" "byron-spec-ledger-1.1.0.1-inplace" 'False) (C1 ('MetaCons "SDELEGFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure SDELEG))))