git.iko.soy/effectful
on master help sign in
Make the argument of Put lazy
134f3c6Andrzej Rybczak
src/Effectful/State/Dynamic.hs+1−1
compare with master
unifiedsplit
@@ -46,7 +46,7 @@ import qualified Effectful.State.MVar as SM
46-- depends on the interpretation.
46-- depends on the interpretation.
47data State s :: Effect where
47data State s :: Effect where
48 Get :: State s m s
48 Get :: State s m s
49− Put :: s -> State s m ()
49+ Put :: ~s -> State s m ()
50 State :: (s -> (a, s)) -> State s m a
50 State :: (s -> (a, s)) -> State s m a
51 StateM :: (s -> m (a, s)) -> State s m a
51 StateM :: (s -> m (a, s)) -> State s m a
52
52