~/jendhub

def identity_clock

bendvy-ecs-core@0.1.0.4 · ordinary_app_execution.bend:49

import bendvy-ecs-core@0.1.0.4/ordinary_app_execution.bend as OrdinaryAppExecution
import Base
import bendvy-ecs-core@0.1.0.4/change_tick.bend as Tick
import bendvy-ecs-core@0.1.0.4/execution_trace.bend as Trace
import bendvy-ecs-core@0.1.0.4/world.bend as W

49def identity_clock(~S:Data,~C:Type,~R:Type,~E:Data,namespace:U32,id:U32,name:Maybe<&2,String>,observed:W.World<S,C,R,E> & Tick.Tick) -> W.World<S,C,R,E> & (Trace.Identity & Tick.Tick):
50  match observed:
51    case (world,clock):(world,(Trace.Identity{namespace,id,name},clock))

Uses (8)

Used by (1)