Test.TypeSpec

A tiny EDSL to write type-level-unit tests.

Documentation

type Expect = TypeSpec

An alias for TypeSpec.

type Explain does this = TypeSpec (It does this)

Another alias for TypeSpec (and also It)

type It's = It

type IsTheSameAs = ShouldBe

type Is = ShouldBe

type TheseAreEqual = ShouldBe

type IsNot = ShouldNotBe

type Isn't = ShouldNotBe

type IsNotTheSameAs = ShouldNotBe

type IsDifferentFrom = ShouldNotBe

type TheseAreNotEqual = ShouldNotBe

type IsTrue = ShouldBeTrue

type Therefore = ShouldBeTrue

type And = ShouldBeTrue

type IsFalse = ShouldBeFalse

type They message expectations = It message expectations

type Describe = It

type Context = It