AERN2.QA.Strategy.CachedUnsafe

QA net plain evaluation with unsafe IO caching

Documentation

qaUnsafeCachingMV :: MVar Bool

A global variable controlling whether unsafe caching is used in QA objects in the (->) arrow

Orphan instances

QAArrow (->)

Normal Haskell functions are a trivial QAArrow instance where registration has no effect.

Associated Types

type QAId ((->) :: * -> * -> *) :: *

Methods

qaRegister :: QAProtocolCacheable p => [QARegOption] -> QA (->) p -> QA (->) p

newQA :: QAProtocolCacheable p => String -> [AnyProtocolQA (->)] -> p -> Maybe (Q p) -> ((Maybe (QAId (->)), Maybe (QAId (->))) -> Q p -> A p) -> QA (->) p

qaFulfilPromiseA :: QAPromiseA (->) a -> a

qaMakeQueryGetPromiseA :: Maybe (QAId (->)) -> (QA (->) p, Q p) -> QAPromiseA (->) (A p)