~/jendhub

def resource_observe

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

import bendvy-ecs-core@0.1.0.4/ordinary_optional_resource_observation.bend as OrdinaryOptionalResourceObservation
import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/ordinary_app_observation_data.bend as DTO
import bendvy-ecs-core@0.1.0.4/ordinary_optional_resource_declaration.bend as D

8def resource_observe(~S:Data,~C:Type,~R:Type,~E:Data,~Ops:Type -> Type,~V:Data,~declaration:D.Declaration<S,C,R,E,Ops,V>,world:W.World<S,C,R,E>) -> W.World<S,C,R,E> & DTO.Observation<V>:
9  resource_returned(~S,~C,~R,~E,~Ops,~V,~declaration,D.observer(~S,~C,~R,~E,~Ops,~V,declaration)(world))

Uses (6)

Used by (3)