| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Howl.Eval.EvalCache
Description
A weak-pointer cache used to avoid re-evaluating expressions that have already been seen.
Synopsis
- data EvalCache
- newEvalCache :: IO EvalCache
- lookupEvalCache :: EvalCache -> Expr -> IO Bool
- insertEvalCache :: EvalCache -> Expr -> IO ()
Documentation
newEvalCache :: IO EvalCache #
Create a new empty evaluation cache.
lookupEvalCache :: EvalCache -> Expr -> IO Bool #
Check whether the given expression is already present in the cache.
insertEvalCache :: EvalCache -> Expr -> IO () #
Insert an expression into the evaluation cache.