type-assertions

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

Version on this page:0.1.0.0
LTS Haskell 9.10:0.1.0.0
Stackage Nightly 2017-10-22:0.1.0.0
Latest on Hackage:0.1.0.0
ISC licensed
Maintained by Alexis King

Module documentation for 0.1.0.0

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:
Used by 1 package:
comments powered byDisqus