Feature.recipe_checked: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/feature.bend as Feature
Lines 163-166 of bendvy-ecs-core@0.1.0.4/feature.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/feature.bend&start_line=163&end_line=166

import Base

def recipe_checked(~S:Data,~Ctx:Type,~Owners:Type,~Extra:Type,result:Validation,ctx:Ctx,recipe:Recipe<S,Ctx,Owners,Extra>) -> RecipeResult<S,Ctx,Owners,Extra>:
  match result recipe:
    case Invalid{error} recipe: Refused{error,ctx,recipe}
    case Valid{} Recipe{_,owners,build}: recipe_completed(~S,~Ctx,~Owners,~Extra,build(ctx,owners))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/feature.bend&name=Recipe
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/feature.bend&name=RecipeResult
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/feature.bend&name=Validation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/feature.bend&name=recipe_completed