~/jendhub

def aux_get

bendvy-ecs-core@0.1.0.4 · provider.bend:30

import bendvy-ecs-core@0.1.0.4/provider.bend as Provider
import Base
import column.bend as Col
import component.bend as Cmp

30def aux_get(~S: Data,~Store: Type,~R: Type,~E: Data,~AuxRest: Type,~AuxC: Type,~AuxV: Data,~AuxToken: Data,~aux_take: Store -> AuxRest & Col.Column<S,AuxC>,~aux_put: AuxRest -> Col.Column<S,AuxC> -> Store,~aux_project: AuxC -> AuxC & AuxV,frame: Frame<S,Store,R,E>) -> Frame<S,Store,R,E> & Cmp.Access<AuxV>:
31  match frame:
32    case Frame{tx,+handle,+mainName,+auxName,+error}:
33      read_join(~S,~Store,~R,~E,~AuxV,handle,mainName,auxName,error,Cmp.tx_get(~S,~Store,~R,~E,~AuxRest,~AuxC,~AuxV,~AuxToken,~aux_take,~aux_put,~aux_project,Cmp.Family{auxName},tx,handle))

Uses (7)

Used by (2)