def general_traverse

bendvy-ecs-core@0.1.0.3 · execution_query.bend:174

import bendvy-ecs-core@0.1.0.3/execution_query.bend as ExecutionQuery
import Base

174def general_traverse(~S:Data,~H:Type,~P:Type,~V:Data,~O:Type,~E:Data,writer:GeneralOutputWriter<S,H,P,V,O,E>,mode:Mode,scope:H,output:O,targets:GeneralTargets<S>) -> H & (O & Report<E>):
175  match writer:
176    case GeneralOutputWriter{_,_,traverse}:traverse(mode,scope,output,targets)
177    case UnsupportedOutputWriter{}:(scope,(output,LayoutRefused{}))

Uses (6)

Used by (0)

No other definition uses this definition.