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

Version on this page:
LTS Haskell 9.1:
Stackage Nightly 2017-08-17:
Latest on Hackage:
ISC licensed
Maintained by Alexis King

Module documentation for

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