Update Resource effect to what's in FE now.
parent
8d2101ae5c
commit
65fa041be3
|
@ -26,7 +26,7 @@ import Control.Monad.Trans.Class
|
||||||
-- | Executes a 'Resource' effect. Because this runs using 'MonadUnliftIO',
|
-- | Executes a 'Resource' effect. Because this runs using 'MonadUnliftIO',
|
||||||
-- invocations of 'runResource' must happen at the "bottom" of a stack of
|
-- invocations of 'runResource' must happen at the "bottom" of a stack of
|
||||||
-- effect invocations, i.e. before the use of any monads that lack such
|
-- effect invocations, i.e. before the use of any monads that lack such
|
||||||
-- instances, such as 'Control.Carrier.State.IORef.StateC':
|
-- instances, such as 'StateC':
|
||||||
--
|
--
|
||||||
-- @
|
-- @
|
||||||
-- runM
|
-- runM
|
||||||
|
|
|
@ -15,7 +15,9 @@ module Control.Effect.Resource
|
||||||
, finally
|
, finally
|
||||||
, onException
|
, onException
|
||||||
-- * Re-exports
|
-- * Re-exports
|
||||||
|
, Carrier
|
||||||
, Has
|
, Has
|
||||||
|
, run
|
||||||
) where
|
) where
|
||||||
|
|
||||||
import Control.Carrier
|
import Control.Carrier
|
||||||
|
|
Loading…
Reference in New Issue