ExecutionQueryMatches.validate_recipe: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_query_matches.bend as ExecutionQueryMatches
Lines 63-67 of bendvy-ecs-core@0.1.0.3/execution_query_matches.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_matches.bend&start_line=63&end_line=67

import Base
import bendvy-ecs-core@0.1.0.3/execution_query_domain.bend as D

def validate_recipe(+capacity:U32,recipe:Recipe) -> Bool:
  match recipe:
    case Read{domain}:inventory_valid(D.validate(capacity,domain))
    case Write{domain}:inventory_valid(D.validate(capacity,domain))
    case Both{left,right}:Bool.and(validate_recipe(capacity,left),validate_recipe(capacity,right))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_domain.bend&name=validate
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_matches.bend&name=Recipe
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_matches.bend&name=inventory_valid