~/jendhub

def returned

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

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

96def returned(~S: Data,~Store: Type,~R: Type,~E: Data,~U: Data,result: Frame<S,Store,R,E> & T.Outcome<U>) -> T.Tx<W.World<S,Store,R,E>,E> & T.Outcome<Error<U>>:
97  match result:
98    case (Frame{tx,_,_,_,internal},user): (tx,outcome(~U,internal,user))

Uses (8)

Used by (1)