Control.Monad.Hefty.KVStore

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

Documentation

runKVStorePure :: forall k v (r :: [Type -> Type]) a. Ord k => Map k v -> Eff ('[] :: [EffectH]) (KVStore k v ': r) a -> Eff ('[] :: [EffectH]) r (Map k v, a)

runKVStoreAsState :: forall k v (r :: [EffectF]). (Ord k, State (Map k v) <| r) => Eff ('[] :: [EffectH]) (KVStore k v ': r) ~> Eff ('[] :: [EffectH]) r