Copyright	(c) Anton Marchenko Mansur Ziatdinov 2016-2017
License	BSD-3
Maintainer	gltronred@gmail.com
Stability	provisional
Portability	POSIX
Safe Haskell	Safe
Language	Haskell2010

Test.Multivariant.Types

Contents

Description

This module exports all interpreters.

Synopsis

Interpreter for corner cases

Type of interpreter

Instances

WithDescription Cases Source #
Methods withDescription :: Cases a b -> Text -> Cases a b Source #
WithCornerCases Cases Source #
Methods withCornerCases :: Cases a b -> ([a], [b]) -> Cases a b Source #
WithInvert Cases Source #
Methods invert :: Cases a b -> Cases b a Source #
Program Cases Source #
Methods step :: (a <-> b) -> Cases a b Source # (~>) :: Cases a b -> Cases b c -> Cases a c Source # (<***>) :: Cases a1 b1 -> Cases a2 b2 -> Cases (a1, a2) (b1, b2) Source # (<+++>) :: Cases a b -> Cases a b -> Cases a b Source #

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

Interpreter for description

Type for interpreter

Instances

WithDescription Description Source #
Methods withDescription :: Description a b -> Text -> Description a b Source #
WithCornerCases Description Source #
Methods withCornerCases :: Description a b -> ([a], [b]) -> Description a b Source #
Program Description Source #
Methods step :: (a <-> b) -> Description a b Source # (~>) :: Description a b -> Description b c -> Description a c Source # (<***>) :: Description a1 b1 -> Description a2 b2 -> Description (a1, a2) (b1, b2) Source # (<+++>) :: Description a b -> Description a b -> Description a b Source #

Get a list of texts of variants

Type for interpreter

Instances

WithDescription Solution Source #
Methods withDescription :: Solution a b -> Text -> Solution a b Source #
WithCornerCases Solution Source #
Methods withCornerCases :: Solution a b -> ([a], [b]) -> Solution a b Source #
WithInvert Solution Source #
Methods invert :: Solution a b -> Solution b a Source #
Program Solution Source #
Methods step :: (a <-> b) -> Solution a b Source # (~>) :: Solution a b -> Solution b c -> Solution a c Source # (<***>) :: Solution a1 b1 -> Solution a2 b2 -> Solution (a1, a2) (b1, b2) Source # (<+++>) :: Solution a b -> Solution a b -> Solution a b Source #

Extract a list of solutions (functions that map input to output)