~/jendhub

def after_run

bendvy-ecs-core@0.1.0.4 · query.bend:59

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

59def after_run(~S: Data,~Store: Type,~R: Type,~E: Data,~U: Data,next: T.Tx<W.World<S,Store,R,E>,E> -> T.Tx<W.World<S,Store,R,E>,E> & T.Outcome<Pv.Error<U>>,observed: T.Tx<W.World<S,Store,R,E>,E> & T.Outcome<Pv.Error<U>>) -> T.Tx<W.World<S,Store,R,E>,E> & T.Outcome<Pv.Error<U>>:
60  match observed:
61    case (tx,T.Success{}): next(tx)
62    case (tx,T.Failure{error}): (tx,T.Failure{error})

Uses (6)

Used by (1)