This library enables you to work with large sequences of elements. It provides constructors and combinators to build finite sequences that can be iterated through with a low memory footprint.
Published: 07 Nov 2016
Finite lazy enumerators
The enumerators library enables you to work with large sequences of elements.
Let's assume you want to scan ports of a few hosts on your network. Your first task is to enumerate those ports. Naturally, as the list can grow big, you don't want to have them all in memory at the same time. This is were this library comes into play.
In this example, targets have the type
string * int where the first element is the IP address and the second element is the network port. Here is a function to print such a target:
let print_target (ip, port) = Printf.printf "[%s]:%d\n" ip port
The following instructions will enable you to get a listing of the targets:
Define the address enumerator from a list of strings with
Define the port enumerator with
Define the enumerator for targets as a cartesian product of the addresses and the ports with
Iterate over this final enumerator to print each element.
Here's how you can do it:
let () = let addresses = Enumerator.make ["2001:db8::1"; "2001:db8::2"] in let ports = Enumerator.range 1 1024 in let targets = Enumerator.product addresses ports in Enumerator.iter print_target targets
You should get the following output:
[2001:db8::1]:1 [2001:db8::2]:1 [2001:db8::1]:2 [2001:db8::2]:2 [2001:db8::1]:3 [2001:db8::2]:3 ...
This library is available under the 2-clause BSD license. See
LICENSE.md for more information.