def written

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

import Base
import bendvy-ecs-core@0.1.0.4/change_tick.bend as Tick
import world.bend as W
import component.bend as Cmp
import transaction.bend as T

58def written(~S: Data,~Store: Type,~R: Type,~E: Data,~C: Type,handle: W.Handle<S>,error: Maybe<&2,W.WorldError>,cursor: Maybe<&2,Tick.Tick>,result: Cmp.SetResult<T.Tx<W.World<S,Store,R,E>,E>,C>) -> Frame<S,Store,R,E>:
59  match result:
60    case Cmp.Written{tx}: Frame{tx,handle,error,cursor}
61    case Cmp.WriteRejected{tx,_,reason}: Frame{tx,handle,first_error(error,reason),cursor}
62    case Cmp.WriteFailure{tx,reason}: Frame{tx,handle,first_error(error,reason),cursor}