def resource_observed

bendvy-ecs-core@0.1.0.4 · ordinary_app_observation.bend:13

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

13def resource_observed(~S:Data,~C:Type,~R:Type,~E:Data,~V:Data,name:String,render:V -> String,result:W.World<S,C,R,E> & V) -> W.World<S,C,R,E> & DTO.Observation<V>:
14  match result:
15    case (world,+value):(world,DTO.Observation{value,[name ++ "=" ++ render(value)]})