def fold

bendvy-ecs-core@0.1.0.4 · ordinary_app_reader_fields.bend:40

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/system.bend as Sys
import bendvy-ecs-core@0.1.0.4/ordinary_reader_system.bend as Ordinary
import bendvy-ecs-core@0.1.0.4/ordinary_app_registration_fields.bend as Fields

40# One registration produces one Binding, even when its parameters span categories.
41def fold(~S:Data,~C:Type,~R:Type,~E:Data,~Args:Type,~Error:Data,~Output:Type,~runner:W.World<S,C,R,E> -> Args -> Sys.Outcome<W.World<S,C,R,E>,Error,Output>,~Reader:Type,~Param:Type,value:Ordinary.Provider<Sys.Registry<S,C,R,E,Args,Error,Output,runner>,Reader,Param,List<&2,Fields.DeclaredUse>>) -> Ordinary.Provider<Sys.Registry<S,C,R,E,Args,Error,Output,runner>,Reader,Param,List<&2,Fields.DeclaredUse>> & List<&2,Fields.Fields<S>>:
42  match value:
43    case Ordinary.Provider{Sys.Registry{+namespace,+id,+name,+access,+cursor},reader,parameter,+uses}:(Ordinary.Provider{Sys.Registry{namespace,id,name,access,cursor},reader,parameter,uses},[Fields.Fields{namespace,id,name,access,cursor,name,[],Fields.MixedKind{uses}}])