Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

Implements common Haskell type classes using the constraint kinds pattern to allow constraints.

branch: master

Fetching latest commit…

Octocat-spinner-32-eaf2f5

Cannot retrieve the latest commit at this time

Octocat-spinner-32 src
Octocat-spinner-32 .gitignore
Octocat-spinner-32 ConstraintKinds.cabal
Octocat-spinner-32 README.md
README.md

ConstraintKinds

Implements common Haskell type classes using the ConstraintKinds extension to allow constraints. Currently, there are classes for Foldable, Functor, and Traversable and corresponding instances for [], Vector, and Vector.Unboxed. That's because those are what I've been using and I haven't gotten around to adding anything else.

Feel free to contribute your own.

Something went wrong with that request. Please try again.