Name:          records
Version:       0.1.1.5
Cabal-Version: >= 1.6
Build-Type:    Simple
License:       BSD3
License-File:  LICENSE
Copyright:     © 2007–2010 Brandenburgische Technische Universität Cottbus; © 2011 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.5/records-0.1.1.5.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.5

Library
    Build-Depends:   base           >= 3.0   && < 4.4,
                     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