Lazy::List(3) Lazy linked list type.


Lazy::List< a >
= nil()
| cons(a head,Lazy::List<a> () tail)


As Prelude.List(3kaya) , but using a function for the tail. The tail of the list will be generated only when required.


Kaya standard library by Edwin Brady, Chris Morris and others (k[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.