~/jendhub

def transition_done

bendvy-ecs-core@0.1.0.4 · ordinary_app_stream.bend:30

import bendvy-ecs-core@0.1.0.4/ordinary_app_stream.bend as OrdinaryAppStream
import Base
import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap
import bendvy-ecs-core@0.1.0.4/inspector_transition_projection.bend as T
import bendvy-ecs-core@0.1.0.4/inspector_failure_projection.bend as Fail

30def transition_done(~S:Data,~K:Data,~V:Data,~E:Data,~H:Type,~grant:Cap.ValueRead<H,Fail.FailureView<S,E>>,returned:H & T.TransitionLog<S,K,V>) -> H & Values<S,K,V,E>:
31  (owner,transitions)=returned
32  failure_done(~S,~K,~V,~E,~H,transitions,Cap.value_read(~H,~Fail.FailureView<S,E>,~grant,owner))

Uses (8)

Used by (1)