~/jendhub

def provisioned

bendvy-ecs-core@0.1.0.4 · ordinary_service_declaration.bend:87

import bendvy-ecs-core@0.1.0.4/ordinary_service_declaration.bend as OrdinaryServiceDeclaration
import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/schedule_provision.bend as SP

87def provisioned(~S:Data,~C:Type,~R:Type,~E:Data,value:W.World<S,C,R,E> & List<&2,Status<S>>) -> W.World<S,C,R,E> & List<&2,SP.Requirement<S>>:
88  match value:
89    case (world,statuses):(world,available(~S,statuses))

Uses (7)

Used by (1)