type-assertions: Runtime type assertions for testing

[ library, testing ] [ Propose Tags ]

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]
Versions 0.1.0.0
Dependencies base (>=4.9.0.0 && <5) [details]
License ISC
Author
Maintainer Alexis King
Category Testing
Home page https://github.com/lexi-lambda/type-assertions#readme
Bug tracker https://github.com/lexi-lambda/type-assertions/issues
Source repo head: git clone https://github.com/lexi-lambda/type-assertions
Uploaded by lexi_lambda at Tue Nov 29 19:22:37 UTC 2016
Distributions LTSHaskell:0.1.0.0, NixOS:0.1.0.0, openSUSE:0.1.0.0
Downloads 272 total (8 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2016-11-29 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for type-assertions-0.1.0.0

[back to package description]

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.