~/jendhub

def choose

bendvy-ecs-core@0.1.0.4 · machine_handler_bundle.bend:70

import bendvy-ecs-core@0.1.0.4/machine_handler_bundle.bend as MachineHandlerBundle
import Base

70def choose(~S:Data,~K:Data,~V:Data,~same:V -> V -> Bool,selector:Selector<S,K,V>,from:V,to:V) -> Choice:
71  match selector:
72    case ExitFrom{value}: exit_choice(same(value,from))
73    case TransitionPair{old,new}: transition_choice(Bool.and(same(old,from),same(new,to)))
74    case EnterTo{value}: enter_choice(same(value,to))

Uses (7)

Used by (1)