Make the argument of Put lazy

This commit is contained in:
Andrzej Rybczak 2021-06-19 00:53:48 +02:00
parent e441145189
commit 134f3c690f

View File

@ -46,7 +46,7 @@ import qualified Effectful.State.MVar as SM
-- depends on the interpretation.
data State s :: Effect where
Get :: State s m s
Put :: s -> State s m ()
Put :: ~s -> State s m ()
State :: (s -> (a, s)) -> State s m a
StateM :: (s -> m (a, s)) -> State s m a