def right_take

bendvy-ecs-core@0.1.0.4 · ordinary_event_family.bend:118

import bendvy-ecs-core@0.1.0.4/ordinary_event_family.bend as OrdinaryEventFamily

import Base
import owner_product.bend as Product
import event_stream.bend as Leaf

118def right_take(~S:Data,~E:Data,~FA:Type,~FB:Type,~take:FB -> FB & Leaf.Stream<S,E>,family:Product.Owner<FA,FB>) -> Product.Owner<FA,FB> & Leaf.Stream<S,E>:
119  match family:
120    case Product.Owner{first,second}:selected_right(~S,~E,~FA,~FB,first,take(second))

Uses (4)

Used by (2)