~/jendhub

def selected

bendvy-ecs-core@0.1.0.4 · ordinary_checked_bindings.bend:17

import bendvy-ecs-core@0.1.0.4/ordinary_checked_bindings.bend as OrdinaryCheckedBindings
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_checked_condition.bend as Cond

17def selected(~World:Type,~Owner:Type,~evaluate:Owner -> World -> Cond.Evaluation<World,Owner>,allowed:Bool,id:U32,owner:Owner,world:World) -> Selection<World,BoundOwner<Owner>>:
18  match allowed:
19    case False{}:Unbound{world,BoundOwner{id,owner}}
20    case True{}:selected_returned(~World,~Owner,id,evaluate(owner,world))

Uses (6)

Used by (1)