cabal-version: >=1.8
Name:           FerryCore
Version:        0.4.6.1
category:       Database
Synopsis:       Ferry Core Components
Description:    The Ferry 2.0 Core
                This package contains the core components of the Ferry compiler [1]. It lacks a parser
                for the ferry language and the normalisation ferry front, and the conversion of ferry
                front language to the ferry core language.
                . 
                It exposes the compiler parts that transform (un)typed ferry core into table algebra [2].
                When provided an untyped ferrycore AST this ast must have the shape of a normalised
                ferry program. When a typed ast is used as input it is required to be typed correctly as well.
                The ferry compiler uses this package providing it untyped ferrycore. DSH [3] uses this
                package providing a typed AST.
                .
                1. <http://www-db.informatik.uni-tuebingen.de/research/ferry>
                .
                2. <http://dbworld.informatik.uni-tuebingen.de/projects/pathfinder/wiki/Logical_Algebra>
                .
                3. <http://www-db.informatik.uni-tuebingen.de/files/publications/ferryhaskell.pdf>
License:        BSD3
License-file:   LICENSE
Author:			Jeroen Weijers <jeroen.weijers@uni-tuebingen.de> Tom Schreiber <tom.schreiber@uni-tuebingen.de>
Maintainer:		Jeroen Weijers <jeroen.weijers@uni-tuebingen.de>
Build-Type:     Simple
library
    buildable:        True
    build-depends:    TableAlgebra >= 0.6.1, base >= 4.2 && < 5, HaXml >= 1.20.2, pretty >= 1.0.1.1, parsec >= 2.1.0.1, mtl >= 2.0.1.0, containers >= 0.3.0.0, haskell98 >= 1.0.1.1, template-haskell >= 2.4.0.0
    exposed-modules:  Database.Ferry.Syntax
                      Database.Ferry.Compiler
                      Database.Ferry.SyntaxTyped
    hs-source-dirs:   src
    GHC-Options:       -Wall -fno-warn-orphans -fno-warn-type-defaults -fno-warn-unused-do-bind 
    other-modules:
        Database.Ferry.Common.Render.Dot 
        Database.Ferry.Common.Render.Pretty 
        Database.Ferry.Compiler.Error.Error 
        Database.Ferry.Compiler.ExecuteStep 
        Database.Ferry.Compiler.Stages
        Database.Ferry.Compiler.Transform
        Database.Ferry.Compiler.Pipeline
        Database.Ferry.Compiler.Stages.AlgebraToXMLStage 
        Database.Ferry.Compiler.Stages.BoxingStage 
        Database.Ferry.Compiler.Stages.RewriteStage 
        Database.Ferry.Compiler.Stages.ToAlgebraStage 
        Database.Ferry.Compiler.Stages.TypeInferStage 
        Database.Ferry.Compiler.Types 
        Database.Ferry.Core.Data.Core 
        Database.Ferry.Core.Render.Dot 
        Database.Ferry.Core.Render.Pretty 
        Database.Ferry.TypedCore.Boxing.Boxing 
        Database.Ferry.TypedCore.Convert.CoreToAlgebra 
        Database.Ferry.TypedCore.Convert.Specialize 
        Database.Ferry.TypedCore.Convert.Traverse 
        Database.Ferry.TypedCore.Data.Instances 
        Database.Ferry.TypedCore.Data.Substitution 
        Database.Ferry.TypedCore.Data.Type 
        Database.Ferry.TypedCore.Data.TypeClasses 
        Database.Ferry.TypedCore.Data.TypedCore 
        Database.Ferry.TypedCore.Data.TypeFunction 
        Database.Ferry.TypedCore.Render.Dot 
        Database.Ferry.TypedCore.Render.Pretty 
        Database.Ferry.TypedCore.Rewrite.Combinators 
        Database.Ferry.TypedCore.Rewrite.OpRewrite 
        Database.Ferry.TypeSystem.AlgorithmW 
        Database.Ferry.TypeSystem.ContextReduction 
        Database.Ferry.TypeSystem.Prelude 
        Database.Ferry.TypeSystem.Types 
        Database.Ferry.TypeSystem.Unification
        Database.Ferry.Common.Data.Base
        Database.Ferry.Common.Data.Plans
        Database.Ferry.Impossible