def bound_valid

bendvy-ecs-core@0.1.0.3 · execution_query_recipe.bend:28

import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as L

28def bound_valid(~full:L.Layout,bound:Bound) -> Bool:
29  match bound:
30    case AllLive{}:True{}
31    case With{route}:L.valid(full,route)
32    case Without{route}:L.valid(full,route)
33    case Changed{route}:L.valid(full,route)
34    case And{left,right}:Bool.and(bound_valid(~full,left),bound_valid(~full,right))
35    case Or{left,right}:Bool.and(bound_valid(~full,left),bound_valid(~full,right))