def build_checked

bendvy-ecs-core@0.1.0.4 · schedule.bend:51

import bendvy-ecs-core@0.1.0.4/schedule.bend as Schedule

import Base

51def build_checked(~S: Data,~C: Type,~R: Type,~E: Data,~H: Type,allowed: Bool,+namespace: U32,+name: String,+steps: List<&2,Step>,owners: H) -> Build<S,C,R,E,H>:
52  match allowed:
53    case False{}: Invalid{owners}
54    case True{}: Built{Schedule{namespace,name,steps,owners}}

Uses (7)

Used by (1)

bendvy-ecs-core@0.1.0.4/schedule:build