packages feed

Cabal revisions of type-functions-0.2.0.3

Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.

revision 1
-Name:          type-functions-Version:       0.2.0.3-Cabal-Version: >= 1.6-Build-Type:    Simple-License:       BSD3-License-File:  LICENSE-Copyright:     © 2009–2010 Brandenburgische Technische Universität Cottbus;-               © 2011–2012 Wolfgang Jeltsch-Author:        Wolfgang Jeltsch-Maintainer:    wolfgang@cs.ioc.ee-Stability:     provisional-Homepage:      http://darcs.wolfgang.jeltsch.info/haskell/type-functions-Package-URL:   http://hackage.haskell.org/packages/archive/type-functions/0.2.0.3/type-functions-0.2.0.3.tar.gz-Synopsis:      Emulation of type-level functions-Description:   This package supports emulation of type-level functions using defunctionalization.-               All functions whose domain is a subkind of&#xA0;@*@ and whose codomain is&#xA0;@*@-               itself can be represented.-               .-               For detailed information, please refer to Subsection&#xA0;3.2 of the paper-               /Generic Record Combinators with Static Type Checking/.-Category:      Type System-Tested-With:   GHC == 7.0.4--Source-Repository head-    type:     darcs-    location: http://darcs.wolfgang.jeltsch.info/haskell/type-functions/main--Source-Repository this-    type:     darcs-    location: http://darcs.wolfgang.jeltsch.info/haskell/type-functions/main-    tag:      type-functions-0.2.0.3--Library-    Build-Depends:   base  >= 3.0   && < 5,-                     kinds >= 0.0.1 && < 0.1-    Extensions:      EmptyDataDecls-                     FlexibleContexts-                     Rank2Types-                     TypeFamilies-                     TypeOperators-                     UndecidableInstances-    Exposed-Modules: Data.TypeFun-    HS-Source-Dirs:  src+Name:          type-functions
+Version:       0.2.0.3
+x-revision: 1
+Cabal-Version: >= 1.6
+Build-Type:    Simple
+License:       BSD3
+License-File:  LICENSE
+Copyright:     © 2009–2010 Brandenburgische Technische Universität Cottbus;
+               © 2011–2012 Wolfgang Jeltsch
+Author:        Wolfgang Jeltsch
+Maintainer:    wolfgang@cs.ioc.ee
+Stability:     provisional
+Homepage:      http://darcs.wolfgang.jeltsch.info/haskell/type-functions
+Package-URL:   http://hackage.haskell.org/packages/archive/type-functions/0.2.0.3/type-functions-0.2.0.3.tar.gz
+Synopsis:      Emulation of type-level functions
+Description:   This package supports emulation of type-level functions using defunctionalization.
+               All functions whose domain is a subkind of&#xA0;@*@ and whose codomain is&#xA0;@*@
+               itself can be represented.
+               .
+               For detailed information, please refer to Subsection&#xA0;3.2 of the paper
+               /Generic Record Combinators with Static Type Checking/.
+Category:      Type System
+Tested-With:   GHC == 7.0.4
+
+Source-Repository head
+    type:     darcs
+    location: http://darcs.wolfgang.jeltsch.info/haskell/type-functions/main
+
+Source-Repository this
+    type:     darcs
+    location: http://darcs.wolfgang.jeltsch.info/haskell/type-functions/main
+    tag:      type-functions-0.2.0.3
+
+Library
+    Build-Depends:   base  >= 3.0   && < 4.9,
+                     kinds >= 0.0.1 && < 0.1
+    Extensions:      EmptyDataDecls
+                     FlexibleContexts
+                     Rank2Types
+                     TypeFamilies
+                     TypeOperators
+                     UndecidableInstances
+    Exposed-Modules: Data.TypeFun
+    HS-Source-Dirs:  src