Test.Multivariant.Types.Cases

This module provides interpreter for corner cases.

Documentation

data Case a b

Constructors

Case

Fields

• caseTransform :: a <-> b
• caseCorner :: [(a, b)]

newtype Cases a b

Type of interpreter

Constructors

Cases

Fields

• unCases :: [Case a b]

Instances

WithDescription Cases

Methods

withDescription :: Cases a b -> Text -> Cases a b

WithCornerCases Cases

Methods

withCornerCases :: Cases a b -> ([a], [b]) -> Cases a b

WithInvert Cases

Methods

invert :: Cases a b -> Cases b a

Program Cases

Methods

step :: (a <-> b) -> Cases a b

(~>) :: Cases a b -> Cases b c -> Cases a c

(<***>) :: Cases a1 b1 -> Cases a2 b2 -> Cases (a1, a2) (b1, b2)

(<+++>) :: Cases a b -> Cases a b -> Cases a b

getCases

Arguments

:: (Eq a, Eq b)

=> Cases a b

Interpreter

-> [[(a, b)]]

List (for each variant) of lists of pairs of input and output.

Get a list of corner cases for each variant

after :: Case a b -> Case b c -> Case a c

prod :: Case a1 b1 -> Case a2 b2 -> Case (a1, a2) (b1, b2)

appendCases :: [a] -> [b] -> Case a b -> Case a b