def restored_head

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

import Base
import bundle_pack.bend as B

15def restored_head(~World:Type,~H:Type,~HQ:Type,~Tail:Type,~TQ:Type,result:Restore<World,H,HQ>,tail:Tail) -> Restore<World,B.Pack<H,Tail>,Recovery<World,H,HQ,Tail,TQ>>:
16  match result:
17    case Restored{world,head}: Restored{world,B.Pack{head,tail}}
18    case Pending{world,head,error}: Pending{world,HeadPending{head,tail},error}