Popularity
2.8
Declining
Activity
0.0
Stable
1
4
0

Monthly Downloads: 4
Programming language: Haskell
License: ISC License
Tags: Testing     Type    
Latest version: v0.1.1.0

type-assertions alternatives and similar packages

Based on the "type" category.
Alternatively, view type-assertions alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of type-assertions or a related project?

Add another 'type' Package

README

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.