~/jendhub

def required_field

bendvy-ecs-core@0.1.0.3 · check.bend:82

import bendvy-ecs-core@0.1.0.3/check.bend as Check
import Base
import world.bend as W

82def required_field(~S:Data,~Store:Type,~R:Type,~E:Data,~Ops:Type -> Type,plan:Plan<S,Store,R,E,Ops>) -> W.World<S,Store,R,E> -> W.World<S,Store,R,E> & List<&2,String>:
83  match plan:
84    case Plan{required,_}:required

Uses (5)

Used by (1)