X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=c%CE%BBash%2FCLasH%2FUtils.hs;fp=c%CE%BBash%2FCLasH%2FUtils.hs;h=94da85494f2216f75b395b542ed6c07b5362ecbf;hb=7d3ab3315462e18a84e6d0312dd3c444292e43bb;hp=822bd55dae5c7bb286552f08178dce7600ab5009;hpb=537f5cc89c2a2581b0d7023320e1ade723a01759;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git "a/c\316\273ash/CLasH/Utils.hs" "b/c\316\273ash/CLasH/Utils.hs" index 822bd55..94da854 100644 --- "a/c\316\273ash/CLasH/Utils.hs" +++ "b/c\316\273ash/CLasH/Utils.hs" @@ -50,3 +50,10 @@ isJustM = Monad.liftM Maybe.isJust andM, orM :: (Monad m) => m [Bool] -> m Bool andM = Monad.liftM and orM = Monad.liftM or + +mapAccumLM :: (Monad m) => (acc -> x -> m (acc, y)) -> acc -> [x] -> m (acc, [y]) +mapAccumLM _ s [] = return (s, []) +mapAccumLM f s (x:xs) = do + (s', y ) <- f s x + (s'', ys) <- mapAccumLM f s' xs + return (s'', y:ys)