def create_checked

bendvy-ecs-core@0.1.0.4 · world.bend:117

import Base
import bendvy-ecs-core@0.1.0.4/clock_state.bend as Clock
import entity_allocator.bend as A

117def create_checked(~S:Data,~C:Type,~R:Type,~E:Data,~empty:Unit -> C,available:Bool,+namespace:U32,resource:R) -> Creation<S,C,R,E>:
118  match available:
119    case False{}:CreateRejected{Factory{namespace},resource}
120    case True{}:Created{Factory{(namespace + 1 : U32)},World{namespace,A.empty(),empty(Unit{}),resource,[],[],[],1,Clock.empty()}}