def ineligible

bendvy-ecs-core@0.1.0.3 · execution_save_plan.bend:38

import bendvy-ecs-core@0.1.0.3/execution_save_plan.bend as ExecutionSavePlan
import Base

38def ineligible(plan:Plan) -> Maybe<&2,String>:
39  match plan:
40    case Empty{}:None{}
41    case Plain{_,_,_,key,_}:Some{key}
42    case Transient{_,_,_,_,_}:None{}
43    case Constructed{_,_,_,_,_,_}:None{}
44    case Pair{left,right}:first(ineligible(left),ineligible(right))

Uses (4)

Used by (1)