~/jendhub

def observation_left

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

import bendvy-ecs-core@0.1.0.4/ordinary_app_recipe.bend as OrdinaryAppRecipe
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_app_observation_data.bend as DTO

8def observation_left(~World:Type,~L:Data,~R:Data,~right:World -> World & DTO.Observation<R>,result:World & DTO.Observation<L>) -> World & DTO.Observation<DTO.Product<L,R>>:
9  match result:
10    case (world,DTO.Observation{value,text}):observation_right(~World,~L,~R,value,text,right(world))

Uses (5)

Used by (1)