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