Data.Winery.Test

Maintainer : Fumiaki Kinoshita [e-mail]

A test framework that allows you to test all related Serialise instances with automatically-generated test cases

Generating tests

class Typeable a => TestGen a where

A class to provide test values and gather tests for its components. It is recommended to use the generic default methods.

Minimal complete definition

Nothing

Methods

genTestCases :: [a]

A list of values that can be used as test cases. It should contain at least one value as long as there is a non-bottom value in the type.

inheritedTests :: Proxy a -> Map TypeRep [Test]

Inherited set of test cases for each type it involves.

genTestCases :: (Generic a, GTestGen (Rep a)) => [a]

A list of values that can be used as test cases. It should contain at least one value as long as there is a non-bottom value in the type.

inheritedTests :: GTestGen (Rep a) => Proxy a -> Map TypeRep [Test]

Inherited set of test cases for each type it involves.

Instances

TestGen Bool

Defined in Data.Winery.Test

Methods

genTestCases :: [Bool]

inheritedTests :: Proxy Bool -> Map TypeRep [Test]

TestGen Char

Defined in Data.Winery.Test

Methods

genTestCases :: [Char]

inheritedTests :: Proxy Char -> Map TypeRep [Test]

TestGen Double

Defined in Data.Winery.Test

Methods

genTestCases :: [Double]

inheritedTests :: Proxy Double -> Map TypeRep [Test]

TestGen Int

Defined in Data.Winery.Test

Methods

genTestCases :: [Int]

inheritedTests :: Proxy Int -> Map TypeRep [Test]

TestGen ()

Defined in Data.Winery.Test

Methods

genTestCases :: [()]

inheritedTests :: Proxy () -> Map TypeRep [Test]

Tested a => TestGen [a]

Defined in Data.Winery.Test

Methods

genTestCases :: [[a]]

inheritedTests :: Proxy [a] -> Map TypeRep [Test]

TestGen a => TestGen (Identity a)

Defined in Data.Winery.Test

Methods

genTestCases :: [Identity a]

inheritedTests :: Proxy (Identity a) -> Map TypeRep [Test]

Tested a => TestGen (Seq a)

Defined in Data.Winery.Test

Methods

genTestCases :: [Seq a]

inheritedTests :: Proxy (Seq a) -> Map TypeRep [Test]

(Unbox a, Tested a) => TestGen (Vector a)

Defined in Data.Winery.Test

Methods

genTestCases :: [Vector a]

inheritedTests :: Proxy (Vector a) -> Map TypeRep [Test]

Tested a => TestGen (Vector a)

Defined in Data.Winery.Test

Methods

genTestCases :: [Vector a]

inheritedTests :: Proxy (Vector a) -> Map TypeRep [Test]

(Tested a, Tested b) => TestGen (Either a b)

Defined in Data.Winery.Test

Methods

genTestCases :: [Either a b]

inheritedTests :: Proxy (Either a b) -> Map TypeRep [Test]

(Tested a, Tested b) => TestGen (a, b)

Defined in Data.Winery.Test

Methods

genTestCases :: [(a, b)]

inheritedTests :: Proxy (a, b) -> Map TypeRep [Test]

(Hashable k, Tested k, Tested a) => TestGen (HashMap k a)

Defined in Data.Winery.Test

Methods

genTestCases :: [HashMap k a]

inheritedTests :: Proxy (HashMap k a) -> Map TypeRep [Test]

(Tested a, Tested b, Tested c) => TestGen (a, b, c)

Defined in Data.Winery.Test

Methods

genTestCases :: [(a, b, c)]

inheritedTests :: Proxy (a, b, c) -> Map TypeRep [Test]

(Tested a, Tested b, Tested c, Tested d) => TestGen (a, b, c, d)

Defined in Data.Winery.Test

Methods

genTestCases :: [(a, b, c, d)]

inheritedTests :: Proxy (a, b, c, d) -> Map TypeRep [Test]

printTests :: forall a. (TestGen a, Serialise a, Show a) => IO ()

Generate test cases and print them to the standard output.

Test cases

class TestGen a => Tested a where

Types with concrete test cases.

/"Doubt is useful, it keeps faith a living thing. After all, you cannot know the strength of your faith until it has been tested."/

Methods

testCases :: [Test]

List of test cases for the type.

Instances

Tested Bool

Defined in Data.Winery.Test

Methods

testCases :: [Test]

Tested Char

Defined in Data.Winery.Test

Methods

testCases :: [Test]

Tested Double

Defined in Data.Winery.Test

Methods

testCases :: [Test]

Tested Int

Defined in Data.Winery.Test

Methods

testCases :: [Test]

Tested ()

Defined in Data.Winery.Test

Methods

testCases :: [Test]

Tested a => Tested [a]

Defined in Data.Winery.Test

Methods

testCases :: [Test]

Tested a => Tested (Identity a)

Defined in Data.Winery.Test

Methods

testCases :: [Test]

Tested a => Tested (Seq a)

Defined in Data.Winery.Test

Methods

testCases :: [Test]

(Unbox a, Tested a) => Tested (Vector a)

Defined in Data.Winery.Test

Methods

testCases :: [Test]

Tested a => Tested (Vector a)

Defined in Data.Winery.Test

Methods

testCases :: [Test]

(Tested a, Tested b) => Tested (Either a b)

Defined in Data.Winery.Test

Methods

testCases :: [Test]

(Tested a, Tested b) => Tested (a, b)

Defined in Data.Winery.Test

Methods

testCases :: [Test]

(Hashable k, Tested k, Tested a) => Tested (HashMap k a)

Defined in Data.Winery.Test

Methods

testCases :: [Test]

testCase

Arguments

:: (Show a, Eq a, Serialise a)

=> Schema

the schema

-> ByteString

serialised

-> a

expected

-> Test

Construct a test case.

Running tests

allTests :: forall a. (TestGen a, Tested a) => Map TypeRep [Test]

Gather all test cases involved in the specified type.

mergeTests :: Map TypeRep [Test] -> Test

Merge multiple tests into one.