| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.TypeSpec.Core
Description
Core of the TypeSpec abstractions. Import to add custom instances.
- data TypeSpec expectation where
- Valid :: Try (EvalExpectation expectation) ~ expectation => TypeSpec expectation
- Invalid :: DontTry (EvalExpectation expectation) => TypeSpec expectation
- type family EvalExpectation (expectation :: k) :: Result k
- class PrettyTypeSpec t where
- prettyIndentation :: Int
Core Data Type
data TypeSpec expectation where #
A type specification.
Constructors
| Valid :: Try (EvalExpectation expectation) ~ expectation => TypeSpec expectation | Expect the given expectations to hold. If the compiler does not reject it - the expectation seem plausible. |
| Invalid :: DontTry (EvalExpectation expectation) => TypeSpec expectation | Expect the given expectations to **NOT** hold. If the compiler does not reject it - the expectation seem indeed implausible. |
Instances
| PrettyTypeSpec k t => Show (TypeSpec k t) # | |
Expectations
type family EvalExpectation (expectation :: k) :: Result k #
An open family of type level expectation evaluators, that return either ()
or an ErrorMessage.
Instances
| type EvalExpectation Type (ShouldBeFalse t t1) # | |
| type EvalExpectation Type (ShouldBeTrue t t1) # | |
| type EvalExpectation Type (It expectation message expectation1) # | |
| type EvalExpectation Type (ShouldNotBe expected actual actual1 expected1) # | |
| type EvalExpectation Type (ShouldBe t t1 actual expected) # | |
| type EvalExpectation Type (ButNot shouldntBe Type (ShouldBe t t1 actual expected) other) # | |
| type EvalExpectation [k] ([] k) # | |
| type EvalExpectation [a] ((:) a expectation rest) # | |
| type EvalExpectation * ((-/-) a a1 expectation expectations) # | |
| type EvalExpectation (a, a1) ((,) a a1 a2 b) # | |
Pretty Printing Support
class PrettyTypeSpec t where #
Minimal complete definition
Methods
prettyTypeSpec :: proxy t -> Doc #
Instances
| PrettyTypeSpec Type (ShouldBeFalse expectation a) # | |
| PrettyTypeSpec Type (ShouldBeTrue expectation a) # | |
| (KnownSymbol msg, PrettyTypeSpec expectation x) => PrettyTypeSpec Type (It expectation msg x) # | |
| PrettyTypeSpec Type (ShouldNotBe expected actual a b) # | |
| PrettyTypeSpec Type (ShouldBe expected actual a b) # | |
| (~) Type a (ShouldBe expected actual a0 a1) => PrettyTypeSpec Type (ButNot shouldntBe Type a b) # | |
| PrettyTypeSpec [k] ([] k) # | |
| (PrettyTypeSpec a expectation, PrettyTypeSpec [a] rest) => PrettyTypeSpec [a] ((:) a expectation rest) # | |
| (PrettyTypeSpec k1 expectation1, PrettyTypeSpec k expectation2) => PrettyTypeSpec * ((-/-) k k1 expectation1 expectation2) # | Pretty Printing Instance. |
| (PrettyTypeSpec k1 expectation1, PrettyTypeSpec k expectation2) => PrettyTypeSpec (k1, k) ((,) k1 k expectation1 expectation2) # | |