Name:          type-functions
Version:       0.2.0.4
Cabal-Version: >= 1.8
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.4/type-functions-0.2.0.4.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 == 8.0.1

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.4

Library
    Build-Depends:   base  >= 3.0   && < 5,
                     kinds >= 0.0.1 && < 0.1
    Extensions:      EmptyDataDecls
                     FlexibleContexts
                     PackageImports
                     Rank2Types
                     TypeFamilies
                     TypeOperators
                     UndecidableInstances
    Exposed-Modules: Data.TypeFun
    HS-Source-Dirs:  src