def concat.go

bend-lint-api@0.2.0.0 · shared/lists.bend:23

import bend-lint-api@0.2.0.0/shared/lists.bend as Lists

import Base

23def concat.go(a, -A: Kind(a), xss: List<a, List<a, A>>, out: List<a, A>) -> List<a, A>:
24  match xss:
25    case Nil{}:
26      List.reverse(a, A, out)
27    case Con{xs, rest}:
28      concat.go(a, A, rest, onto(a, A, xs, out))

Uses (3)

Used by (1)

bend-lint-api@0.2.0.0/shared/lists:concat