~/jendhub

def extract_value

bendvy-ecs-core@0.1.0.4 · internal/compact_operational_frame.bend:26

import bendvy-ecs-core@0.1.0.4/internal/compact_operational_frame.bend as CompactOperationalFrame
import Base
import bendvy-ecs-core@0.1.0.4/compose.bend as Q

26def extract_value(~S:Data,~Store:Type,~R:Type,~E:Data,~V:Data,observed:Q.Frame<S,Store,R,E> & V) -> Frame<S,Store,R,E> & V:
27  match observed:
28    case (frame,value):(extract(~S,~Store,~R,~E,frame),value)

Uses (5)

Used by (1)