~/jendhub

def resources_left

bendvy-ecs-core@0.1.0.4 · ordinary_schema_dump.bend:65

import bendvy-ecs-core@0.1.0.4/ordinary_schema_dump.bend as OrdinarySchemaDump
import Base
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product

65def resources_left(~L:Type,~R:Type,~rightRead:R -> R & List<&2,Maybe<&2,String>>,right:R,result:L & List<&2,Maybe<&2,String>>) -> Product.Owner<L,R> & List<&2,Maybe<&2,String>>:
66  match result:
67    case (left,before):joined(~L,~R,left,before,rightRead(right))

Uses (7)

Used by (1)