Control.Effect.Map.Strict

Strict interpretations of the Map' effect.

If you don't require disambiguation of multiple map effects (i.e., you only have one map effect in your monadic context), you usually need the untagged interpretations.

Interpreter Type

data StrictMap k v m a

The strict interpreter of the map effect. This type implements the Map' type class in a strict manner.

When interpreting the effect, you usually don't interact with this type directly, but instead use one of its corresponding interpretation functions.

Instances

(Monad m, Ord k2) => Map' (tag :: k1) k2 v (StrictMap k2 v m)

Defined in Control.Effect.Map.Strict

Methods

clear' :: StrictMap k2 v m ()

lookup' :: k2 -> StrictMap k2 v m (Maybe v)

update' :: k2 -> Maybe v -> StrictMap k2 v m ()

MonadBase b m => MonadBase b (StrictMap k v m)

Defined in Control.Effect.Map.Strict

Methods

liftBase :: b α -> StrictMap k v m α

MonadBaseControl b m => MonadBaseControl b (StrictMap k v m)

Defined in Control.Effect.Map.Strict

Associated Types

type StM (StrictMap k v m) a :: Type

Methods

liftBaseWith :: (RunInBase (StrictMap k v m) b -> b a) -> StrictMap k v m a

restoreM :: StM (StrictMap k v m) a -> StrictMap k v m a

MonadTrans (StrictMap k v)

Defined in Control.Effect.Map.Strict

Methods

lift :: Monad m => m a -> StrictMap k v m a

MonadTransControl (StrictMap k v)

Defined in Control.Effect.Map.Strict

Associated Types

type StT (StrictMap k v) a :: Type

Methods

liftWith :: Monad m => (Run (StrictMap k v) -> m a) -> StrictMap k v m a

restoreT :: Monad m => m (StT (StrictMap k v) a) -> StrictMap k v m a

Monad m => Monad (StrictMap k v m)

Defined in Control.Effect.Map.Strict

Methods

(>>=) :: StrictMap k v m a -> (a -> StrictMap k v m b) -> StrictMap k v m b

(>>) :: StrictMap k v m a -> StrictMap k v m b -> StrictMap k v m b

return :: a -> StrictMap k v m a

fail :: String -> StrictMap k v m a

Functor m => Functor (StrictMap k v m)

Defined in Control.Effect.Map.Strict

Methods

fmap :: (a -> b) -> StrictMap k v m a -> StrictMap k v m b

(<$) :: a -> StrictMap k v m b -> StrictMap k v m a

Monad m => Applicative (StrictMap k v m)

Defined in Control.Effect.Map.Strict

Methods

pure :: a -> StrictMap k v m a

(<*>) :: StrictMap k v m (a -> b) -> StrictMap k v m a -> StrictMap k v m b

liftA2 :: (a -> b -> c) -> StrictMap k v m a -> StrictMap k v m b -> StrictMap k v m c

(*>) :: StrictMap k v m a -> StrictMap k v m b -> StrictMap k v m b

(<*) :: StrictMap k v m a -> StrictMap k v m b -> StrictMap k v m a

MonadIO m => MonadIO (StrictMap k v m)

Defined in Control.Effect.Map.Strict

Methods

liftIO :: IO a -> StrictMap k v m a

type StT (StrictMap k v) a

Defined in Control.Effect.Map.Strict

type StT (StrictMap k v) a = StT (StateT (Map k v)) a

type StM (StrictMap k v m) a

Defined in Control.Effect.Map.Strict

type StM (StrictMap k v m) a = StM (StateT (Map k v) m) a

Tagged Interpretations

runMap'

Arguments

:: Monad m

=> (Map' tag k v `Via` StrictMap k v) m a

The program whose map effect should be handled.

-> m a

The program with its map effect handled.

Runs the map effect, initialized with an empty map.

Untagged Interpretations

runMap :: Monad m => (Map k v `Via` StrictMap k v) m a -> m a

The untagged version of runMap'.