~/jendhub

def recipe_valid

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

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_recipe.bend as Recipe
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as L

83def recipe_valid(~S:Data,~WC:Type,~full:L.Layout,recipe:Recipe.Recipe<S,WC>) -> Bool:
84  match recipe:
85    case Recipe.Recipe{Recipe.Entry{route,_,selection,_}}:Bool.and(L.valid(full,route),Recipe.bound_valid(~full,selection))

Uses (7)

Used by (1)