def installed_tail

bendvy-ecs-core@0.1.0.4 · bundle_install.bend:27

import Base
import bundle_pack.bend as B

27def installed_tail(~World:Type,~H:Type,~HQ:Type,~Tail:Type,~TQ:Type,undoHead:World -> Restore<World,H,HQ>,result:Attempt<World,Tail,TQ>) -> Attempt<World,B.Pack<H,Tail>,Recovery<World,H,HQ,Tail,TQ>>:
28  match result:
29    case Refused{world,tail,error}: refused_head(~World,~H,~HQ,~Tail,~TQ,undoHead(world),tail,error)
30    case Quarantined{world,tail,error}: Quarantined{world,TailPending{undoHead,tail},error}
31    case Installed{world,undoTail}: Installed{world,w => restored_tail(~World,~H,~HQ,~Tail,~TQ,undoHead,undoTail(w))}