def reader_fields

bendvy-ecs-core@0.1.0.4 · ordinary_app_existing_execution.bend:96

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_app_registration_fields.bend as Fields
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 Reader
import bendvy-ecs-core@0.1.0.4/world.bend as W

96def reader_fields(~S:Data,~C:Type,~R:Type,~E:Data,~Args:Type,~Error:Data,~Out:Type,~runner:W.World<S,C,R,E> -> Args -> Sys.Outcome<W.World<S,C,R,E>,Error,Out>,~Owner:Type,~Param:Type,~Decl:Type,value:Reader.Provider<Sys.Registry<S,C,R,E,Args,Error,Out,runner>,Owner,Param,Decl>) -> Reader.Provider<Sys.Registry<S,C,R,E,Args,Error,Out,runner>,Owner,Param,Decl> & Fields.Fields<S>:
97  match value:
98    case Reader.Provider{Sys.Registry{+namespace,+id,+name,+access,+cursor},owner,param,decl}:(Reader.Provider{Sys.Registry{namespace,id,name,access,cursor},owner,param,decl},Fields.Fields{namespace,id,name,access,cursor,name,[],Fields.MixedKind{[]}})