kinds 0.0.1.2 → 0.0.1.4
raw patch · 2 files changed
+18/−9 lines, 2 filesdep ~base
Dependency ranges changed: base
Files
- LICENSE +1/−0
- kinds.cabal +17/−9
LICENSE view
@@ -1,4 +1,5 @@ Copyright © 2009–2010 Brandenburgische Technische Universität Cottbus+Copyright © 2011 Wolfgang Jeltsch All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted
kinds.cabal view
@@ -1,16 +1,15 @@ Name: kinds-Version: 0.0.1.2-Cabal-Version: >= 1.2.3+Version: 0.0.1.4+Cabal-Version: >= 1.6 Build-Type: Simple License: BSD3 License-File: LICENSE-Copyright: © 2009–2010 Brandenburgische Technische Universität Cottbus+Copyright: © 2009–2010 Brandenburgische Technische Universität Cottbus; © 2011 Wolfgang Jeltsch Author: Wolfgang Jeltsch-Maintainer: jeltsch@tu-cottbus.de+Maintainer: wolfgang@cs.ioc.ee Stability: provisional-Homepage: http://community.haskell.org/~jeltsch/kinds/-Bug-Reports: jeltsch@tu-cottbus.de-Package-URL: http://hackage.haskell.org/packages/archive/kinds/0.0.1.1/kinds-0.0.1.1.tar.gz+Homepage: http://darcs.wolfgang.jeltsch.info/haskell/kinds+Package-URL: http://hackage.haskell.org/packages/archive/kinds/0.0.1.4/kinds-0.0.1.4.tar.gz Synopsis: Emulation of subkinds and subkind polymorphism Description: Subkinds are the kind-level analog to subtypes. A kind denotes a set of types, and a subkind of some base kind denotes a subset of the base kind’s set of types.@@ -26,10 +25,19 @@ For detailed information, please refer to Section 6 of the paper /Generic Record Combinators with Static Type Checking/. Category: Type System-Tested-With: GHC == 6.12.1+Tested-With: GHC == 7.0.4 +Source-Repository head+ type: darcs+ location: http://darcs.wolfgang.jeltsch.info/haskell/kinds/main++Source-Repository this+ type: darcs+ location: http://darcs.wolfgang.jeltsch.info/haskell/kinds/main+ tag: kinds-0.0.1.4+ Library- Build-Depends: base >= 3.0 && < 4.1+ Build-Depends: base >= 3.0 && < 4.4 Extensions: FlexibleInstances MultiParamTypeClasses Rank2Types