git.iko.soy/Idris-dev
on master help sign in
Add updateM to State effect
de7360bEdwin Brady
effects/Effect/State.idr+5
compare with master
unifiedsplit
@@ -29,3 +29,8 @@ update : (x -> x) -> Eff m [STATE x] ()
29update f = do val <- get
29update f = do val <- get
30 put (f val)
30 put (f val)
31
31
32+updateM : (x -> y) -> EffM m [STATE x] [STATE y] ()
33+updateM f = do val <- get
34+ putM (f val)
35+
36+