Test.Multivariant.Types.Solution

This module provides interpreter for solution.

Documentation

newtype Solution a b

Type for interpreter

Constructors

Solution

Fields

• solutions :: [a <-> b]

Instances

WithDescription Solution

Methods

withDescription :: Solution a b -> Text -> Solution a b

WithCornerCases Solution

Methods

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

WithInvert Solution

Methods

invert :: Solution a b -> Solution b a

Program Solution

Methods

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

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

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

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

getSolutions :: Solution b c -> [b -> c]

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