Searched refs:mapAndCombineSM (Results 1 – 1 of 1) sorted by relevance
1149 = do { (alts', uds_alts) <- mapAndCombineSM spec_alt alts1249 ; (rhss', rhs_uds) <- mapAndCombineSM (specExpr rhs_env) rhss2835 mapAndCombineSM :: (a -> SpecM (b, UsageDetails)) -> [a] -> SpecM ([b], UsageDetails)2836 mapAndCombineSM _ [] = return ([], emptyUDs) function2837 mapAndCombineSM f (x:xs) = do (y, uds1) <- f x function2838 (ys, uds2) <- mapAndCombineSM f xs