{- |

Copyright   :  (c) Henning Thielemann 2006
License     :  GPL

Maintainer  :  synthesizer@henning-thielemann.de
Stability   :  provisional
Portability :  requires multi-parameter type classes

Overview over sampled signals with automatic inference of signal parameters.
This is based on a monad which collects the dependencies of sample parameters,
then infer missing values and provide the results to the processes.
The system is clever enough to not need an interim data structure for the network.
This allows maximum flexibility of input and output types,
while retaining full type safety
and a functional look and feel of combining processors.


Please note, that this module is for documentation purposes.
The modules below are exported
in order to let you easily navigate to them.
Do not import this module but import the specific modules like
"Synthesizer.Inference.Monad.Signal.Displacement" with qualification.
-}


module Inference
   (module UniqueLogicNP.Explicit.System,
    module UniqueLogicNP.Explicit.Expression,
    module UniqueLogicNP.Explicit.Process,
    module Synthesizer.Inference.Monad.Signal,
    module Synthesizer.Inference.Monad.Signal.Cut,
    module Synthesizer.Inference.Monad.Signal.Displacement,
    module Synthesizer.Inference.Monad.File,
    module Synthesizer.Inference.Monad.Play) where

import UniqueLogicNP.Explicit.System
import UniqueLogicNP.Explicit.Expression
import UniqueLogicNP.Explicit.Process
import Synthesizer.Inference.Monad.Signal
import Synthesizer.Inference.Monad.Signal.Cut
import Synthesizer.Inference.Monad.Signal.Displacement
import Synthesizer.Inference.Monad.File
import Synthesizer.Inference.Monad.Play