Lines Matching defs:acc
133 fun foldl_map _ (acc, []) = (acc, [])
134 | foldl_map f (acc, x :: xs) =
136 val (acc', y) = f (acc, x)
137 val (acc'', ys) = foldl_map f (acc', xs)
139 (acc'', y :: ys)
182 | fl acc [x] = (List.rev acc, x)
183 | fl acc (h :: t) = fl (h :: acc) t
192 fun recurse acc l =
196 NONE => recurse (h :: acc) t
197 | SOME v => (SOME v, List.revAppend (acc, t)))
246 fun recurse n acc lst =
248 [] => acc
249 | h :: t => recurse (n + 1) (f n h :: acc) t
578 fun f acc s =
581 val acc = prefix::acc
584 Substring.concat(List.rev acc)
586 f (to::acc) (drop s)