lexi-lambda/freer-simple
1
1
Fork 0
mirror of https://github.com/lexi-lambda/freer-simple.git synced 2024-12-23 22:23:27 +03:00
Code Issues Projects Releases Wiki Activity

Use Data.Proxy instead of ProxyState

Browse Source
This commit is contained in:
ElvishJerricco 2016-03-02 05:50:41 -05:00
parent 86a8212cd8
commit 323bd8113f
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Control/Monad/Freer/State.hs
View File

@ -25,11 +25,11 @@ module Control.Monad.Freer.State (
put,
runState,
ProxyState(..),
transactionState
) where
import Control.Monad.Freer.Internal
import Data.Proxy
--------------------------------------------------------------------------------
-- State, strict --
@ -57,14 +57,12 @@ runState (E u q) s = case decomp u of
Left u' -> E u' (tsingleton (\x -> runState (qApp q x) s))
data ProxyState s = ProxyState
-- |
-- An encapsulated State handler, for transactional semantics
-- The global state is updated only if the transactionState finished
-- successfully
transactionState :: forall s r w. Member (State s) r =>
ProxyState s -> Eff r w -> Eff r w
Proxy s -> Eff r w -> Eff r w
transactionState _ m = do s <- get; loop s m
where
loop :: s -> Eff r w -> Eff r w