git.iko.soy/effectful
on master help sign in
Add low level InternalState API to Effectful.Resource
30a2855Andrzej Rybczak
effectful/src/Effectful/Resource.hs+25
compare with master
unifiedsplit
@@ -11,6 +11,13 @@ module Effectful.Resource
11 , R.register
11 , R.register
12 , R.release
12 , R.release
13 , R.unprotect
13 , R.unprotect
14+
15+ -- * Internal state
16+ , R.InternalState
17+ , getInternalState
18+ , runInternalState
19+ , R.createInternalState
20+ , R.closeInternalState
14 ) where
21 ) where
15
22
16import Control.Exception
23import Control.Exception
@@ -40,6 +47,24 @@ runResource m = unsafeEff $ \es0 -> do
40 RI.stateCleanupChecked Nothing istate
47 RI.stateCleanupChecked Nothing istate
41 pure a
48 pure a
42
49
50+----------------------------------------
51+-- Internal state
52+
53+-- | Get the 'R.InternalState' of the current 'Resource' effect.
54+getInternalState :: Resource :> es => Eff es R.InternalState
55+getInternalState = do
56+ IdE (Resource istate) <- getEffect
57+ pure istate
58+
59+-- | Run the 'Resource' effect with existing 'R.InternalState'.
60+--
61+-- /Note:/ the 'R.InternalState' will not be closed at the end.
62+runInternalState :: R.InternalState -> Eff (Resource : es) a -> Eff es a
63+runInternalState istate = evalEffect $ IdE (Resource istate)
64+
65+----------------------------------------
66+-- Orphan instance
67+
43instance (IOE :> es, Resource :> es) => R.MonadResource (Eff es) where
68instance (IOE :> es, Resource :> es) => R.MonadResource (Eff es) where
44 liftResourceT (RI.ResourceT m) = unsafeEff $ \es -> do
69 liftResourceT (RI.ResourceT m) = unsafeEff $ \es -> do
45 getEnv es >>= \(IdE (Resource istate)) -> m istate
70 getEnv es >>= \(IdE (Resource istate)) -> m istate