def split_loop

bendvy-ecs-core@0.1.0.4 · reader_domains.bend:18

import Base

18def split_loop(~E: Data,~is_event: E -> Bool,values: List<&2,E>,acc: List<&2,E> & List<&2,E>) -> List<&2,E> & List<&2,E>:
19  match values:
20    case []: split_reverse(~E,acc)
21    case +value <> rest:
22      (events,removals) = acc
23      split_loop(~E,~is_event,rest,choose(~E,is_event(value),value,events,removals))