Test.Multivariant.Types.Description

This module provides interpreter for description.

Documentation

newtype Description a b

Type for interpreter

Constructors

Description

Fields

• variants :: [Builder]

Instances

WithDescription Description

Methods

withDescription :: Description a b -> Text -> Description a b

WithCornerCases Description

Methods

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

Program Description

Methods

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

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

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

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

getDescription :: Description a b -> [Text]

Get a list of texts of variants