Safe Haskell | None |
---|---|
Language | Haskell2010 |
Test.TypeSpec.ShouldBe
Description
Type level assertions on type equality.
- data ShouldBe :: actual -> expected -> Type
- data ShouldNotBe :: actual -> expected -> Type
- data ShouldBeTrue :: expectation -> Type
- data ShouldBeFalse :: expectation -> Type
- data ButNot :: shouldBe -> shouldntBe -> Type
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) # | |
type EvalExpectation Type (ShouldBe t t1 actual expected) # | |
type EvalExpectation Type (ButNot shouldntBe Type (ShouldBe t t1 actual expected) other) # | |
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) # | |
type EvalExpectation 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) # | |
type EvalExpectation Type (ShouldBeTrue t t1) # | |
data ShouldBeFalse :: expectation -> Type #
State that a type is equal to the type level False
.
Instances
PrettyTypeSpec Type (ShouldBeFalse expectation a) # | |
type EvalExpectation Type (ShouldBeFalse t t1) # | |