~/jendhub

def provision_right

bendvy-ecs-core@0.1.0.4 · ordinary_app_execution_recipe.bend:62

import bendvy-ecs-core@0.1.0.4/ordinary_app_execution_recipe.bend as OrdinaryAppExecutionRecipe
import Base
import bendvy-ecs-core@0.1.0.4/schedule_provision.bend as SP

62def provision_right(~S:Data,~World:Type,before:List<&2,SP.Requirement<S>>,result:World & List<&2,SP.Requirement<S>>) -> World & List<&2,SP.Requirement<S>>:
63  match result:
64    case (world,after):(world,List.append(&2,SP.Requirement<S>,before,after))

Uses (5)

Used by (1)