type Declaration

bendvy-ecs-core@0.1.0.4 · ordinary_app_resource_declaration.bend:8

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_resource_system.bend as P
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/transaction.bend as T

8# One static declaration constructs operational and owner-preserving observation routes.
9# It carries no runtime-owned World or resource payload.
10# App declaration for the entire Resources owner R in one schema S.
11# Keeps operational permissions, an owner-threading Data observation and its
12# renderer together. It contains no live World or resource instance. Choose
13# ordinary-app-resource-field-declaration when only one product field is needed.
14# Concrete setup: test-fixtures/public-schedules/named-app-v1/
15# matched-feature-v1/fixture.bend:declaration and reader_declaration.
16type Declaration<-S:Data,-C:Type,-R:Type,-E:Data,-Ops:Type -> Type,-V:Data> is Type:
17  Declaration{ordinary:P.Declaration<S,R,T.Tx<W.World<S,C,R,E>,E>,Ops(T.Tx<W.World<S,C,R,E>,E>)>,observe:W.World<S,C,R,E> -> W.World<S,C,R,E> & V,render:V -> String}