def installed_head

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

import Base
import bundle_pack.bend as B

32def installed_head(~World:Type,~H:Type,~HQ:Type,~Tail:Type,~TQ:Type,~installTail:World -> Tail -> Attempt<World,Tail,TQ>,result:Attempt<World,H,HQ>,tail:Tail) -> Attempt<World,B.Pack<H,Tail>,Recovery<World,H,HQ,Tail,TQ>>:
33  match result:
34    case Refused{world,head,error}: Refused{world,B.Pack{head,tail},error}
35    case Quarantined{world,head,error}: Quarantined{world,HeadPending{head,tail},error}
36    case Installed{world,undo}: installed_tail(~World,~H,~HQ,~Tail,~TQ,undo,installTail(world,tail))