quasar.effect.KeyValueStore.impl
Returns an interpreter of KeyValueStore[K, V, ?] into F[S, ?], given a Lens[S, Map[K, V]] and MonadState[F, S].
KeyValueStore[K, V, ?]
F[S, ?]
Lens[S, Map[K, V]]
MonadState[F, S]
NB: Uses partial application of F[_, _] for better type inference, usage: toState[F](lens)
F[_, _]
toState[F](lens)
Returns an interpreter of
KeyValueStore[K, V, ?]
intoF[S, ?]
, given aLens[S, Map[K, V]]
andMonadState[F, S]
.NB: Uses partial application of
F[_, _]
for better type inference, usage:toState[F](lens)