Control.Monad.Memo.Vector.Expandable (original) (raw)

Contents

• VectorCache for boxed types
• UVectorCache for unboxed types
• Generic functions for VectorCache

Description

Vector-based [MonadCache](Control-Monad-Memo-Class.html#t:MonadCache "Control.Monad.Memo.Class") implementation which dynamically expands the vector during the computation to accomodate all requested keys. This implementation does not require to specify the length of the vector up front, but may be slower than Control.Monad.Memo.Vector.

Synopsis

• type VectorCache s e = Cache Vector s e
• class MaybeLike e v => VectorMemo v e | v -> e
• startEvalVectorMemo :: (PrimMonad m, VectorMemo v e) => VectorCache (PrimState m) e m a -> m a
• startRunVectorMemo :: (PrimMonad m, VectorMemo v e) => VectorCache (PrimState m) e m a -> m (a, Vector (PrimState m) e)
• type UVectorCache s e = Cache UVector s e
• class MaybeLike e v => UVectorMemo v e | v -> e
• startEvalUVectorMemo :: (PrimMonad m, UVectorMemo v e, MVector UVector e) => UVectorCache (PrimState m) e m a -> m a
• startRunUVectorMemo :: (PrimMonad m, UVectorMemo v e, MVector UVector e) => UVectorCache (PrimState m) e m a -> m (a, UVector (PrimState m) e)
• newtype Container vec = Container {
  • toVector :: vec
    }
• type Cache vec k e = StateCache (Container (vec k e))
• genericStartEvalVectorMemo :: (MaybeLike e v, PrimMonad m, MVector vec e) => Cache vec (PrimState m) e m a -> m a
• genericStartRunVectorMemo :: (MaybeLike e v, PrimMonad m, MVector vec e) => Cache vec (PrimState m) e m a -> m (a, vec (PrimState m) e)