Add updateM to State effect
commitde7360b1911849922e84729faf3df8208795eae7
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateThu 14 Mar 2013, 16:13 (14 years ago)
parente210198
effects/Effect/State.idr+5
@@ -29,3 +29,8 @@ update : (x -> x) -> Eff m [STATE x] ()
2929update f = do val <- get
3030 put (f val)
3131
32+updateM : (x -> y) -> EffM m [STATE x] [STATE y] ()
33+updateM f = do val <- get
34+ putM (f val)
35+
36+