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?
|
Static code analysis for 29 languages.
sponsored
www.sonarqube.org
|
|
Access the most powerful time series database as a service
sponsored
www.influxdata.com
|
README
type-assertions 
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.