Name:          cflp
Version:       2009.1.15.1
Cabal-Version: >= 1.6
Synopsis:      Constraint Functional-Logic Programming in Haskell
Description:   This package provides combinators for constraint
               functional-logic programming ((C)FLP) in Haskell. The 
               combinators might later be used as a target language for 
               compiling programs written in an FLP language like Curry 
               or Toy. Another application of FLP is demand driven 
               test-case generation.
Category:      Control
License:       BSD3
License-File:  LICENSE
Author:        Sebastian Fischer
Maintainer:    sebf@informatik.uni-kiel.de
Bug-Reports:   mailto:sebf@informatik.uni-kiel.de
Homepage:      http://www-ps.informatik.uni-kiel.de/~sebf/projects/cflp.html
Build-Type:    Custom
Stability:     alpha

Extra-Source-Files: README, INSTALL, Makefile, configure, Test.lhs

Library
  Build-Depends:    base >= 4, 
                    containers, 
                    value-supply, 
                    mtl, 
                    syb, 
                    HUnit
  Exposed-Modules:  Control.CFLP
  Other-Modules:    Control.Monad.Update,
                    Control.Monad.Trans.Update,
                    Control.Constraint.Choice,
                    Data.LazyNondet,
                    Data.LazyNondet.Types,
                    Data.LazyNondet.Types.Bool,
                    Data.LazyNondet.Types.List,
                    Data.LazyNondet.UniqueID,
                    Data.LazyNondet.Matching,
                    Data.LazyNondet.Narrowing,
                    Data.LazyNondet.Primitive,
                    Data.LazyNondet.HigherOrder,
                    Data.LazyNondet.Generic,
                    Control.CFLP.Tests,
                    Control.CFLP.Tests.CallTimeChoice
                    Control.CFLP.Tests.HigherOrder
  Hs-Source-Dirs:   src
  Extensions:       NoMonomorphismRestriction,
                    MultiParamTypeClasses,
                    FlexibleInstances,
                    FlexibleContexts,
                    NoMonoPatBinds,
                    PatternGuards,
                    TypeFamilies,
                    RankNTypes
  Ghc-Options:      -Wall -fno-warn-orphans -fno-warn-name-shadowing

Source-Repository head
  type:     git
  location: git://github.com/sebfisch/cflp.git