def eligibility_result

bendvy-ecs-core@0.1.0.3 · execution_save_world.bend:40

import bendvy-ecs-core@0.1.0.3/execution_save_world.bend as ExecutionSaveWorld

import Base
import bendvy-ecs-core@0.1.0.3/execution_save_recipe.bend as Recipe

40def eligibility_result(result:Maybe<&2,String>,valid:Bool) -> Maybe<&2,Recipe.Refusal>:
41  match result:
42    case Some{key}:Some{Recipe.PlainUnserializable{key}}
43    case None{}:unique(valid)

Uses (5)

Used by (1)

bendvy-ecs-core@0.1.0.3/execution_save_world:eligibility