~/jendhub

def recipe_checked

bendvy-ecs-core@0.1.0.4 · feature.bend:163

import bendvy-ecs-core@0.1.0.4/feature.bend as Feature
import Base

163def 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>:
164  match result recipe:
165    case Invalid{error} recipe: Refused{error,ctx,recipe}
166    case Valid{} Recipe{_,owners,build}: recipe_completed(~S,~Ctx,~Owners,~Extra,build(ctx,owners))

Uses (4)

Used by (1)