type-assertions

Runtime type assertions for testing

https://github.com/lexi-lambda/type-assertions#readme

LTS Haskell 11.22:0.1.0.0
Stackage Nightly 2018-03-12:0.1.0.0
Latest on Hackage:0.1.0.0

See all snapshots type-assertions appears in

ISC licensed
Maintained by Alexis King
This version can be pinned in stack with:type-assertions-0.1.0.0@sha256:2800278519ae64c162e20ec6a32c7cbaa57e52cd58361e5a747513bc6decd0ac,1462

Module documentation for 0.1.0.0

  • Test
    • Test.TypeAssertions
Depends on 1 package(full list with versions):
base

type-assertions Build Status

This module provides a set of runtime assertions about types that propogates information back to the type system, using Data.Typeable and Data.Type.Equality. These assertions are intended to be used in a test suite (and exclusively in a test suite) to create monomorphic implementations of polymorphic functions. Specifically, this is intended to be used with a package like test-fixture to stub out polymorphic typeclass methods with monomorphic implementations.

For more information, see the documentation on Hackage.