Make the argument of Put lazy
commit134f3c690fc7681f7745d2e0648bc6045a2c2ddc
authorAndrzej Rybczak <andrzej@rybczak.net>
dateSat 19 Jun 2021, 00:53 (5 years ago)
parente441145
src/Effectful/State/Dynamic.hs+1−1
@@ -46,7 +46,7 @@ import qualified Effectful.State.MVar as SM
4646-- depends on the interpretation.
4747data State s :: Effect where
4848 Get :: State s m s
49− Put :: s -> State s m ()
49+ Put :: ~s -> State s m ()
5050 State :: (s -> (a, s)) -> State s m a
5151 StateM :: (s -> m (a, s)) -> State s m a
5252