heftia-effects-0.3.1.0: higher-order effects done right
Copyright(c) 2024 Yamada Ryo
LicenseMPL-2.0 (see the file LICENSE)
Maintainerymdfield@outlook.jp
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageGHC2021

Control.Effect.Interpreter.Heftia.Unlift

Description

 

Documentation

runUnliftBase :: forall b fr u c. (Freer c fr, Union u, c b) => Eff u fr '[UnliftBase b] '[LiftIns b] ~> b Source #

runUnliftIO :: forall fr u c. (Freer c fr, Union u, c IO) => Eff u fr '[UnliftIO] '[LiftIns IO] ~> IO Source #