def refused_head

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

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

23def 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>>:
24  match result:
25    case Restored{world,head}: Refused{world,B.Pack{head,tail},error}
26    case Pending{world,head,restoreError}: Quarantined{world,HeadPending{head,tail},restoreError}