~/jendhub

def whole_left

bendvy-ecs-core@0.1.0.3 · execution_query_lifecycle.bend:13

import bendvy-ecs-core@0.1.0.3/execution_query_lifecycle.bend as ExecutionQueryLifecycle
import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as L
import bendvy-ecs-core@0.1.0.3/owner_product.bend as Product
import bendvy-ecs-core@0.1.0.3/lifecycle.bend as Life

13def whole_left(~S:Data,-left:L.Layout,-right:L.Layout,other:L.columns(~S,right),result:L.columns(~S,left) & Life.Stamp) -> L.columns(~S,L.LayoutPair{left,right}) & Life.Stamp:
14  match result:
15    case (owner,stamp):(Product.Owner{owner,other},stamp)

Uses (6)

Used by (1)