Lines Matching defs:acc
242 fun f acc [] = List.rev acc
243 | f acc (x :: xs) = if p x then f (x :: acc) xs else List.rev acc
258 fun f acc [] = (List.rev acc, [])
259 | f acc (l as x :: xs) = if p x then f (x :: acc) xs else (List.rev acc, l)
266 fun group acc row x l =
270 val acc = if List.null row then acc else List.rev row :: acc
272 List.rev acc
278 if eor then group (List.rev row :: acc) [h] x t
279 else group acc (h :: row) x t
322 fun revDiv acc l 0 = (acc,l)
324 | revDiv acc (h :: t) n = revDiv (h :: acc) t (n - 1);
409 fun mrg acc [] ys = List.revAppend (acc,ys)
410 | mrg acc xs [] = List.revAppend (acc,xs)
411 | mrg acc (xs as x :: xt) (ys as y :: yt) =
413 GREATER => mrg (y :: acc) xs yt
414 | _ => mrg (x :: acc) xt ys)
423 fun findRuns acc r rs [] = List.rev (List.rev (r :: rs) :: acc)
424 | findRuns acc r rs (x :: xs) =
426 GREATER => findRuns (List.rev (r :: rs) :: acc) x [] xs
427 | _ => findRuns acc x (r :: rs) xs
429 fun mergeAdj acc [] = List.rev acc
430 | mergeAdj acc (xs as [_]) = List.revAppend (acc,xs)
431 | mergeAdj acc (x :: y :: xs) = mergeAdj (merge cmp x y :: acc) xs
580 fun stringify acc [] = acc
581 | stringify acc (h :: t) = stringify (String.implode h :: acc) t;
784 fun readAll acc =
786 NONE => acc
791 val acc = {filename = filename} :: acc
793 readAll acc