BundleInstall.refused_head: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/bundle_install.bend as BundleInstall
Lines 23-26 of bendvy-ecs-core@0.1.0.4/bundle_install.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/bundle_install.bend&start_line=23&end_line=26

import Base
import bundle_pack.bend as B
import world.bend as W

def refused_head(~World:Type,~H:Type,~HQ:Type,~Tail:Type,~TQ:Type,result:Restore<World,H,HQ>,tail:Tail,error:W.WorldError) -> Attempt<World,B.Pack<H,Tail>,Recovery<World,H,HQ,Tail,TQ>>:
  match result:
    case Restored{world,head}: Refused{world,B.Pack{head,tail},error}
    case Pending{world,head,restoreError}: Quarantined{world,HeadPending{head,tail},restoreError}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/bundle_install.bend&name=Attempt
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/bundle_install.bend&name=Recovery
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/bundle_install.bend&name=Restore
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/bundle_pack.bend&name=Pack
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=WorldError