multivariant-0.1.0.1: Multivariant assignments generation language

Copyright(c) Anton Marchenko Mansur Ziatdinov 2016-2017
LicenseBSD-3
Maintainergltronred@gmail.com
Stabilityprovisional
PortabilityPOSIX
Safe HaskellSafe
LanguageHaskell2010

Test.Multivariant.Types.Solution

Description

This module provides interpreter for solution.

Synopsis

Documentation

newtype Solution a b Source #

Type for interpreter

Constructors

Solution 

Fields

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 #

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

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