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):

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.