OrdinaryDumpRender.components: def of bendvy-ecs-core@0.1.0.4 Import: import bendvy-ecs-core@0.1.0.4/ordinary_dump_render.bend as OrdinaryDumpRender Lines 6-11 of bendvy-ecs-core@0.1.0.4/ordinary_dump_render.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_dump_render.bend&start_line=6&end_line=11 import Base import bendvy-ecs-core@0.1.0.4/schema_fragments.bend as Fragment import bendvy-ecs-core@0.1.0.4/ordinary_dump_filter.bend as Filter # Selected handles only reach this stage. Entries remain the sole schema key list. def components(~S:Data,pairs:List<&1,Fragment.Entry & Maybe<&2,String>>) -> List<&2,Filter.Value>: match pairs: case []:[] case (Fragment.Entry{Fragment.Component{},key,_},Some{text}) <> rest:Filter.Value{key,text} <> components(~S,rest) case _ <> rest:components(~S,rest) Uses (8): 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=Base/base.bend&name=Pair https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_dump_filter.bend&name=Value https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/schema_fragments.bend&name=Entry https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/schema_fragments.bend&name=RegistryKind