r
/
fused-effects-exceptions
mirror of https://github.com/jrpotter/fused-effects-exceptions
1
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Adjust IORef carrier to handle new handleCoercible idiom. 

This brings us up to parity with what we expect the 1.0 interface to
look like.
main
Patrick Thomson 2019-11-07 15:57:24 -05:00
parent 31c9b7cdee
commit 4bc96a21ae
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cabal.project
View File

@ -3,4 +3,4 @@ packages: .
source-repository-package source-repository-package
type: git type: git
location: https://github.com/fused-effects/fused-effects.git location: https://github.com/fused-effects/fused-effects.git
tag: 0c7d9c19b638f7fe21ac77903894308ad15b0e80 tag: e6282afa5eee744ccf733a1adecbd1db218e4d01

2
src/Control/Carrier/State/IORef.hs
View File

@ -68,5 +68,5 @@ instance (MonadIO m, Algebra sig m, Effect sig) => Algebra (State s :+: sig) (St
case act of case act of
Put s k -> liftIO (writeIORef ref s) *> k Put s k -> liftIO (writeIORef ref s) *> k
Get k -> liftIO (readIORef ref) >>= k Get k -> liftIO (readIORef ref) >>= k
alg (R other) = StateC (handleCoercible other) alg (R other) = StateC (alg (R (handleCoercible other)))
{-# INLINE alg #-} {-# INLINE alg #-}