HaskRel-0.1.0.2: HaskRel.cabal

name:                HaskRel

version:             0.1.0.2

synopsis:            HaskRel, Haskell as a DBMS with support for the relational
                     algebra

description:
  HaskRel aims to define those elements of the relational theory of database
  management that Haskell can accommodate, thus enabling Haskell (or more
  precisely GHC) in its own right as a DBMS with first-class support for those
  parts of the relational model. It does not qualify as a proper RDBMS since it
  as-is only defines the relational algebra, relational variables and relational
  assignment. It does not define the relational calculus, views, constraints and
  transactions (beyond the fundamental requirement that the tuples of relations
  are to be unique), certain operators like relation valued aggregate operators,
  nor a few minor or even deprecated operators such as DIVIDE. The implemented
  parts are decently complete even if there are major implementation
  shortcomings that prevent this from being practically usable as an actual
  DBMS.
  .
  I refer to it as "/first-class/" since the types of the relational model are
  first-class types to Haskell, and the Haskell type system is able to induce
  the type resulting of relational expressions (for instance that a natural join
  of two relations results in a relation with a heading that is the setwise
  union of the headings of the original relations).
  .
  == The HaskRel library
  .
  Not all modules of this library are relevant to gain an understanding of how
  it functions, the next part to go to at this point is
  "Database.HaskRel.RDBMS", and the modules it reexports. See also README.md.

license:             GPL-2

license-file:        LICENSE

author:              Thor Michael Støre

maintainer:          thormichael@gmail.com

copyright:           Thor Michael Støre 2015

category:            Database

build-type:          Simple

extra-source-files:  examples/*.hs, examples/*.sh, examples/SuppliersPartsDB/*.hs

data-files:          README.md, examples/SuppliersPartsDB/README.md, 
                     examples/SuppliersPartsDB/*.rv

cabal-version:       >=1.10

tested-with:         GHC==7.10.2

source-repository head
  type:     git
  location: https://github.com/thormick/HaskRel

library
  exposed-modules:     Database.HaskRel.RDBMS,
                       Database.HaskRel.FWTabulation,
                       Database.HaskRel.HFWTabulation,
                       Database.HaskRel.Order,
                       Database.HaskRel.Support,
                       Database.HaskRel.Relational.Algebra,
                       Database.HaskRel.Relational.Assignment,
                       Database.HaskRel.Relational.Definition,
                       Database.HaskRel.Relational.Expression,
                       Database.HaskRel.Relational.Unicode,
                       Database.HaskRel.Relational.Variable
  
  default-extensions:  DataKinds
  
  other-extensions:    TypeOperators, FlexibleContexts, ScopedTypeVariables,
                       PolyKinds, TypeFamilies, FlexibleInstances,
                       MultiParamTypeClasses, UndecidableInstances,
                       KindSignatures
  
  build-depends:       base >=4.8 && <4.9, HList >=0.4 && <0.5,
                       containers >=0.5 && <0.6, tagged >=0.8 && <0.9,
                       directory >=1.2 && <1.3, ghc-prim >=0.4 && <0.5
  
  hs-source-dirs:      src
  
  default-language:    Haskell2010