Copyright | (c) 2024 GYELD GMBH |
---|---|
License | Apache 2.0 |
Maintainer | [email protected] |
Stability | develop |
Safe Haskell | None |
Language | GHC2021 |
GeniusYield.Types.KeyRole
Description
Synopsis
- data GYKeyRole
- data SingGYKeyRole (kr :: GYKeyRole) where
- SingGYKeyRolePayment :: SingGYKeyRole 'GYKeyRolePayment
- SingGYKeyRoleStaking :: SingGYKeyRole 'GYKeyRoleStaking
- SingGYKeyRoleDRep :: SingGYKeyRole 'GYKeyRoleDRep
- SingGYKeyRoleStakePool :: SingGYKeyRole 'GYKeyRoleStakePool
- SingGYKeyRoleHotCommittee :: SingGYKeyRole 'GYKeyRoleHotCommittee
- SingGYKeyRoleColdCommittee :: SingGYKeyRole 'GYKeyRoleColdCommittee
- fromSingGYKeyRole :: forall (kr :: GYKeyRole). SingGYKeyRole kr -> GYKeyRole
- class SingGYKeyRoleI (kr :: GYKeyRole) where
- singGYKeyRole :: SingGYKeyRole kr
- type family GYKeyRoleToLedger (kr :: GYKeyRole) :: KeyRole where ...
- data GYKeyRoleVRF = GYKeyRoleVRFStakePool
- type family GYKeyRoleVRFToLedger (kr :: GYKeyRoleVRF) :: KeyRoleVRF where ...
Documentation
Role of a key.
Constructors
GYKeyRolePayment | |
GYKeyRoleStaking | |
GYKeyRoleDRep | |
GYKeyRoleStakePool | |
GYKeyRoleHotCommittee | |
GYKeyRoleColdCommittee |
Instances
Show GYKeyRole # | |
Eq GYKeyRole # | |
Ord GYKeyRole # | |
data SingGYKeyRole (kr :: GYKeyRole) where #
Constructors
fromSingGYKeyRole :: forall (kr :: GYKeyRole). SingGYKeyRole kr -> GYKeyRole #
class SingGYKeyRoleI (kr :: GYKeyRole) where #
Methods
singGYKeyRole :: SingGYKeyRole kr #
Instances
SingGYKeyRoleI 'GYKeyRoleColdCommittee # | |
Defined in GeniusYield.Types.KeyRole Methods | |
SingGYKeyRoleI 'GYKeyRoleDRep # | |
Defined in GeniusYield.Types.KeyRole Methods | |
SingGYKeyRoleI 'GYKeyRoleHotCommittee # | |
Defined in GeniusYield.Types.KeyRole Methods | |
SingGYKeyRoleI 'GYKeyRolePayment # | |
Defined in GeniusYield.Types.KeyRole Methods | |
SingGYKeyRoleI 'GYKeyRoleStakePool # | |
Defined in GeniusYield.Types.KeyRole Methods | |
SingGYKeyRoleI 'GYKeyRoleStaking # | |
Defined in GeniusYield.Types.KeyRole Methods |
type family GYKeyRoleToLedger (kr :: GYKeyRole) :: KeyRole where ... #
Equations
type family GYKeyRoleVRFToLedger (kr :: GYKeyRoleVRF) :: KeyRoleVRF where ... #
Equations
GYKeyRoleVRFToLedger 'GYKeyRoleVRFStakePool = 'StakePoolVRF |