Test.TypeSpec.Group

Group expectations

Documentation

data expectation1 -/- expectation2 infixr 1

A cons like operator. Make a list of expectations. Use this to chain together any expectations especially those using '(~~~)' or '(-*)', since it has a lower precedence than both.

Instances

(PrettyTypeSpec k expectation1, PrettyTypeSpec k1 expectation2) => PrettyTypeSpec * ((-/-) k k1 expectation1 expectation2)

Methods

prettyTypeSpec :: proxy t -> Doc

type EvalExpectation * ((-/-) a1 a expectation expectations)

type EvalExpectation * ((-/-) a1 a expectation expectations) = (<*>) (Either ErrorMessage) a * ((<$>) (Either ErrorMessage) a1 ((~>) a *) (TyCon2 a1 a * ((-/-) a1 a)) (EvalExpectation a1 expectation)) (EvalExpectation a expectations)

type (-*) expectation1 expectation2 = expectation1 -/- expectation2 infixr 3

A cons like operator. Make a list of expectations. Use this to chain together anything below or inside '(-/-)' and '(~~~)' parts. The precedence of this operator is higher that that of '(-/-)'.