def put

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

import Base

21def put(~L:Type,~R:Type,path:Path,rest:Rest(~L,~R,path),part:Part(~L,~R,path)) -> Owner<L,R>:
22  match path:
23    case Left{}:Owner{part,rest}
24    case Right{}:Owner{rest,part}