Routing.partition_loop: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/internal/relation_failures/routing.bend as Routing
Lines 26-29 of bendvy-ecs-core@0.1.0.4/internal/relation_failures/routing.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/internal/relation_failures/routing.bend&start_line=26&end_line=29

import Base
import domains.bend as D

def partition_loop(~S: Data,~E: Data,~classify: E -> Maybe<D.DescriptorKey<S>>,items: List<&2,E>,acc: Partition<S,E>) -> Partition<S,E>:
  match items acc:
    case Nil{} acc: acc
    case +item <> rest Partition{ordinary,batches}: partition_loop(~S,~E,~classify,rest,partition_selected(~S,~E,classify(item),item,ordinary,batches))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/internal/relation_failures/domains.bend&name=DescriptorKey
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/internal/relation_failures/routing.bend&name=Partition
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/internal/relation_failures/routing.bend&name=partition_selected