type Recovery

bendvy-ecs-core@0.1.0.4 · machine_handler_bundle.bend:95

import Base
import world.bend as W
import system.bend as Sys
import machine_handlers.bend as H

95# Recovery explicitly retains all owners even for malformed internal zippers.
96# Normal public execution constructs its own partition and never accepts a zipper.
97type Recovery<S:Data,K:Data,V:Data,Q:Data,C:Type,R:Type,E:Data,-runner:W.World<S,C,R,E> -> H.Invocation<V> -> Sys.Outcome<W.World<S,C,R,E>,String,Unit>> is Type:
98  Recovery{entries:List<&1,Scheduled<S,K,V,Q,C,R,E,runner>>,positions:List<&2,Position<S,K,V,Q>>,kept:List<&1,H.Entry<S,C,R,E,V,runner>>,owners:H.Owners<S,C,R,E,V,runner>}