~/jendhub

def recovery_join

bendvy-ecs-core@0.1.0.4 · restore_product.bend:31

import bendvy-ecs-core@0.1.0.4/restore_product.bend as RestoreProduct
import Base
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product

31def recovery_join(~L:Type,~Right:Type,~LR:Type,~RR:Type,left:L,recovery:LR,observed:Right & RR) -> Product.Owner<L,Right> & Product.Owner<LR,RR>:
32  match observed:
33    case (right,more):(Product.Owner{left,right},Product.Owner{recovery,more})

Uses (3)

Used by (1)