Name:           AERN-Net
Version:        0.2.1.1
Cabal-Version:  >= 1.2
Build-Type:     Simple
License:        BSD3
License-File:   LICENCE
Author:         Michal Konecny (Aston University)
Copyright:      (c) 2007-2009 Michal Konecny
Maintainer:     mikkonecny@gmail.com
Homepage:       http://www-users.aston.ac.uk/~konecnym/DISCERN
Stability:      experimental
Category:       Math, Distributed Computing
Synopsis:       Compositional lazy dataflow networks for exact real number computation
Tested-with:    GHC ==6.10.1
Description:
    AERN-Net provides
    datatypes and abstractions for defining and executing
    networks of communicating processes.  These networks have a fixed
    topology, which can be infinite via recursion.
    The communication on each channel is driven by
    some query-response protocol.  Basic protocols
    for communicating approximations of real numbers and
    functions are provided together with protocol combinators
    eg for communicating value pairs or lists
    and communicating with additional query parameters
    or with optimised repetitions.
    .
    An class-based abstraction is provided to make it possible
    to execute networks on various distributed backends without modification.
    At the moment there is only one backend, which is not distributed.
    It is envisaged that truly distributed backends will be added soon,
    eg based on plain TCP, MPI or REST/SOAP Web services.
    .
    A mathematical foundation of these networks is described
    in the draft
    paper <http://www-users.aston.ac.uk/~konecnym/papers/ernets08-draft.html>.
    .
    Simple examples of usage can be found in modules @DemoMax@ and @DemoSqrt@ 
    in folder @examples@.
Extra-source-files:
    examples/DemoMax.hs examples/DemoSqrt.hs examples/ernet-trace.html
    src/ernet-trace.html
    ChangeLog

Library
  hs-source-dirs:  src
  Build-Depends:
      base >= 3, base < 4,
      containers, binary, html, time, stm,
      AERN-Real >= 0.10, AERN-Real < 0.10.1,
      AERN-RnToRm >= 0.5, AERN-RnToRm < 0.5.1
  Exposed-modules:
    Control.ERNet.Deployment.Local.Manager,
    Control.ERNet.Deployment.Local.Logger,
    Control.ERNet.Deployment.Local.Channel,
    Control.ERNet.Blocks.Basic,
    Control.ERNet.Blocks.Control.Basic,
    Control.ERNet.Blocks.RnToRm.Basic,
    Control.ERNet.Blocks.RnToRm.Protocols,
    Control.ERNet.Blocks.Real.Basic,
    Control.ERNet.Blocks.Real.LFT,
    Control.ERNet.Blocks.Real.Protocols,
    Control.ERNet.Foundations.Protocol.StandardCombinators,
    Control.ERNet.Foundations.Manager,
    Control.ERNet.Foundations.Event,
    Control.ERNet.Foundations.Event.JavaScript,
    Control.ERNet.Foundations.Event.Logger,
    Control.ERNet.Foundations.Channel,
    Control.ERNet.Foundations.Process,
    Control.ERNet.Foundations.Protocol