Copyright	(c) 2023 Sayo Koyoneda (c) 2017 FP Complete (c) 2022 Fumiaki Kinoshita
License	MPL-2.0 (see the LICENSE file)
Maintainer	ymdfield@outlook.jp
Portability	portable
Safe Haskell	None
Language	GHC2021

Control.Monad.Hefty.Resource

Description

An elaborator for the Resource effect class.

Synopsis

Documentation

runResourceIO :: forall (eh :: [EffectH]) (ef :: [EffectF]). (UnliftIO <<| eh, IO <| ef) => Eff (Resource ': eh) ef ~> Eff eh ef Source #

Elaborates the Resource effect under the UnliftIO context.