def info_selected

bendvy-ecs-core@0.1.0.3 · execution_query_admission.bend:21

import bendvy-ecs-core@0.1.0.3/execution_query_admission.bend as ExecutionQueryAdmission
import Base
import bendvy-ecs-core@0.1.0.3/execution_query_schema.bend as Schema

21def info_selected(info:Schema.Info,next:Maybe<&2,Schema.Info>,selected:Bool) -> Maybe<&2,Schema.Info>:
22  match selected:
23    case False{}:next
24    case True{}:Some{info}

Uses (3)

Used by (1)