merge_weighted: Merge two streams so that the result is ordered

Description Usage Arguments

Description

The weight function is used to order the elements

Usage

1
merge_weighted(stream1, stream2, weight)

Arguments

stream1

a lazy list

stream2

a lazy list

weight

a function with one required argument


tarakc02/lazylist documentation built on May 31, 2019, 3:51 a.m.