Safe Haskell	None
Language	GHC2021

Testlib.VersionedFed

Synopsis

data FedDomain (n :: k) = FedDomain
mkFedTestCase :: String -> Integer -> IO [TestCase Integer]
data AnyFedDomain = AnyFedDomain {
- unFedDomain :: Integer
}
data FedVersion
fedVersionName :: FedVersion -> String
data FedVersionPair = FedVersionPair {
- localFedVersion :: FedVersion
- remoteFedVersion :: FedVersion
}
data StaticDomain
- = StaticDomain
- | StaticFedDomain Integer

Documentation

data FedDomain (n :: k) Source #

Constructors

FedDomain

Instances

Instances details

MakesValue (FedDomain 0) Source #
Instance details Defined in Testlib.VersionedFed Methods make :: FedDomain 0 -> App Value Source #
MakesValue (FedDomain 1) Source #
Instance details Defined in Testlib.VersionedFed Methods make :: FedDomain 1 -> App Value Source #
MakesValue (FedDomain 2) Source #
Instance details Defined in Testlib.VersionedFed Methods make :: FedDomain 2 -> App Value Source #
MakesValue (FedDomain 3) Source #
Instance details Defined in Testlib.VersionedFed Methods make :: FedDomain 3 -> App Value Source #
KnownNat n => TestCases (FedDomain n) Source #
Instance details Defined in Testlib.VersionedFed Methods mkTestCases :: IO [TestCase (FedDomain n)] Source #

mkFedTestCase :: String -> Integer -> IO [TestCase Integer] Source #

data AnyFedDomain Source #

Constructors

AnyFedDomain
Fields unFedDomain :: Integer

Instances

Instances details

MakesValue AnyFedDomain Source #
Instance details Defined in Testlib.VersionedFed Methods make :: AnyFedDomain -> App Value Source #
TestCases AnyFedDomain Source #
Instance details Defined in Testlib.VersionedFed Methods mkTestCases :: IO [TestCase AnyFedDomain] Source #

data FedVersion Source #

Constructors

FedVersionLegacy Integer
FedVersionCurrentStable
FedVersionCurrentDevelopment

Instances

Instances details

Show FedVersion Source #
Instance details Defined in Testlib.VersionedFed Methods showsPrec :: Int -> FedVersion -> ShowS # show :: FedVersion -> String # showList :: [FedVersion] -> ShowS #
Eq FedVersion Source #
Instance details Defined in Testlib.VersionedFed Methods (==) :: FedVersion -> FedVersion -> Bool # (/=) :: FedVersion -> FedVersion -> Bool #

fedVersionName :: FedVersion -> String Source #

data FedVersionPair Source #

Pairs of distinct enabled legacy/current backends

Constructors

FedVersionPair
Fields localFedVersion :: FedVersion remoteFedVersion :: FedVersion

Instances

Instances details

TestCases FedVersionPair Source #
Instance details Defined in Testlib.VersionedFed Methods mkTestCases :: IO [TestCase FedVersionPair] Source #

data StaticDomain Source #

This can be used as an argument for parametrised tests. It will be bound to at least OtherDomain, and optionally to legacy federated domains, according to the values of the corresponding environment variables (ENABLE_FEDERATION_V0 and similar).

Constructors

StaticDomain
StaticFedDomain Integer

Instances

Instances details

Eq StaticDomain Source #
Instance details Defined in Testlib.VersionedFed Methods (==) :: StaticDomain -> StaticDomain -> Bool # (/=) :: StaticDomain -> StaticDomain -> Bool #
MakesValue StaticDomain Source #
Instance details Defined in Testlib.VersionedFed Methods make :: StaticDomain -> App Value Source #
TestCases StaticDomain Source #
Instance details Defined in Testlib.VersionedFed Methods mkTestCases :: IO [TestCase StaticDomain] Source #