The ConstraintKinds package

[ Tags: bsd3, control, library ] [ Propose Tags ]

This module provides more flexible versions of common type classes that use the ConstraintKinds extension. This allows us to make types that require constraints instances of the popular classes. For example, we reimplement Functor and Foldable using the ContraintKinds style. This allows us to manipulate lists and unboxed vectors using the same functions.

This library needs a lot of work before it can be considered ready for others to use. Right now, only those instances needed by the HLearn library have been implemented in this library.

Properties

Versions 0.0.1, 0.0.1.1, 0.0.1.2, 0.0.1.3, 0.0.2.0, 1.1.0.0, 1.3.0
Dependencies base (>=3 && <5), dlist (>=0.5), ghc-prim, vector (>=0.9) [details]
License BSD3
Author Mike izbicki
Maintainer mike@izbicki.me
Category Control
Source repository head: git clone https://github.com/mikeizbicki/ConstraintKinds
Uploaded Sat Jan 12 00:31:04 UTC 2013 by MikeIzbicki
Distributions NixOS:1.3.0
Downloads 3011 total (42 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees