~/jendhub

def replaced

bendvy-ecs-core@0.1.0.4 · owned_family.bend:82

import bendvy-ecs-core@0.1.0.4/owned_family.bend as OwnedFamily
import Base
import restored_row.bend as R
import lifecycle.bend as L

82def replaced(~S:Data,~H:Type,~Rest:Type,~MetaRest:Type,~C:Type,~put:Rest -> R.Cell<S,C> -> H,~header:Rest -> MetaRest & Header<S>,~put_header:MetaRest -> Header<S> -> Rest,~journal:Rest -> Maybe<&1,C> -> L.Stamp -> Rest,rest:Rest,result:R.Replacement<S,C>) -> WriteResult<H,C>:
83  match result:
84    case R.Replaced{cell,previous,stamp}: Written{put(journal(rest,previous,stamp),cell)}
85    case R.Refused{cell,incoming}: replace_refused(~S,~H,~Rest,~MetaRest,~C,~put,~put_header,cell,incoming,header(rest))

Uses (8)

Used by (1)