AERN2.QA.Strategy.Cached.NetState

A monad-generic state of a QA net.

Documentation

data QANetState m

Constructors

QANetState

Fields

• net_id2value :: Map ValueId (AnyQAComputation m)
• net_log :: QANetLog
• net_should_cache :: Bool

initQANetState :: Bool -> QANetState m

data AnyQAComputation m

Constructors

QAProtocolCacheable p => AnyQAComputation (QAComputation m p)

data QAComputation m p

Constructors

QAComputation p (QACache p) ((Maybe ValueId, Maybe ValueId) -> Q p -> m (QAPromiseA (Kleisli m) (A p)))

used only if a suitable answer is not in the above cache

insertNode :: QAProtocolCacheable p => p -> String -> [ValueId] -> ((Maybe ValueId, Maybe ValueId) -> Q p -> m (QAPromiseA (Kleisli m) (A p))) -> QANetState m -> (ValueId, QANetState m)

logQuery :: QANetState m -> Maybe ValueId -> ValueId -> String -> QANetState m

logAnswerUpdateCache :: QAProtocolCacheable p => QANetState m -> p -> Maybe ValueId -> ValueId -> (String, String, QACache p) -> QANetState m

getAnswerPromise :: (QAProtocolCacheable p, Monad m) => QANetState m -> p -> Maybe ValueId -> ValueId -> Q p -> m (() -> m (A p, [Char], QACache p))