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 @*@ and whose codomain is @*@- itself can be represented.- .- 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 == 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 @*@ and whose codomain is @*@ + itself can be represented. + . + 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 == 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