send package:fused-effects

send :: forall eff (sig :: (Type -> Type) -> Type -> Type) m a . (Member eff sig, Algebra sig m) => eff m a -> m a
fused-effects Control.Algebra
Construct a request for an effect to be interpreted by some handler later on.
sendIO :: forall (sig :: (Type -> Type) -> Type -> Type) m a . Has (Lift IO) sig m => IO a -> m a
fused-effects Control.Effect.Lift
A type-restricted variant of sendM for IO actions. This is particularly useful when you have a Has (Lift IO) sig m constraint for the use of liftWith, and want to run an action abstracted over MonadIO. IO has a MonadIO instance, and sendIO’s type restricts the action’s type to IO without further type annotations.
sendM :: forall n (sig :: (Type -> Type) -> Type -> Type) m a . (Has (Lift n) sig m, Functor n) => n a -> m a
fused-effects Control.Effect.Lift
Given a Lift n constraint in a signature carried by m, sendM promotes arbitrary actions of type n a to m a. It is spiritually similar to lift from the MonadTrans typeclass.