Safe Haskell	None
Language	Haskell2010

Test.TypeSpec.Group

Description

Composed Expectations.

Synopsis

Documentation

data expectation1 -/- expectation2 infixr 1 Source #

Combine two expectations.

Make a collection of expectations:

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

Instances

(PrettyTypeSpec expectation1, PrettyTypeSpec expectation2) => PrettyTypeSpec (expectation1 -/- expectation2 :: Type) Source #	Pretty Printing Instance.
Instance details Defined in Test.TypeSpec.Group Methods prettyTypeSpec :: proxy (expectation1 -/- expectation2) -> Doc Source #
type EvalExpectation (expectation -/- expectations :: Type) Source #
Instance details Defined in Test.TypeSpec.Group type EvalExpectation (expectation -/- expectations :: Type) = (TyCon2 ((-/-) :: a2 -> a1 -> Type) <$> EvalExpectation expectation) <*> EvalExpectation expectations