Documentation

Typeclass to allow actions in monadic context m to be run in the base monad b.

This typeclass is similar to MonadUnliftIO from the unliftio package. However MonadUnlift works with any base monad, not only IO.

This typeclass is helpful when writing code that is polymorphic over the base monad, so later you can select a different base monad for each specific use-case.

While you can use lift to allow some action to be lifted into another monad, this class captures the opposite concept.

Instances of this typeclass should satisfy the following laws:

• Distributivity:

  withRunInBase (\run -> run f >> run g)
      ≡
  withRunInBase (\run -> run f) >> withRunInBase (\run -> run g)
  

• Identity:

  askUnlift >>= \u -> (liftBase . runUnlift u) m ≡ m
  

Since: 0.0.0.0

A helper function for implementing MonadUnlift instances.

Useful for the common case where you want to simply delegate to the underlying transformer in newtypes.

Example:

newtype AppT m a = AppT
    { unAppT :: ReaderT Int m a
    } deriving newtype (Functor, Applicative, Monad)

instance (MonadUnlift b m) => MonadUnlift b (AppT m)
  where
    withRunInBase = defaultWithRunInBase AppT unAppT

Since: 0.0.0.0

Capture the current monadic context m, providing the ability to run monadic actions in the base monad b.

Useful when you need to apply on one concrete type.

Note: If you run into issues when using this function, most likely that you need askUnlift instead.

Since: 0.0.0.0

Polymorphic wrapper over the function returned by withRunInBase.

Use askUnlift instead of askRunInBase when you need to use the return unlift with variables of different types.

Since: 0.0.0.0

Similar to askRunInBase, but works with the Unlift wrapper.

Use askUnlift instead of askRunInBase when you need to use the return unlift with variables of different types.

Since: 0.0.0.0