~/jendhub

def budgeted

bendvy-ecs-core@0.1.0.3 · execution_save_layout_field.bend:26

import bendvy-ecs-core@0.1.0.3/execution_save_layout_field.bend as ExecutionSaveLayoutField
import Base
import bendvy-ecs-core@0.1.0.3/execution_save_recipe.bend as Recipe
import bendvy-ecs-core@0.1.0.3/decode_data.bend as D

26def budgeted(-P:Type,owner:P,key:String,+codec:D.Codec,+raw:D.Raw,+fuel:Nat) -> P & Recipe.Field:
27  checked(P,owner,key,codec,fuel,D.validate(fuel,D.Continue{[D.Work{codec,raw,"$"}]},raw))

Uses (11)

Used by (1)