Module list.functional.higher

This module implements a bunch of higher-order functions on the functional lists, namely map, reduce and foreach.

Index

Functions