ConstraintKinds.cabal

Name:                ConstraintKinds
Version:             1.2.0.0
Synopsis:            Repackages standard type classes with the ConstraintKinds extension
Description:         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.
Category:            Control
License:             BSD3
Author:              Mike izbicki
Maintainer:          mike@izbicki.me
Build-Type:          Simple
Cabal-Version:       >=1.8

source-repository head
  type:     git
  location: https://github.com/mikeizbicki/ConstraintKinds

Library
    Build-Depends:      
        base                    >= 3 && < 5,
        ghc-prim,
        vector                  >= 0.9,
        dlist                   >= 0.5
        
    hs-source-dirs:     src
    ghc-options:        -rtsopts -auto-all -caf-all
    Exposed-modules:
        Control.ConstraintKinds
        Control.ConstraintKinds.Applicative
        --Control.ConstraintKinds.Filterable
        Control.ConstraintKinds.Foldable
        Control.ConstraintKinds.Functor
        Control.ConstraintKinds.Monad
        --Control.ConstraintKinds.Partitionable
        Control.ConstraintKinds.Pointed
        --Control.ConstraintKinds.Traversable