aern2-real-0.1.0.0: Exact real numbers via Cauchy sequences and MPFR

Copyright(c) Michal Konecny
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell98

AERN2.QA.Strategy.Parallel

Description

QA net parallel evaluation

Documentation

type QAParA = Kleisli QAParM Source #

executeQAParA :: QAParA () a -> IO a Source #

executeQAParAwithLog :: QAParA () a -> IO (QANetLog, a) Source #