Lazy::traverse(3) Iteration over lazy lists


Void traverse( Bool(a, Int) block, Lazy::List<a> xs )


block The block of code to execute for each list element.

list The Lazy list to traverse


Used by for loops to traverse lazy Lazy.List(3kaya) data structure. It is unlikely that you will need to call this function directly.

If the List is infinite in size, this function will not exit unless the block function throws an exception or otherwise breaks out of the loop.


Kaya standard library by Edwin Brady, Chris Morris and others ([email protected]). For further information see


The Kaya standard library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License (version 2.1 or any later version) as published by the Free Software Foundation.