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.Cached.Arrow

Description

QA net evaluation with answer caching

Documentation

module AERN2.QA.NetLog

module AERN2.QA.Strategy.Cached.NetState

type QACachedA = Kleisli QACachedM Source #

executeQACachedA :: QACachedA () a -> (QANetLog, a) Source #

executeQAUncachedA :: QACachedA () a -> (QANetLog, a) Source #