The type-assertions package

[Tags:library, test]

This package provides a way to make runtime assertions about types that cooperate with the typechecker, intended for use in testing. For more information, see the module documentation for Test.TypeAssertions.

[Skip to Readme]


Dependencies base (>= && <5) [details]
License ISC
Maintainer Alexis King
Category Testing
Home page
Bug tracker
Source repository head: git clone
Uploaded Tue Nov 29 19:22:37 UTC 2016 by lexi_lambda
Distributions LTSHaskell:, NixOS:, Stackage:, Tumbleweed:
Downloads 39 total (4 in the last 30 days)
0 []
Status Docs available [build log]
Last success reported on 2016-11-29 [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees

Readme for type-assertions

Readme for type-assertions-

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.