| 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
- runResourceIO :: forall (eh :: [EffectH]) (ef :: [EffectF]). (UnliftIO <<| eh, IO <| ef) => Eff (Resource ': eh) ef ~> Eff eh ef
- elabResourceIO :: forall (m :: Type -> Type). MonadUnliftIO m => Resource ~~> m
- module Data.Effect.Resource