def Recipes

bendvy-ecs-core@0.1.0.3 · execution_save_plan.bend:27

import Base
import bendvy-ecs-core@0.1.0.3/persistence_declaration.bend as Decl
import bendvy-ecs-core@0.1.0.3/owner_product.bend as Product

27def Recipes(~S:Data,plan:Plan) -> Type:
28  match plan:
29    case Empty{}:Unit
30    case Plain{P,_,_,key,_}:Decl.Plain<S,P,identity(~S,~P,key)>
31    case Transient{P,_,_,key,_}:Decl.Transient<S,P,identity(~S,~P,key)>
32    case Constructed{P,_,_,key,project,_}:Decl.Constructed<S,P,identity(~S,~P,key),project>
33    case Pair{left,right}:Product.Owner<Recipes(~S,left),Recipes(~S,right)>