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?
This module provides a set of runtime assertions about types that propogates information back to the type system, using
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.