OrdinaryDumpRender.resources: 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 12-16 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=12&end_line=16 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 def resources(~S:Data,pairs:List<&1,Fragment.Entry & Maybe<&2,String>>) -> List<&2,Filter.Value>: match pairs: case []:[] case (Fragment.Entry{Fragment.Resource{},key,_},Some{text}) <> rest:Filter.Value{key,text} <> resources(~S,rest) case _ <> rest:resources(~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