Name:           AERN-Basics
Version:        2011.1
Cabal-Version:  >= 1.2
Build-Type:     Simple
License:        BSD3
License-File:   LICENCE
Author:         Michal Konecny (Aston University)
Copyright:      (c) 2010 Michal Konecny, Jan Duracz
Maintainer:     mikkonecny@gmail.com
Homepage:       http://code.google.com/p/aern/
Stability:      experimental
Category:       Data, Math
Synopsis:       foundational type classes for approximating exact real numbers
Tested-with:    GHC ==6.12.3
Description:
 Type-classes abstracting various kinds of approximations for exact entities:
 .   
    * those that are /near/ to the exact value due to limited granularity 
      (eg floating point numbers with fixed granularity (aka precision) 
       approximating real numbers or bounded-degree polynomials with floating point coefficients
       approximating continuous functions)
 .   
    * those that somehow /enclose/ the exact entity, usually using a pair of /endpoints/ 
 .
 Type classes are provided to capture:
 .   
    * the partial, sometimes semidecidable, natural ordering (<=) used in relation to /nearness/
 .   
    * the partial, sometimes semidecidable, refinement ordering (&#8849;) used in relation to /enclosure/
 .   

Extra-Source-Files:
    CHANGES

Library
  hs-source-dirs: src
  ghc-options:     -O2
  Build-Depends:
        base >= 4 && < 5,
        containers >= 0.3 && < 0.4,
        QuickCheck >= 2.1 && < 3,
        criterion >= 0.5 && < 0.6,
        deepseq >= 1.1.0.0 && < 1.2,
        random >= 1.0 && < 2.0,
        test-framework >= 0.2 && < 0.4, test-framework-quickcheck2 >= 0.2 && < 0.4
  Exposed-modules:
    Numeric.AERN.Basics.ShowInternals, 
    Numeric.AERN.Basics.Exception, 
    Numeric.AERN.Basics.Effort, 
    Numeric.AERN.Basics.Mutable, 
    Numeric.AERN.Basics.Bench, 
    Numeric.AERN.Basics.PartialOrdering, 
    Numeric.AERN.Basics.NumericOrder, 
    Numeric.AERN.Basics.NumericOrder.OpsImplicitEffort, 
    Numeric.AERN.Basics.NumericOrder.OpsDefaultEffort, 
    Numeric.AERN.Basics.NumericOrder.InPlace.OpsImplicitEffort, 
    Numeric.AERN.Basics.NumericOrder.InPlace.OpsDefaultEffort, 
    Numeric.AERN.Basics.RefinementOrder, 
    Numeric.AERN.Basics.RefinementOrder.OpsImplicitEffort, 
    Numeric.AERN.Basics.RefinementOrder.OpsDefaultEffort, 
    Numeric.AERN.Basics.RefinementOrder.InPlace.OpsImplicitEffort, 
    Numeric.AERN.Basics.RefinementOrder.InPlace.OpsDefaultEffort, 
    Numeric.AERN.Basics.Consistency, 
    Numeric.AERN.Basics.Laws.Utilities, 
    Numeric.AERN.Basics.Laws.Relation, 
    Numeric.AERN.Basics.Laws.PartialRelation, 
    Numeric.AERN.Basics.Laws.Operation, 
    Numeric.AERN.Basics.Laws.RoundedOperation, 
    Numeric.AERN.Basics.Laws.OperationRelation, 
    Numeric.AERN.Basics.Laws.RoundedOpInPlace, 
    Numeric.AERN.Misc.Bool, 
    Numeric.AERN.Misc.List, 
    Numeric.AERN.Misc.Maybe, 
    Numeric.AERN.Misc.QuickCheck, 
    Numeric.AERN.Misc.Debug
    
  Other-modules:
    Numeric.AERN.Basics.NumericOrder.PartialComparison
    Numeric.AERN.Basics.NumericOrder.Arbitrary
    Numeric.AERN.Basics.NumericOrder.Extrema
    Numeric.AERN.Basics.NumericOrder.RoundedLattice
    Numeric.AERN.Basics.NumericOrder.RefinementRoundedLattice
    Numeric.AERN.Basics.NumericOrder.InPlace.RoundedLattice
    Numeric.AERN.Basics.NumericOrder.InPlace.RefinementRoundedLattice
    Numeric.AERN.Basics.RefinementOrder.PartialComparison
    Numeric.AERN.Basics.RefinementOrder.Arbitrary
    Numeric.AERN.Basics.RefinementOrder.Extrema
    Numeric.AERN.Basics.RefinementOrder.RoundedBasis
    Numeric.AERN.Basics.RefinementOrder.RoundedLattice
    Numeric.AERN.Basics.RefinementOrder.InPlace.RoundedBasis 
    Numeric.AERN.Basics.RefinementOrder.InPlace.RoundedLattice

Executable toolAERN-bench-csv-to-gnuplot
  hs-source-dirs: tools
  ghc-options: -O2
  main-is: BenchCsvToGnuplot.hs
  build-depends:
        base >= 4 && < 5,
        directory >= 1 && < 2