def Selection
bendvy-ecs-core@0.1.0.3 · execution_builder.bend:110
import bendvy-ecs-core@0.1.0.3/execution_builder.bend as ExecutionBuilder
import Base
110def Selection(~S:Data,~WC:Type,~C:Type,~R:Type,~Permit:Data,~F:Type -> Type,~H:Type,~B:Type,~Ops:Data -> (Type -> Type) -> Type -> Type) -> Type:
111 @-component_read:ComponentRead(~S,~C,~R,~H,~B) -> @-component_write:ComponentWrite(~S,~C,~R,~H,~B) -> @-resource_read:ResourceRead(~S,~C,~R,~H,~B) -> @-resource_write:ResourceWrite(~S,~C,~R,~H,~B) -> @-query:Query(~S,~WC,~C,~R,~F,~H,~B) -> @-lifecycle:Lifecycle(~S,~WC,~C,~R,~H,~B) -> B -> B & Ops(Permit,F,H)