Module Sek__.Adapters

('a, 'c) iter is the conventional type of an iter function that iterates over a collection of type 'c whose elements have type 'a.

('a, 'c) iter is the conventional type of an iteri function that iterates over a collection of type 'c whose elements have type 'a.

('a, 'b, 'c) fold_left is the conventional type of a fold_left function that iterates over a collection of type 'c whose elements have type 'a and that carries an accumulator of type 'b. The accumulator is the first argument of the user function that represents the loop body. By convention, if the collection represents a sequence, then iteration should be performed left-to-right.

('a, 'b, 'c) fold_right is the conventional type of a fold_right function that iterates over a collection of type 'c whose elements have type 'a and that carries an accumulator of type 'b. The accumulator is the second argument of the user function that represents the loop body. By convention, if the collection represents a sequence, then iteration should be performed right-to-left.

fold_left transforms an iter function, which should perform left-to-right iteration, into a fold_left function.

fold_right transforms an iter function, which should perform right-to-left iteration, into a fold_right function.

iteri_left transforms an iter function, which should perform left-to-right iteration, into an iteri_left function, which counts up from 0.

iteri_right requires a length function and transforms an iter function, which should perform right-to-left iteration, into an iteri_right function, which counts down from length s - 1.

('a1, 'a2, 'c1, 'c2) iter2 is the conventional type of an iter2 function that iterates synchronously over two collections of type 'c1 and 'c2 whose elements have types 'a1 and 'a2, respectively.

('a1, 'a2, 'b 'c1, 'c2) fold_left2 is the conventional type of a fold_left2 function that iterates synchronously over two collections of type 'c1 and 'c2 whose elements have types 'a1 and 'a2, respectively, while maintaining an accumulator of type 'b. By convention, if the collection represents a sequence, then iteration should be performed left-to-right.

('a1, 'a2, 'b, 'c1, 'c2) fold_right2 is the conventional type of a fold_right2 function that iterates synchronously over two collections of type 'c1 and 'c2 whose elements have types 'a1 and 'a2, respectively, while maintaining an accumulator of type 'b. By convention, if the collection represents a sequence, then iteration should be performed right-to-left.

fold_left2 transforms an iter2 function, which should perform left-to-right iteration, into a fold_left2 function.

fold_right2 transforms an iter2 function, which should perform right-to-left iteration, into a fold_right2 function.

('a, 'c) to_list is the conventional type of a to_list function that converts a collection of type 'c, whose elements have type 'a, to a list.

to_list transforms an iter_right function, which should perform right-to-left iteration, into a to_list function.

'a iterator is the conventional type of a mutable iterator on a sequence, packaged as a function next, which returns a new element of the sequence every time it is invoked, and raises the exception Exhausted if no more elements are available.

iterator_of_seq transforms a sequence (in the sense of the module Seq) into a mutable iterator.

iterator_of_list transforms a list into a mutable iterator.