~/jendhub

def take

bendvy-ecs-core@0.1.0.3 · owner_product.bend:17

import bendvy-ecs-core@0.1.0.3/owner_product.bend as OwnerProduct
import Base

17def take(~L:Type,~R:Type,path:Path,owner:Owner<L,R>) -> Rest(~L,~R,path) & Part(~L,~R,path):
18  match path owner:
19    case Left{} Owner{left,right}:(right,left)
20    case Right{} Owner{left,right}:(left,right)

Uses (6)

Used by (1)