Test.TypeSpec.Label

Labels for expectations.

Documentation

data It :: Symbol -> expectation -> Type

Add a type level string as label or longer descripton around expectations. This is analog to the it function in the hspec package.

Instances

(KnownSymbol msg, PrettyTypeSpec expectation x) => PrettyTypeSpec Type (It expectation msg x)

Methods

prettyTypeSpec :: proxy t -> Doc

type EvalExpectation Type (It expectation message expectation1)

type EvalExpectation Type (It expectation message expectation1) = (>>) Type (Either ErrorMessage) expectation (PrependToError expectation ((:$$:) (Text message) (Text " ")) (EvalExpectation expectation expectation1)) (OK ErrorMessage Type (It expectation message expectation1))