~/jendhub

def set

bendvy-ecs-core@0.1.0.4 · compose.bend:63

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

63# Advanced row write consuming actual C and returning Frame. Refusal records the
64# first access error and consumes rejected incoming C without returning a receipt.
65# Successful writes journal displaced payload/stamp for transaction rollback.
66def set(~S: Data,~Store: Type,~R: Type,~E: Data,~Rest: Type,~C: Type,~V: Data,~Token: Data,~take: Store -> Rest & Col.Column<S,C>,~put: Rest -> Col.Column<S,C> -> Store,~project: C -> C & V,~family: Cmp.Family<S,Store,Rest,C,V,Token,take,put,project>,frame: Frame<S,Store,R,E>,replacement: C) -> Frame<S,Store,R,E>:
67  match frame:
68    case Frame{tx,+handle,error,cursor}: written(~S,~Store,~R,~E,~C,handle,error,cursor,Cmp.tx_set(~S,~Store,~R,~E,~Rest,~C,~V,~Token,~take,~put,~project,family,tx,handle,replacement))

Uses (6)

Used by (2)