def eligibility

bendvy-ecs-core@0.1.0.3 · execution_save_recipe.bend:24

import Base
import bendvy-ecs-core@0.1.0.3/ordinary_declaration.bend as C
import bendvy-ecs-core@0.1.0.3/decode_data.bend as D

24def eligibility(~S:Data,~P:Type,~identity:C.Declaration<S,P>,~project:P -> P & D.Raw,recipe:Leaf<S,P,identity,project>) -> Leaf<S,P,identity,project> & Maybe<&2,Refusal>:
25  match recipe:
26    case Plain{}:(Plain{},Some{PlainUnserializable{C.key(~S,~P,identity)}})
27    case Transient{}:(Transient{},None{})
28    case Constructed{declaration}:(Constructed{declaration},None{})