type-functions 0.2.0.0 → 0.2.0.2
raw patch · 2 files changed
+18/−9 lines, 2 filesdep ~base
Dependency ranges changed: base
Files
- LICENSE +1/−0
- type-functions.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
type-functions.cabal view
@@ -1,16 +1,15 @@ Name: type-functions-Version: 0.2.0.0-Cabal-Version: >= 1.2.3+Version: 0.2.0.2+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/type-functions/-Bug-Reports: jeltsch@tu-cottbus.de-Package-URL: http://hackage.haskell.org/packages/archive/type-functions/0.2.0.0/type-functions-0.2.0.0.tar.gz+Homepage: http://darcs.wolfgang.jeltsch.info/haskell/type-functions+Package-URL: http://hackage.haskell.org/packages/archive/type-functions/0.2.0.2/type-functions-0.2.0.2.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 @*@ and whose codomain is @*@@@ -19,10 +18,19 @@ For detailed information, please refer to Subsection 3.2 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/type-functions/main++Source-Repository this+ type: darcs+ location: http://darcs.wolfgang.jeltsch.info/haskell/type-functions/main+ tag: type-functions-0.2.0.2+ Library- Build-Depends: base >= 3.0 && < 4.1,+ Build-Depends: base >= 3.0 && < 4.4, kinds >= 0.0.1 && < 0.1 Extensions: EmptyDataDecls FlexibleContexts