Cabal revisions of records-0.1.1.6
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-Name: records-Version: 0.1.1.6-Cabal-Version: >= 1.6-Build-Type: Simple-License: BSD3-License-File: LICENSE-Copyright: © 2007–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/records-Package-URL: http://hackage.haskell.org/packages/archive/records/0.1.1.6/records-0.1.1.6.tar.gz-Synopsis: A flexible record system-Description: This package provides a flexible record system which has some novel features:- .- * Using record type families, the type system can be used to describe relationships- between field types.- .- * Record scheme induction permits the implementation of polymorphic record- combinators that work on whole records instead of only a fixed set of fields.- .- * Subkind polymorphism for sorts makes it possible to impose varying restrictions on- the structure of field types.- .- For detailed information, please refer to the paper- /Generic Record Combinators with Static Type Checking/.-Category: Data, Records-Tested-With: GHC == 7.0.4--Source-Repository head- type: darcs- location: http://darcs.wolfgang.jeltsch.info/haskell/records/main--Source-Repository this- type: darcs- location: http://darcs.wolfgang.jeltsch.info/haskell/records/main- tag: records-0.1.1.6--Library- Build-Depends: base >= 3.0 && < 5,- kinds >= 0.0.1 && < 0.1,- type-functions >= 0.1 && < 0.3- Extensions: EmptyDataDecls- FlexibleContexts- FlexibleInstances- FunctionalDependencies- MultiParamTypeClasses- OverlappingInstances- RankNTypes- ScopedTypeVariables- TypeFamilies- TypeOperators- UndecidableInstances- Exposed-Modules: Data.Record- Data.Record.Combinators- HS-Source-Dirs: src+Name: records +Version: 0.1.1.6 +x-revision: 1 +-- https://github.com/haskell-infra/hackage-trustees/issues/70 +Cabal-Version: >= 1.6 +Build-Type: Simple +License: BSD3 +License-File: LICENSE +Copyright: © 2007–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/records +Package-URL: http://hackage.haskell.org/packages/archive/records/0.1.1.6/records-0.1.1.6.tar.gz +Synopsis: A flexible record system +Description: This package provides a flexible record system which has some novel features: + . + * Using record type families, the type system can be used to describe relationships + between field types. + . + * Record scheme induction permits the implementation of polymorphic record + combinators that work on whole records instead of only a fixed set of fields. + . + * Subkind polymorphism for sorts makes it possible to impose varying restrictions on + the structure of field types. + . + For detailed information, please refer to the paper + /Generic Record Combinators with Static Type Checking/. +Category: Data, Records +Tested-With: GHC == 7.0.4 + +Source-Repository head + type: darcs + location: http://darcs.wolfgang.jeltsch.info/haskell/records/main + +Source-Repository this + type: darcs + location: http://darcs.wolfgang.jeltsch.info/haskell/records/main + tag: records-0.1.1.6 + +Library + Build-Depends: base >= 3.0 && < 4.8, + kinds >= 0.0.1 && < 0.1, + type-functions >= 0.1 && < 0.3 + Extensions: EmptyDataDecls + FlexibleContexts + FlexibleInstances + FunctionalDependencies + MultiParamTypeClasses + OverlappingInstances + RankNTypes + ScopedTypeVariables + TypeFamilies + TypeOperators + UndecidableInstances + Exposed-Modules: Data.Record + Data.Record.Combinators + HS-Source-Dirs: src