| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Voting.Protocol.Version
Contents
Synopsis
- data Version = Version {
- version_branch :: [Natural]
- version_tags :: [(Text, Natural)]
- hasVersionTag :: Version -> Text -> Bool
- type ExperimentalVersion = V [1, 6] '['(VersionTagQuicker, 0)]
- experimentalVersion :: Version
- type StableVersion = V [1, 6] '[]
- stableVersion :: Version
- type VersionTagQuicker = "quicker"
- versionTagQuicker :: Text
- readVersion :: String -> Maybe Version
- data V (branch :: [Nat]) (tags :: [(Symbol, Nat)])
- class VersionBranchVal a where
- versionBranchVal :: proxy a -> [Natural]
- class VersionTagsVal a where
- versionTagsVal :: proxy a -> [(Text, Natural)]
Type Version
Version of the Helios-C protocol.
Constructors
| Version | |
Fields
| |
Instances
Type ExperimentalVersion
type ExperimentalVersion = V [1, 6] '['(VersionTagQuicker, 0)] Source #
Type StableVersion
type StableVersion = V [1, 6] '[] Source #
Type VersionTagQuicker
type VersionTagQuicker = "quicker" Source #
Type V
data V (branch :: [Nat]) (tags :: [(Symbol, Nat)]) Source #
Type-level representation of a specific Version.
Instances
| (VersionBranchVal branch, VersionTagsVal tags) => Reifies (V branch tags :: Type) Version Source # | Like a normal |
Defined in Voting.Protocol.Version | |
Class VersionBranchVal
class VersionBranchVal a where Source #
Methods
versionBranchVal :: proxy a -> [Natural] Source #
Instances
| (KnownNat h, KnownNat hh, VersionBranchVal (hh ': t)) => VersionBranchVal (h ': (hh ': t) :: [Nat]) Source # | |
Defined in Voting.Protocol.Version Methods versionBranchVal :: proxy (h ': (hh ': t)) -> [Natural] Source # | |
| KnownNat h => VersionBranchVal (h ': ([] :: [Nat]) :: [Nat]) Source # | |
Defined in Voting.Protocol.Version Methods versionBranchVal :: proxy (h ': []) -> [Natural] Source # | |
Class VersionTagsVal
class VersionTagsVal a where Source #
Methods
versionTagsVal :: proxy a -> [(Text, Natural)] Source #
Instances
| VersionTagsVal ([] :: [k]) Source # | |
Defined in Voting.Protocol.Version Methods versionTagsVal :: proxy [] -> [(Text, Natural)] Source # | |
| (KnownSymbol s, KnownNat n, VersionTagsVal t) => VersionTagsVal ((,) s n ': t :: [(Symbol, Nat)]) Source # | |
Defined in Voting.Protocol.Version Methods versionTagsVal :: proxy ((s, n) ': t) -> [(Text, Natural)] Source # | |