~/jendhub

def remove_checked

bendvy-ecs-core@0.1.0.4 · registration.bend:16

import bendvy-ecs-core@0.1.0.4/registration.bend as Registration
import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W

16def remove_checked(~S: Data,~Store: Type,~R: Type,~E: Data,allowed: Bool,world: W.World<S,Store,R,E>,+id: U32,+name: String,+access: List<&2,String>) -> W.World<S,Store,R,E> & Bool:
17  match allowed world:
18    case False{} world: (world,False{})
19    case True{} W.World{namespace,allocator,store,resource,events,pending,registrations,nextSystemId,clock}: (W.World{namespace,allocator,store,resource,events,pending,without(registrations,id,name,access),nextSystemId,clock},True{})

Uses (8)

Used by (1)