~/jendhub

def build_head

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

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

114def build_head(~S:Data,~Ctx:Type,~HO:Type,~TO:Type,~HE:Type,~TE:Type,~head:Ctx -> HO -> Ctx & Output<S,HE>,~tail:Ctx -> TO -> Ctx & Output<S,TE>,ctx:Ctx,owners:Pack<HO,TO>) -> Ctx & Output<S,Pack<HE,TE>>:
115  match owners:
116    case Pack{ho,to}: build_head_done(~S,~Ctx,~HO,~TO,~HE,~TE,~tail,to,head(ctx,ho))

Uses (4)

Used by (0)

No other definition uses this definition.