type Family

bendvy-ecs-core@0.1.0.3 · component.bend:12

import Base
import column.bend as Col

12# Caller-authored schema lenses are trusted provisioning. The gameplay callback
13# receives only universally quantified provider handles, never these owners.
14# Trusted schema provisioning for one component column and detached Data view V.
15# take/put must return the actual affine storage owners; project returns C with V.
16# The nominal Token distinguishes families; the display name is not access proof.
17type Family<-S: Data,-Store: Type,-Rest: Type,-C: Type,-V: Data,-Token: Data,-take: Store -> Rest & Col.Column<S,C>,-put: Rest -> Col.Column<S,C> -> Store,-project: C -> C & V> is Data:
18  Family{name: String}