~/jendhub

def units

bendvy-ecs-core@0.1.0.4 · relation_cleanup.bend:68

import bendvy-ecs-core@0.1.0.4/relation_cleanup.bend as RelationCleanup
import Base
import relation_types.bend as G
import relation_commands.bend as A
import world.bend as W

68# Structural product budget. No scalar Nat aggregate/product is computed.
69# Small units retain one affine World+continuation and short-circuit Complete.
70def units(~S:Data,~C:Type,~R:Type,~E:Data,~clear:C -> W.Handle<S> -> C & List<&2,A.Notice<S,E>>,~record:W.Handle<S> -> A.Notice<S,E>,fuel:Nat,result:CleanupResult<S,C,R,E>,namespace:U32,descriptors:List<&2,G.Descriptor<S>>) -> CleanupResult<S,C,R,E>:
71  match result:
72    case Complete{world}: Complete{world}
73    case Incomplete{world,frames}: drive(~S,~C,~R,~E,~clear,~record,fuel,frames,world,namespace,descriptors)

Uses (9)

Used by (3)