Function adapton::catalog::collections::list_map_eager2
[−]
[src]
pub fn list_map_eager2<X: 'static, Le: 'static + ListElim<X>, Y: 'static, Li: 'static + ListIntro<Y>, F: 'static>(
l: Le,
body: Rc<F>
) -> Li where
F: Fn(X) -> Y,
Eagerly maps the list. Uses (eager) memoization for each name in
l
. Unlike list_map_eager, it allocates a reference cell for
each name, separate from the memoized thunk for the recursive
call.