~/jendhub

def and_join

bendvy-ecs-core@0.1.0.4 · compose.bend:167

import bendvy-ecs-core@0.1.0.4/compose.bend as Compose
import Base

167def and_join(~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:
168  match observed:
169    case (frame,False{}): (frame,False{})
170    case (frame,True{}): right(frame)

Uses (4)

Used by (1)