type Disposal

bendvy-ecs-core@0.1.0.4 · relation_failure_disposal.bend:8

import Base
import relation_failure_runtime.bend as K
import world.bend as W
import system.bend as Sy

8# Supplemental owned Bend contract: pinned TS has no public unregister method.
9# Release stream membership only after actual successful Sy.dispose.
10type Disposal<S: Data,C: Type,R: Type,E: Data,A: Type,Error: Data,O: Type,-runner: W.World<S,C,R,E> -> K.Input<S,E,A> -> Sy.Outcome<W.World<S,C,R,E>,Error,O>> is Type:
11  ReaderDisposed{runtime: K.Runtime<S,C,R,E>}
12  ReaderDisposalRejected{runtime: K.Runtime<S,C,R,E>,reader: K.Reader<S,C,R,E,A,Error,O,runner>}