def apply_selected

bendvy-ecs-core@0.1.0.3 · execution_publication_order.bend:33

import bendvy-ecs-core@0.1.0.3/execution_publication_order.bend as ExecutionPublicationOrder
import Base

33def apply_selected(~Actual:Type,~apply:List<&2,U32> -> Actual -> Actual & List<&2,U32>,order:List<&2,U32>,unknown:List<&2,U32>,ids:List<&2,U32>,state:Actual) -> Actual & List<&2,U32>:
34  match ids:
35    case []:(state,unknown)
36    case id <> rest:returned(~Actual,order,unknown,apply(id <> rest,state))

Uses (5)

Used by (1)