~/jendhub

def take_column

bendvy-ecs-core@0.1.0.4 · declared_family.bend:15

import bendvy-ecs-core@0.1.0.4/declared_family.bend as DeclaredFamily
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_declaration.bend as Identity
import bendvy-ecs-core@0.1.0.4/persistence_declaration.bend as Decl
import bendvy-ecs-core@0.1.0.4/snapshot_leaf.bend as Leaf
import bendvy-ecs-core@0.1.0.4/decode_data.bend as D
import bendvy-ecs-core@0.1.0.4/column.bend as Col

15def take_column(~S:Data,~P:Type,~Store:Type,~Rest:Type,~identity:Identity.Declaration<S,P>,~save:P -> P & D.Raw,~take:Store -> Rest & Leaf.Component<S,P,identity,save>,owner:Store) -> (Rest & Decl.Constructed<S,P,identity,save>) & Col.Column<S,P>:
16  split(~S,~P,~Rest,~identity,~save,take(owner))

Uses (7)

Used by (8)