effectful-cache

A Cache effect for the effectful ecosystem.

How to use

This library exposes the following elements:

• Cache — The type-level effect that you can declare in your type signatures.

populateIntCache :: (Cache Int Int :> es) => Eff es ()

• insert, lookup, keys, delete, filterWithKey – Operations on Cache. They should always be used with Type Applications when using literals:

insertAndLookup :: (Cache Int Int :> es) => Eff es (Maybe Int)
insertAndLookup = do
  insert @Int @Int 3 12
  lookup @Int 3

listKeys :: (Cache Int Int :> es) => Eff es [Int]
listKeys = do
  populateIntCache
  keys @Int @Int

• An IO Runner

runCacheIO (cache :: Data.Cache Int Int)

See the tests to see an example use.