Test.TypeSpec.Group

Composed Expectations.

Documentation

data expectation1 -/- expectation2 infixr 1

Combine two expectations.

Make a collection of expectations:

  (2 + 2)  `Is`     4
                          -/-
  (4 + 4)  `Is`     8
                          -/-
  'True    `IsNot` 'False

Instances

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

Pretty Printing Instance.

Methods

prettyTypeSpec :: proxy t -> Doc

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

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