@hackage / type-assertions

Runtime type assertions for testing

Latest0.1.0.0

About

Metadata

  • Last updated , by lexi_lambda
  • License ISC
  • Categories Testing

  • Maintained by: Alexis King

  • Lottery factor: 0

Links

Installation

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.