def validate_recipe

bendvy-ecs-core@0.1.0.3 · execution_query_matches.bend:63

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

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

Uses (6)

Used by (1)