~/jendhub

def drive

bendvy-ecs-core@0.1.0.3 · relation_cleanup_engine.bend:14

import bendvy-ecs-core@0.1.0.3/relation_cleanup_engine.bend as RelationCleanupEngine
import Base
import bendvy-ecs-core@0.1.0.3/relation_types.bend as G

14def drive(~S:Data,~State:Type,~step:Step(~S,~State),fuel: Nat,frames: List<&2,G.CleanupFrame<S>>,world: State,+namespace: U32,+descriptors: List<&2,G.Descriptor<S>>) -> Progress<S,State>:
15  match fuel frames:
16    case _ Nil{}: Complete{world}
17    case 0n frames: Incomplete{world,frames}
18    case 1n+rest Con{frame,frames}: resumed_generic(S,State,step(frame,world,namespace,descriptors,frames),world => frames => drive(~S,~State,~step,rest,frames,world,namespace,descriptors))

Uses (8)

Used by (2)