ISC licensed
Maintained by Alexis King

Module documentation for 0.1.0.0

This version can be pinned in stack with:[email protected]:2800278519ae64c162e20ec6a32c7cbaa57e52cd58361e5a747513bc6decd0ac,1462

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.

Depends on 1 package(full list with versions):