Safe Haskell	Safe-Inferred
Language	GHC2021

Testlib.VersionedFed

Synopsis

data FedDomain n = FedDomain
mkFedTestCase :: String -> Integer -> IO [TestCase Integer]
data AnyFedDomain = AnyFedDomain Integer
data StaticDomain
- = StaticDomain
- | StaticFedDomain Integer

Documentation

data FedDomain n 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 #
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 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 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 #