~/jendhub

def read_returned

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

import bendvy-ecs-core@0.1.0.4/provider.bend as Provider
import Base
import world.bend as W
import transaction.bend as T

103def read_returned(~S: Data,~Store: Type,~R: Type,~E: Data,~Out: Data,result: Frame<S,Store,R,E> & Out) -> T.Tx<W.World<S,Store,R,E>,E> & Out:
104  match result:
105    case (Frame{tx,_,_,_,_},value): (tx,value)

Uses (5)

Used by (1)