def ready

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

import Base
import world.bend as W
import capabilities.bend as Cap

78def ready(~S:Data,~Store:Type,~R:Type,~E:Data,~Ops:Type -> Type,~A:Data,~body:@-H:Type -> @-caps:Ops(H) -> A -> H -> H & Bool,~caps:Ops(Frame<S,Store,R,E>),args:A,result:W.World<S,Store,R,E> & List<&2,String>) -> Checked<S,Store,R,E>:
79  match result:
80    case (world,[]):completed(~S,~Store,~R,~E,Cap.invoke(~Ops,~A,~Bool,~body,~Frame<S,Store,R,E>,~caps,args,Frame{world}))
81    case (world,name <> rest):Checked{world,Fail{MissingRuntimeRequirements{name <> rest}}}