Safe Haskell	None
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
goblinGensDELEG :: [SignalGenerator DELEG]
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)
tamperedDcerts :: DIEnv -> DIState -> Gen [DCert]

Delegation scheduling

data SDELEG Source #

Delegation scheduling rules

Instances

Instances details

Data SDELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SDELEG -> c SDELEG # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SDELEG # toConstr :: SDELEG -> Constr # dataTypeOf :: SDELEG -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SDELEG) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SDELEG) # gmapT :: (forall b. Data b => b -> b) -> SDELEG -> SDELEG # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SDELEG -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SDELEG -> r # gmapQ :: (forall d. Data d => d -> u) -> SDELEG -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SDELEG -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SDELEG -> m SDELEG # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SDELEG -> m SDELEG # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SDELEG -> m SDELEG #
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 PredicateFailure SDELEG = (b :: Type) 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 #
type PredicateFailure SDELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type PredicateFailure SDELEG = SdelegPredicateFailure
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 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 :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SDELEGS -> c SDELEGS # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SDELEGS # toConstr :: SDELEGS -> Constr # dataTypeOf :: SDELEGS -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SDELEGS) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SDELEGS) # gmapT :: (forall b. Data b => b -> b) -> SDELEGS -> SDELEGS # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SDELEGS -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SDELEGS -> r # gmapQ :: (forall d. Data d => d -> u) -> SDELEGS -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SDELEGS -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SDELEGS -> m SDELEGS # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SDELEGS -> m SDELEGS # gmapMo :: MonadPlus m => (forall 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 Source # type Signal SDELEGS Source # type Environment SDELEGS Source # type BaseM SDELEGS :: Type -> Type Source # type PredicateFailure SDELEGS = (b :: Type) Source # Methods initialRules :: [InitialRule SDELEGS] Source # transitionRules :: [TransitionRule SDELEGS] Source # assertions :: [Assertion SDELEGS] Source # renderAssertionViolation :: AssertionViolation SDELEGS -> String Source #
Embed SDELEGS DELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods wrapFailed :: PredicateFailure SDELEGS -> PredicateFailure DELEG Source #
Embed SDELEG SDELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods wrapFailed :: PredicateFailure SDELEG -> PredicateFailure SDELEGS Source #
type PredicateFailure SDELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type PredicateFailure SDELEGS = SdelegsPredicateFailure
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 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

Eq DSState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods (==) :: DSState -> DSState -> Bool # (/=) :: DSState -> DSState -> Bool #
Show DSState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods showsPrec :: Int -> DSState -> ShowS # show :: DSState -> String # showList :: [DSState] -> ShowS #
Generic DSState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type Rep DSState :: Type -> Type # Methods from :: DSState -> Rep DSState x # to :: Rep DSState x -> DSState #
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-0.1.0.0-Jv8hCFfyCTLBIAVZyJNMgt" '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

Eq DCert Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods (==) :: DCert -> DCert -> Bool # (/=) :: DCert -> DCert -> Bool #
Data DCert Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DCert -> c DCert # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DCert # toConstr :: DCert -> Constr # dataTypeOf :: DCert -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DCert) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DCert) # gmapT :: (forall b. Data b => b -> b) -> DCert -> DCert # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DCert -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DCert -> r # gmapQ :: (forall d. Data d => d -> u) -> DCert -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DCert -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DCert -> m DCert # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DCert -> m DCert # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DCert -> m DCert #
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 #
Show DCert Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods showsPrec :: Int -> DCert -> ShowS # show :: DCert -> String # showList :: [DCert] -> ShowS #
Generic DCert Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type Rep DCert :: Type -> Type # Methods from :: DCert -> Rep DCert x # to :: Rep DCert x -> DCert #
Hashable DCert Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods hashWithSalt :: Int -> DCert -> Int Source # hash :: DCert -> Int Source #
AddShrinks DCert Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods addShrinks :: DCert -> Gen DCert 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 #
HasTypeReps DCert Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods typeReps :: DCert -> Seq TypeRep Source #
GeneOps genome => Goblin genome DCert Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods tinker :: Gen DCert -> TinkerM genome (Gen DCert) Source # conjure :: TinkerM genome DCert 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-0.1.0.0-Jv8hCFfyCTLBIAVZyJNMgt" '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 :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ADELEG -> c ADELEG # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ADELEG # toConstr :: ADELEG -> Constr # dataTypeOf :: ADELEG -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ADELEG) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ADELEG) # gmapT :: (forall b. Data b => b -> b) -> ADELEG -> ADELEG # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ADELEG -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ADELEG -> r # gmapQ :: (forall d. Data d => d -> u) -> ADELEG -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ADELEG -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ADELEG -> m ADELEG # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ADELEG -> m ADELEG # gmapMo :: MonadPlus m => (forall 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 Source # type Signal ADELEG Source # type Environment ADELEG Source # type BaseM ADELEG :: Type -> Type Source # type PredicateFailure ADELEG = (b :: Type) 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 #
type PredicateFailure ADELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type PredicateFailure ADELEG = AdelegPredicateFailure
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 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 :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ADELEGS -> c ADELEGS # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ADELEGS # toConstr :: ADELEGS -> Constr # dataTypeOf :: ADELEGS -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ADELEGS) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ADELEGS) # gmapT :: (forall b. Data b => b -> b) -> ADELEGS -> ADELEGS # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ADELEGS -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ADELEGS -> r # gmapQ :: (forall d. Data d => d -> u) -> ADELEGS -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ADELEGS -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ADELEGS -> m ADELEGS # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ADELEGS -> m ADELEGS # gmapMo :: MonadPlus m => (forall 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 Source # type Signal ADELEGS Source # type Environment ADELEGS Source # type BaseM ADELEGS :: Type -> Type Source # type PredicateFailure ADELEGS = (b :: Type) Source # Methods initialRules :: [InitialRule ADELEGS] Source # transitionRules :: [TransitionRule ADELEGS] Source # assertions :: [Assertion ADELEGS] Source # renderAssertionViolation :: AssertionViolation ADELEGS -> String Source #
Embed ADELEGS DELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods wrapFailed :: PredicateFailure ADELEGS -> PredicateFailure DELEG Source #
Embed ADELEG ADELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods wrapFailed :: PredicateFailure ADELEG -> PredicateFailure ADELEGS Source #
type PredicateFailure ADELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type PredicateFailure ADELEGS = AdelegsPredicateFailure
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 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

Eq DSEnv Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods (==) :: DSEnv -> DSEnv -> Bool # (/=) :: DSEnv -> DSEnv -> Bool #
Show DSEnv Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods showsPrec :: Int -> DSEnv -> ShowS # show :: DSEnv -> String # showList :: [DSEnv] -> ShowS #
Generic DSEnv Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type Rep DSEnv :: Type -> Type # Methods from :: DSEnv -> Rep DSEnv x # to :: Rep DSEnv x -> DSEnv #
SeedGoblin DSEnv Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods seeder :: DSEnv -> TinkerM g () 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-0.1.0.0-Jv8hCFfyCTLBIAVZyJNMgt" '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

Eq DState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods (==) :: DState -> DState -> Bool # (/=) :: DState -> DState -> Bool #
Show DState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods showsPrec :: Int -> DState -> ShowS # show :: DState -> String # showList :: [DState] -> ShowS #
Generic DState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type Rep DState :: Type -> Type # Methods from :: DState -> Rep DState x # to :: Rep DState x -> DState #
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-0.1.0.0-Jv8hCFfyCTLBIAVZyJNMgt" '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 :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DELEG -> c DELEG # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DELEG # toConstr :: DELEG -> Constr # dataTypeOf :: DELEG -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DELEG) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DELEG) # gmapT :: (forall b. Data b => b -> b) -> DELEG -> DELEG # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DELEG -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DELEG -> r # gmapQ :: (forall d. Data d => d -> u) -> DELEG -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DELEG -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DELEG -> m DELEG # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DELEG -> m DELEG # gmapMo :: MonadPlus m => (forall 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 Source # type Signal DELEG Source # type Environment DELEG Source # type BaseM DELEG :: Type -> Type Source # type PredicateFailure DELEG = (b :: Type) 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 #
Embed SDELEGS DELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods wrapFailed :: PredicateFailure SDELEGS -> PredicateFailure DELEG Source #
type PredicateFailure DELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type PredicateFailure DELEG = DelegPredicateFailure
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 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

Eq DIState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods (==) :: DIState -> DIState -> Bool # (/=) :: DIState -> DIState -> Bool #
Show DIState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods showsPrec :: Int -> DIState -> ShowS # show :: DIState -> String # showList :: [DIState] -> ShowS #
Generic DIState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type Rep DIState :: Type -> Type # Methods from :: DIState -> Rep DIState x # to :: Rep DIState x -> DIState #
SeedGoblin DIState Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods seeder :: DIState -> TinkerM g () 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-0.1.0.0-Jv8hCFfyCTLBIAVZyJNMgt" '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

Eq EpochDiff Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods (==) :: EpochDiff -> EpochDiff -> Bool # (/=) :: EpochDiff -> EpochDiff -> Bool #
Data EpochDiff Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EpochDiff -> c EpochDiff # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EpochDiff # toConstr :: EpochDiff -> Constr # dataTypeOf :: EpochDiff -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c EpochDiff) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EpochDiff) # gmapT :: (forall b. Data b => b -> b) -> EpochDiff -> EpochDiff # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EpochDiff -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EpochDiff -> r # gmapQ :: (forall d. Data d => d -> u) -> EpochDiff -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> EpochDiff -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> EpochDiff -> m EpochDiff # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EpochDiff -> m EpochDiff # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EpochDiff -> m EpochDiff #
Show EpochDiff Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods showsPrec :: Int -> EpochDiff -> ShowS # show :: EpochDiff -> String # showList :: [EpochDiff] -> ShowS #
Generic EpochDiff Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type Rep EpochDiff :: Type -> Type # Methods from :: EpochDiff -> Rep EpochDiff x # to :: Rep EpochDiff x -> EpochDiff #
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-0.1.0.0-Jv8hCFfyCTLBIAVZyJNMgt" '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 DSState [(Slot, (VKeyGenesis, VKey))] Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods scheduledDelegations :: Lens' DSState [(Slot, (VKeyGenesis, VKey))] Source #
HasScheduledDelegations DIState [(Slot, (VKeyGenesis, VKey))] Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods scheduledDelegations :: Lens' DIState [(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.

goblinGensDELEG :: [SignalGenerator DELEG] Source #

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

Eq AdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods (==) :: AdelegPredicateFailure -> AdelegPredicateFailure -> Bool # (/=) :: AdelegPredicateFailure -> AdelegPredicateFailure -> Bool #
Data AdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AdelegPredicateFailure -> c AdelegPredicateFailure # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AdelegPredicateFailure # toConstr :: AdelegPredicateFailure -> Constr # dataTypeOf :: AdelegPredicateFailure -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AdelegPredicateFailure) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AdelegPredicateFailure) # gmapT :: (forall b. Data b => b -> b) -> AdelegPredicateFailure -> AdelegPredicateFailure # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AdelegPredicateFailure -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AdelegPredicateFailure -> r # gmapQ :: (forall d. Data d => d -> u) -> AdelegPredicateFailure -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AdelegPredicateFailure -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AdelegPredicateFailure -> m AdelegPredicateFailure # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AdelegPredicateFailure -> m AdelegPredicateFailure # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AdelegPredicateFailure -> m AdelegPredicateFailure #
Show AdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods showsPrec :: Int -> AdelegPredicateFailure -> ShowS # show :: AdelegPredicateFailure -> String # showList :: [AdelegPredicateFailure] -> ShowS #
Generic AdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type Rep AdelegPredicateFailure :: Type -> Type # Methods from :: AdelegPredicateFailure -> Rep AdelegPredicateFailure x # to :: Rep AdelegPredicateFailure x -> AdelegPredicateFailure #
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-0.1.0.0-Jv8hCFfyCTLBIAVZyJNMgt" '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

Eq AdelegsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods (==) :: AdelegsPredicateFailure -> AdelegsPredicateFailure -> Bool # (/=) :: AdelegsPredicateFailure -> AdelegsPredicateFailure -> Bool #
Data AdelegsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AdelegsPredicateFailure -> c AdelegsPredicateFailure # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AdelegsPredicateFailure # toConstr :: AdelegsPredicateFailure -> Constr # dataTypeOf :: AdelegsPredicateFailure -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AdelegsPredicateFailure) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AdelegsPredicateFailure) # gmapT :: (forall b. Data b => b -> b) -> AdelegsPredicateFailure -> AdelegsPredicateFailure # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AdelegsPredicateFailure -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AdelegsPredicateFailure -> r # gmapQ :: (forall d. Data d => d -> u) -> AdelegsPredicateFailure -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AdelegsPredicateFailure -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AdelegsPredicateFailure -> m AdelegsPredicateFailure # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AdelegsPredicateFailure -> m AdelegsPredicateFailure # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AdelegsPredicateFailure -> m AdelegsPredicateFailure #
Show AdelegsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods showsPrec :: Int -> AdelegsPredicateFailure -> ShowS # show :: AdelegsPredicateFailure -> String # showList :: [AdelegsPredicateFailure] -> ShowS #
Generic AdelegsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type Rep AdelegsPredicateFailure :: Type -> Type # Methods from :: AdelegsPredicateFailure -> Rep AdelegsPredicateFailure x # to :: Rep AdelegsPredicateFailure x -> AdelegsPredicateFailure #
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-0.1.0.0-Jv8hCFfyCTLBIAVZyJNMgt" '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

Eq SdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods (==) :: SdelegPredicateFailure -> SdelegPredicateFailure -> Bool # (/=) :: SdelegPredicateFailure -> SdelegPredicateFailure -> Bool #
Data SdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SdelegPredicateFailure -> c SdelegPredicateFailure # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SdelegPredicateFailure # toConstr :: SdelegPredicateFailure -> Constr # dataTypeOf :: SdelegPredicateFailure -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SdelegPredicateFailure) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SdelegPredicateFailure) # gmapT :: (forall b. Data b => b -> b) -> SdelegPredicateFailure -> SdelegPredicateFailure # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SdelegPredicateFailure -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SdelegPredicateFailure -> r # gmapQ :: (forall d. Data d => d -> u) -> SdelegPredicateFailure -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SdelegPredicateFailure -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SdelegPredicateFailure -> m SdelegPredicateFailure # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SdelegPredicateFailure -> m SdelegPredicateFailure # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SdelegPredicateFailure -> m SdelegPredicateFailure #
Show SdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods showsPrec :: Int -> SdelegPredicateFailure -> ShowS # show :: SdelegPredicateFailure -> String # showList :: [SdelegPredicateFailure] -> ShowS #
Generic SdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type Rep SdelegPredicateFailure :: Type -> Type # Methods from :: SdelegPredicateFailure -> Rep SdelegPredicateFailure x # to :: Rep SdelegPredicateFailure x -> SdelegPredicateFailure #
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-0.1.0.0-Jv8hCFfyCTLBIAVZyJNMgt" '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

Eq SdelegsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods (==) :: SdelegsPredicateFailure -> SdelegsPredicateFailure -> Bool # (/=) :: SdelegsPredicateFailure -> SdelegsPredicateFailure -> Bool #
Data SdelegsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SdelegsPredicateFailure -> c SdelegsPredicateFailure # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SdelegsPredicateFailure # toConstr :: SdelegsPredicateFailure -> Constr # dataTypeOf :: SdelegsPredicateFailure -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SdelegsPredicateFailure) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SdelegsPredicateFailure) # gmapT :: (forall b. Data b => b -> b) -> SdelegsPredicateFailure -> SdelegsPredicateFailure # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SdelegsPredicateFailure -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SdelegsPredicateFailure -> r # gmapQ :: (forall d. Data d => d -> u) -> SdelegsPredicateFailure -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SdelegsPredicateFailure -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SdelegsPredicateFailure -> m SdelegsPredicateFailure # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SdelegsPredicateFailure -> m SdelegsPredicateFailure # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SdelegsPredicateFailure -> m SdelegsPredicateFailure #
Show SdelegsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods showsPrec :: Int -> SdelegsPredicateFailure -> ShowS # show :: SdelegsPredicateFailure -> String # showList :: [SdelegsPredicateFailure] -> ShowS #
Generic SdelegsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type Rep SdelegsPredicateFailure :: Type -> Type # Methods from :: SdelegsPredicateFailure -> Rep SdelegsPredicateFailure x # to :: Rep SdelegsPredicateFailure x -> SdelegsPredicateFailure #
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-0.1.0.0-Jv8hCFfyCTLBIAVZyJNMgt" '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

Eq MsdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods (==) :: MsdelegPredicateFailure -> MsdelegPredicateFailure -> Bool # (/=) :: MsdelegPredicateFailure -> MsdelegPredicateFailure -> Bool #
Data MsdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MsdelegPredicateFailure -> c MsdelegPredicateFailure # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MsdelegPredicateFailure # toConstr :: MsdelegPredicateFailure -> Constr # dataTypeOf :: MsdelegPredicateFailure -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MsdelegPredicateFailure) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MsdelegPredicateFailure) # gmapT :: (forall b. Data b => b -> b) -> MsdelegPredicateFailure -> MsdelegPredicateFailure # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MsdelegPredicateFailure -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MsdelegPredicateFailure -> r # gmapQ :: (forall d. Data d => d -> u) -> MsdelegPredicateFailure -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MsdelegPredicateFailure -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MsdelegPredicateFailure -> m MsdelegPredicateFailure # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MsdelegPredicateFailure -> m MsdelegPredicateFailure # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MsdelegPredicateFailure -> m MsdelegPredicateFailure #
Show MsdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods showsPrec :: Int -> MsdelegPredicateFailure -> ShowS # show :: MsdelegPredicateFailure -> String # showList :: [MsdelegPredicateFailure] -> ShowS #
Generic MsdelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type Rep MsdelegPredicateFailure :: Type -> Type # Methods from :: MsdelegPredicateFailure -> Rep MsdelegPredicateFailure x # to :: Rep MsdelegPredicateFailure x -> MsdelegPredicateFailure #
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-0.1.0.0-Jv8hCFfyCTLBIAVZyJNMgt" '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

Eq DelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods (==) :: DelegPredicateFailure -> DelegPredicateFailure -> Bool # (/=) :: DelegPredicateFailure -> DelegPredicateFailure -> Bool #
Data DelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DelegPredicateFailure -> c DelegPredicateFailure # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DelegPredicateFailure # toConstr :: DelegPredicateFailure -> Constr # dataTypeOf :: DelegPredicateFailure -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DelegPredicateFailure) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DelegPredicateFailure) # gmapT :: (forall b. Data b => b -> b) -> DelegPredicateFailure -> DelegPredicateFailure # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DelegPredicateFailure -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DelegPredicateFailure -> r # gmapQ :: (forall d. Data d => d -> u) -> DelegPredicateFailure -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DelegPredicateFailure -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DelegPredicateFailure -> m DelegPredicateFailure # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DelegPredicateFailure -> m DelegPredicateFailure # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DelegPredicateFailure -> m DelegPredicateFailure #
Show DelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods showsPrec :: Int -> DelegPredicateFailure -> ShowS # show :: DelegPredicateFailure -> String # showList :: [DelegPredicateFailure] -> ShowS #
Generic DelegPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Associated Types type Rep DelegPredicateFailure :: Type -> Type # Methods from :: DelegPredicateFailure -> Rep DelegPredicateFailure x # to :: Rep DelegPredicateFailure x -> DelegPredicateFailure #
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-0.1.0.0-Jv8hCFfyCTLBIAVZyJNMgt" '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))))

tamperedDcerts :: DIEnv -> DIState -> Gen [DCert] Source #