Test.TypeSpec.ShouldBe

Type level assertions on type equality.

Documentation

data ShouldBe :: actual -> expected -> Type

State that two types or type constructs are boiled down to the same type.

Instances

PrettyTypeSpec Type (ShouldBe expected actual a b)

Methods

prettyTypeSpec :: proxy t -> Doc

type EvalExpectation Type (ShouldBe t t1 actual expected)

type EvalExpectation Type (ShouldBe t t1 actual expected) = If (Either ErrorMessage Type) (EqExtra t t1 actual expected) (OK ErrorMessage Type (ShouldBe t t1 actual expected)) (FAILED ErrorMessage Type ((:$$:) ((:<>:) (Text "Expected type: ") (ShowType t expected)) ((:<>:) (Text "Actual type: ") (ShowType t1 actual))))

type EvalExpectation Type (ButNot shouldntBe Type (ShouldBe t t1 actual expected) other)

type EvalExpectation Type (ButNot shouldntBe Type (ShouldBe t t1 actual expected) other) = If (Either ErrorMessage Type) (EqExtra t t1 actual expected) (If (Either ErrorMessage Type) (EqExtra t shouldntBe other expected) (FAILED ErrorMessage Type ((:$$:) ((:$$:) ((:$$:) (Text "Expected type: ") ((:<>:) (Text " ") (ShowType t expected))) (Text "to be different from: ")) ((:<>:) (Text " ") (ShowType shouldntBe other)))) (OK ErrorMessage Type (ButNot shouldntBe Type (ShouldBe t t1 actual expected) other))) (FAILED ErrorMessage Type ((:$$:) ((:<>:) (Text "Expected type: ") (ShowType t expected)) ((:<>:) (Text "Actual type: ") (ShowType t1 actual))))

data ShouldNotBe :: actual -> expected -> Type

State that two types or type constructs are NOT the same type.

Instances

PrettyTypeSpec Type (ShouldNotBe expected actual a b)

Methods

prettyTypeSpec :: proxy t -> Doc

type EvalExpectation Type (ShouldNotBe expected actual actual1 expected1)

type EvalExpectation Type (ShouldNotBe expected actual actual1 expected1) = If (Either ErrorMessage Type) (EqExtra actual expected expected1 actual1) (FAILED ErrorMessage Type ((:$$:) ((:$$:) ((:$$:) (Text "Expected type: ") ((:<>:) (Text " ") (ShowType expected expected1))) (Text "to be different from: ")) ((:<>:) (Text " ") (ShowType actual actual1)))) (OK ErrorMessage Type (ShouldNotBe expected actual actual1 expected1))

data ShouldBeTrue :: expectation -> Type

State that a type is equal to the type level True.

Instances

PrettyTypeSpec Type (ShouldBeTrue expectation a)

Methods

prettyTypeSpec :: proxy t -> Doc

type EvalExpectation Type (ShouldBeTrue t t1)

type EvalExpectation Type (ShouldBeTrue t t1) = If (Either ErrorMessage Type) (EqExtra Bool t t1 True) (OK ErrorMessage Type (ShouldBeTrue t t1)) (FAILED ErrorMessage Type ((:<>:) (Text "Should have been 'True: ") (ShowType t t1)))

data ShouldBeFalse :: expectation -> Type

State that a type is equal to the type level False.

Instances

PrettyTypeSpec Type (ShouldBeFalse expectation a)

Methods

prettyTypeSpec :: proxy t -> Doc

type EvalExpectation Type (ShouldBeFalse t t1)

type EvalExpectation Type (ShouldBeFalse t t1) = If (Either ErrorMessage Type) (EqExtra Bool t t1 False) (OK ErrorMessage Type (ShouldBeFalse t t1)) (FAILED ErrorMessage Type ((:<>:) (Text "Should have been 'False: ") (ShowType t t1)))

data ButNot :: shouldBe -> shouldntBe -> Type

State that one type is different to two other types. This must always be used right next to a ShouldBe pair, otherwise this will not work.

Instances

(~) Type a (ShouldBe expected actual a0 a1) => PrettyTypeSpec Type (ButNot shouldntBe Type a b)

Methods

prettyTypeSpec :: proxy t -> Doc

type EvalExpectation Type (ButNot shouldntBe Type (ShouldBe t t1 actual expected) other)

type EvalExpectation Type (ButNot shouldntBe Type (ShouldBe t t1 actual expected) other) = If (Either ErrorMessage Type) (EqExtra t t1 actual expected) (If (Either ErrorMessage Type) (EqExtra t shouldntBe other expected) (FAILED ErrorMessage Type ((:$$:) ((:$$:) ((:$$:) (Text "Expected type: ") ((:<>:) (Text " ") (ShowType t expected))) (Text "to be different from: ")) ((:<>:) (Text " ") (ShowType shouldntBe other)))) (OK ErrorMessage Type (ButNot shouldntBe Type (ShouldBe t t1 actual expected) other))) (FAILED ErrorMessage Type ((:$$:) ((:<>:) (Text "Expected type: ") (ShowType t expected)) ((:<>:) (Text "Actual type: ") (ShowType t1 actual))))