def same_bound

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

import Base
import bendvy-ecs-core@0.1.0.3/execution_query_recipe.bend as Recipe
import bendvy-ecs-core@0.1.0.3/execution_query_schema.bend as Schema

129def same_bound(left:Recipe.Bound,right:Recipe.Bound) -> Bool:
130  match left right:
131    case Recipe.AllLive{} Recipe.AllLive{}:True{}
132    case Recipe.Changed{l} Recipe.Changed{r}:Schema.same_route(l,r)
133    case Recipe.With{l} Recipe.With{r}:Schema.same_route(l,r)
134    case Recipe.Without{l} Recipe.Without{r}:Schema.same_route(l,r)
135    case Recipe.And{ll,lr} Recipe.And{rl,rr}:Bool.and(same_bound(ll,rl),same_bound(lr,rr))
136    case Recipe.Or{ll,lr} Recipe.Or{rl,rr}:Bool.and(same_bound(ll,rl),same_bound(lr,rr))
137    case _ _:False{}