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 x) => PrettyTypeSpec (It msg x :: Type)

Defined in Test.TypeSpec.Label

Methods

prettyTypeSpec :: proxy (It msg x) -> Doc

type EvalExpectation (It message expectation2 :: Type)

Defined in Test.TypeSpec.Label

type EvalExpectation (It message expectation2 :: Type) = PrependToError (Text message :$$: Text " ") (EvalExpectation expectation2) >> OK (It message expectation2)