~/jendhub

def resources_join

bendvy-ecs-core@0.1.0.4 · restore_save.bend:7

import bendvy-ecs-core@0.1.0.4/restore_save.bend as RestoreSave
import Base
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product
import bendvy-ecs-core@0.1.0.4/decode_data.bend as D

7def resources_join(~User:Type,~Logs:Type,logs:Logs,observed:User & List<&2,D.Field>) -> Product.Owner<User,Logs> & List<&2,D.Field>:
8  match observed:
9    case (user,fields):(Product.Owner{user,logs},fields)

Uses (5)

Used by (1)