type Slot

bendvy-ecs-core@0.1.0.4 · ordinary_optional_resource.bend:9

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_schema.bend as Schema

9# Storage absence is distinct from an optional value of a present resource.
10# Identity still names P; the physical field holds its optional affine owner.
11type Slot<-S:Data,-P:Type,-identity:Schema.Resource<S,P>> is Type:
12  Missing{}
13  Present{owner:P}