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