def row_completed

bendvy-ecs-core@0.1.0.4 · recognized_system.bend:18

import bendvy-ecs-core@0.1.0.4/recognized_system.bend as RecognizedSystem
import Base
import bendvy-ecs-core@0.1.0.4/internal/compact_operational_frame.bend as F
import bendvy-ecs-core@0.1.0.4/compose.bend as Q
import bendvy-ecs-core@0.1.0.4/transaction.bend as T

18def row_completed(~S:Data,~Store:Type,~R:Type,~E:Data,~U:Data,~Out:Data,frame:F.Frame<S,Store,R,E>,value:Out,status:T.Outcome<Q.Error<U>>) -> F.Frame<S,Store,R,E> & Q.RowResult<U,Out>:
19  match status:
20    case T.Success{}:(frame,Q.Passed{value})
21    case T.Failure{error}:(frame,Q.Failed{error})

Uses (6)

Used by (1)