https://github.com/lexi-lambda/type-assertions

Runtime type assertions for testing
https://github.com/lexi-lambda/type-assertions

Last synced: 9 months ago
JSON representation

Runtime type assertions for testing

• Host: GitHub
• URL: https://github.com/lexi-lambda/type-assertions
• Owner: lexi-lambda
• License: isc
• Created: 2016-11-29T18:21:18.000Z (about 9 years ago)
• Default Branch: master
• Last Pushed: 2017-06-05T20:20:10.000Z (over 8 years ago)
• Last Synced: 2024-05-09T07:17:00.071Z (over 1 year ago)
• Language: Haskell
• Homepage: http://hackage.haskell.org/package/type-assertions
• Size: 6.84 KB
• Stars: 1
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# type-assertions [![Build Status](https://travis-ci.org/lexi-lambda/type-assertions.svg?branch=master)](https://travis-ci.org/lexi-lambda/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][type-assertions].

[test-fixture]: http://hackage.haskell.org/package/test-fixture

[type-assertions]: http://hackage.haskell.org/package/type-assertions