type Declaration

bendvy-ecs-core@0.1.0.4 · ordinary_app_resource_field_declaration.bend:22

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

22# Same canonical field binding drives the grant and detached owning observation.
23# App declaration for a selected resource field or a declared machine/relation.
24# Combines an operational grant with its owner-threading Data observation and
25# renderer. Schema and resource path are fixed by the typed constructors below;
26# there is no live resource owner in this declaration. Ordinary resource-field
27# operations and explicit recoverable operations are distinct APIs; see
28# ordinary-recovery-resource-field for returned recovery owners.
29type Declaration<-S:Data,-C:Type,-R:Type,-E:Data,-Ops:Type -> Type,-V:Data> is Type:
30  Declaration{ordinary:Field.Declaration<S,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}