~/jendhub

def build_head_done

bendvy-ecs-core@0.1.0.4 · feature.bend:111

import bendvy-ecs-core@0.1.0.4/feature.bend as Feature
import Base

111def build_head_done(~S:Data,~Ctx:Type,~HO:Type,~TO:Type,~HE:Type,~TE:Type,~tail:Ctx -> TO -> Ctx & Output<S,TE>,owners:TO,observed:Ctx & Output<S,HE>) -> Ctx & Output<S,Pack<HE,TE>>:
112  match observed:
113    case (ctx,output): combine(~S,~Ctx,~HE,~TE,tail(ctx,owners),output)

Uses (5)

Used by (1)