def both

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

import Base

171# Conjoin predicates left before right, passing the actual returned Frame onward.
172# False short-circuits right and preserves the owner returned by left; True passes
173# that owner to right. See examples/query-composition/declarations.bend.
174def both(~S: Data,~Store: Type,~R: Type,~E: Data,~left: Frame<S,Store,R,E> -> Frame<S,Store,R,E> & Bool,~right: Frame<S,Store,R,E> -> Frame<S,Store,R,E> & Bool,frame: Frame<S,Store,R,E>) -> Frame<S,Store,R,E> & Bool:
175  and_join(~S,~Store,~R,~E,~right,left(frame))