def deal.go

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

import Base

110def deal.go(
111  a,
112  -A: Kind(a),
113  xs: List<a, A>,
114  even: Bool,
115  l: List<a, A>,
116  r: List<a, A>
117) -> List<a, A>
118  & List<a, A>:
119  match xs even:
120    case Nil{} _:
121      (List.reverse(a, A, l), List.reverse(a, A, r))
122    case Con{h, t} True{}:
123      deal.go(a, A, t, False{}, h <> l, r)
124    case Con{h, t} False{}:
125      deal.go(a, A, t, True{}, l, h <> r)