type Feature

bendvy-ecs-core@0.1.0.4 · feature.bend:126

import Base

126# Owned feature definition and trusted builder. build consumes/returns its
127# context and consumes Owners to produce Extra plus plans; raw callbacks remain
128# trusted setup rather than constrained system-body capabilities.
129type Feature<S:Data,Ctx:Type,Owners:Type,Extra:Type> is Type:
130  FeatureOwner{definition:Definition<S>,owners:Owners,build:Ctx -> Owners -> Ctx & Output<S,Extra>}