~/jendhub

def and_selected

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

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

47def and_selected(~S:Data,~Store:Type,~R:Type,~E:Data,~right:Frame<S,Store,R,E> -> Frame<S,Store,R,E> & Bool,observed:Frame<S,Store,R,E> & Bool) -> Frame<S,Store,R,E> & Bool:
48  match observed:
49    case (frame,False{}):(frame,False{})
50    case (frame,True{}):right(frame)

Uses (4)

Used by (1)