Safe Haskell	Safe-Inferred
Language	GHC2021

Testlib.PTest

Synopsis

type Test = (String, String, String, String, App ())
yieldTests :: HasTests x => String -> String -> String -> String -> x -> WriterT [Test] IO ()
class HasTests x where
- mkTests :: String -> String -> String -> String -> x -> IO [Test]
data TestCase a = MkTestCase {
- testCaseName :: String
- testCase :: a
}
class TestCases a where
- mkTestCases :: IO [TestCase a]
newtype Tagged s a = MkTagged {
- unTagged :: a
}
type TaggedBool s = Tagged s Bool
pattern TaggedBool :: Bool -> Tagged s Bool
mkName :: Either String String -> String -> String
class GEnum f where
- uni :: [([Either String String], f x)]
data OneOf a b
- = OneOfA a
- | OneOfB b

Documentation

type Test = (String, String, String, String, App ()) Source #

yieldTests :: HasTests x => String -> String -> String -> String -> x -> WriterT [Test] IO () Source #

class HasTests x where Source #

Methods

mkTests :: String -> String -> String -> String -> x -> IO [Test] Source #

Instances

Instances details

HasTests (App ()) Source #
Instance details Defined in Testlib.PTest Methods mkTests :: String -> String -> String -> String -> App () -> IO [Test] Source #
(HasTests x, TestCases a) => HasTests (a -> x) Source #
Instance details Defined in Testlib.PTest Methods mkTests :: String -> String -> String -> String -> (a -> x) -> IO [Test] Source #

data TestCase a Source #

Constructors

MkTestCase
Fields testCaseName :: String testCase :: a

Instances

Instances details

Foldable TestCase Source #
Instance details Defined in Testlib.PTest Methods fold :: Monoid m => TestCase m -> m # foldMap :: Monoid m => (a -> m) -> TestCase a -> m # foldMap' :: Monoid m => (a -> m) -> TestCase a -> m # foldr :: (a -> b -> b) -> b -> TestCase a -> b # foldr' :: (a -> b -> b) -> b -> TestCase a -> b # foldl :: (b -> a -> b) -> b -> TestCase a -> b # foldl' :: (b -> a -> b) -> b -> TestCase a -> b # foldr1 :: (a -> a -> a) -> TestCase a -> a # foldl1 :: (a -> a -> a) -> TestCase a -> a # toList :: TestCase a -> [a] # null :: TestCase a -> Bool # length :: TestCase a -> Int # elem :: Eq a => a -> TestCase a -> Bool # maximum :: Ord a => TestCase a -> a # minimum :: Ord a => TestCase a -> a # sum :: Num a => TestCase a -> a # product :: Num a => TestCase a -> a #
Traversable TestCase Source #
Instance details Defined in Testlib.PTest Methods traverse :: Applicative f => (a -> f b) -> TestCase a -> f (TestCase b) # sequenceA :: Applicative f => TestCase (f a) -> f (TestCase a) # mapM :: Monad m => (a -> m b) -> TestCase a -> m (TestCase b) # sequence :: Monad m => TestCase (m a) -> m (TestCase a) #
Functor TestCase Source #
Instance details Defined in Testlib.PTest Methods fmap :: (a -> b) -> TestCase a -> TestCase b # (<$) :: a -> TestCase b -> TestCase a #
Generic (TestCase a) Source #
Instance details Defined in Testlib.PTest Associated Types type Rep (TestCase a) :: Type -> Type # Methods from :: TestCase a -> Rep (TestCase a) x # to :: Rep (TestCase a) x -> TestCase a #
Show a => Show (TestCase a) Source #
Instance details Defined in Testlib.PTest Methods showsPrec :: Int -> TestCase a -> ShowS # show :: TestCase a -> String # showList :: [TestCase a] -> ShowS #
Eq a => Eq (TestCase a) Source #
Instance details Defined in Testlib.PTest Methods (==) :: TestCase a -> TestCase a -> Bool # (/=) :: TestCase a -> TestCase a -> Bool #
Ord a => Ord (TestCase a) Source #
Instance details Defined in Testlib.PTest Methods compare :: TestCase a -> TestCase a -> Ordering # (<) :: TestCase a -> TestCase a -> Bool # (<=) :: TestCase a -> TestCase a -> Bool # (>) :: TestCase a -> TestCase a -> Bool # (>=) :: TestCase a -> TestCase a -> Bool # max :: TestCase a -> TestCase a -> TestCase a # min :: TestCase a -> TestCase a -> TestCase a #
type Rep (TestCase a) Source #
Instance details Defined in Testlib.PTest type Rep (TestCase a) = D1 ('MetaData "TestCase" "Testlib.PTest" "integration-0.1.0-HxuAbotgcOkA6o44Dy58kl" 'False) (C1 ('MetaCons "MkTestCase" 'PrefixI 'True) (S1 ('MetaSel ('Just "testCaseName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "testCase") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

class TestCases a where Source #

enumerate all members of a bounded enum type

Methods

mkTestCases :: IO [TestCase a] Source #

Instances

Instances details

TestCases ConversationProtocol Source #
Instance details Defined in Test.AccessUpdate Methods mkTestCases :: IO [TestCase ConversationProtocol] Source #
TestCases One2OneScenario Source #
Instance details Defined in Test.MLS.One2One Methods mkTestCases :: IO [TestCase One2OneScenario] Source #
TestCases Version5 Source #
Instance details Defined in Test.Version Methods mkTestCases :: IO [TestCase Version5] Source #
TestCases Versioned' Source #	This instance is used to generate tests for some of the versions. (Not checking all of them for time efficiency reasons)
Instance details Defined in Test.Version Methods mkTestCases :: IO [TestCase Versioned'] Source #
TestCases Ciphersuite Source #
Instance details Defined in Testlib.PTest Methods mkTestCases :: IO [TestCase Ciphersuite] Source #
TestCases CredentialType Source #
Instance details Defined in Testlib.PTest Methods mkTestCases :: IO [TestCase CredentialType] Source #
TestCases AnyFedDomain Source #
Instance details Defined in Testlib.VersionedFed Methods mkTestCases :: IO [TestCase AnyFedDomain] Source #
TestCases StaticDomain Source #
Instance details Defined in Testlib.VersionedFed Methods mkTestCases :: IO [TestCase StaticDomain] Source #
(Generic a, GEnum (Rep a)) => TestCases a Source #	a default instance, normally we don't do such things but this is more convenient in the test suite as you don't have to derive anything
Instance details Defined in Testlib.PTest Methods mkTestCases :: IO [TestCase a] Source #
(TestCases a, TestCases b) => TestCases (OneOf a b) Source #
Instance details Defined in Testlib.PTest Methods mkTestCases :: IO [TestCase (OneOf a b)] Source #
(GEnum (Rep a), KnownSymbol s, Generic a) => TestCases (Tagged s a) Source #	only works for outer-most use of `Tagged` (not: `Maybe (Tagged "bla" Bool)`)
Instance details Defined in Testlib.PTest Methods mkTestCases :: IO [TestCase (Tagged s a)] Source #
KnownNat n => TestCases (FedDomain n) Source #
Instance details Defined in Testlib.VersionedFed Methods mkTestCases :: IO [TestCase (FedDomain n)] Source #

newtype Tagged s a Source #

Constructors

MkTagged
Fields unTagged :: a

Instances

Instances details

Generic (Tagged s a) Source #
Instance details Defined in Testlib.PTest Associated Types type Rep (Tagged s a) :: Type -> Type # Methods from :: Tagged s a -> Rep (Tagged s a) x # to :: Rep (Tagged s a) x -> Tagged s a #
Show a => Show (Tagged s a) Source #
Instance details Defined in Testlib.PTest Methods showsPrec :: Int -> Tagged s a -> ShowS # show :: Tagged s a -> String # showList :: [Tagged s a] -> ShowS #
Eq a => Eq (Tagged s a) Source #
Instance details Defined in Testlib.PTest Methods (==) :: Tagged s a -> Tagged s a -> Bool # (/=) :: Tagged s a -> Tagged s a -> Bool #
Ord a => Ord (Tagged s a) Source #
Instance details Defined in Testlib.PTest Methods compare :: Tagged s a -> Tagged s a -> Ordering # (<) :: Tagged s a -> Tagged s a -> Bool # (<=) :: Tagged s a -> Tagged s a -> Bool # (>) :: Tagged s a -> Tagged s a -> Bool # (>=) :: Tagged s a -> Tagged s a -> Bool # max :: Tagged s a -> Tagged s a -> Tagged s a # min :: Tagged s a -> Tagged s a -> Tagged s a #
(GEnum (Rep a), KnownSymbol s, Generic a) => TestCases (Tagged s a) Source #	only works for outer-most use of `Tagged` (not: `Maybe (Tagged "bla" Bool)`)
Instance details Defined in Testlib.PTest Methods mkTestCases :: IO [TestCase (Tagged s a)] Source #
type Rep (Tagged s a) Source #
Instance details Defined in Testlib.PTest type Rep (Tagged s a) = D1 ('MetaData "Tagged" "Testlib.PTest" "integration-0.1.0-HxuAbotgcOkA6o44Dy58kl" 'True) (C1 ('MetaCons "MkTagged" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTagged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

type TaggedBool s = Tagged s Bool Source #

pattern TaggedBool :: Bool -> Tagged s Bool Source #

mkName :: Either String String -> String -> String Source #

class GEnum f where Source #

Methods

uni :: [([Either String String], f x)] Source #

Instances

Instances details

GEnum (U1 :: k -> Type) Source #
Instance details Defined in Testlib.PTest Methods uni :: forall (x :: k0). [([Either String String], U1 x)] Source #
(GEnum k1, GEnum k2) => GEnum (k1 :+: k2 :: k -> Type) Source #
Instance details Defined in Testlib.PTest Methods uni :: forall (x :: k0). [([Either String String], (k1 :+: k2) x)] Source #
(GEnum k2, KnownSymbol n) => GEnum (C1 ('MetaCons n p b) k2 :: k1 -> Type) Source #
Instance details Defined in Testlib.PTest Methods uni :: forall (x :: k). [([Either String String], C1 ('MetaCons n p b) k2 x)] Source #
(GEnum k2, KnownSymbol n) => GEnum (D1 ('MetaData n m p b) k2 :: k1 -> Type) Source #
Instance details Defined in Testlib.PTest Methods uni :: forall (x :: k). [([Either String String], D1 ('MetaData n m p b) k2 x)] Source #
(GEnum (Rep k2), Generic k2) => GEnum (K1 r k2 :: k1 -> Type) Source #
Instance details Defined in Testlib.PTest Methods uni :: forall (x :: k). [([Either String String], K1 r k2 x)] Source #
GEnum k2 => GEnum (S1 md k2 :: k1 -> Type) Source #
Instance details Defined in Testlib.PTest Methods uni :: forall (x :: k). [([Either String String], S1 md k2 x)] Source #

data OneOf a b Source #

Constructors

OneOfA a
OneOfB b

Instances

Instances details

(MakesValue a, MakesValue b) => MakesValue (OneOf a b) Source #
Instance details Defined in Testlib.PTest Methods make :: OneOf a b -> App Value Source #
(TestCases a, TestCases b) => TestCases (OneOf a b) Source #
Instance details Defined in Testlib.PTest Methods mkTestCases :: IO [TestCase (OneOf a b)] Source #