Control.Effect.Interpreter.Heftia.KVStore

This module provides handlers for the KVStore effect, comes from Polysemy.KVStore in the polysemy-kvstore package.

Documentation

runKVStorePure :: forall k v r a fr u c. (Ord k, Freer c fr, Union u, HFunctor (u '[]), Member u (State (Map k v)) (LState (Map k v) ': r), c (Eff u fr '[] r), c (StateT (Map k v) (Eff u fr '[] r)), Monad (Eff u fr '[] r), Monad (Eff u fr '[] (LState (Map k v) ': r))) => Map k v -> Eff u fr '[] (LKVStore k v ': r) a -> Eff u fr '[] r (Map k v, a)

runKVStoreAsState :: forall k v r fr u c. (Ord k, Freer c fr, Union u, Member u (State (Map k v)) r, Monad (Eff u fr '[] r), HFunctor (u '[])) => Eff u fr '[] (LKVStore k v ': r) ~> Eff u fr '[] r