package TCSLib

  1. Overview
  2. Docs

Module Tcsbasedata.Enumerators

type ('a, 'b) t = 'b -> ('b * 'a) option
type 'a enumerator
val make : ('a, 'b) t -> 'b -> 'a enumerator
val empty : 'a enumerator -> bool
val head : 'a enumerator -> 'a
val tail : 'a enumerator -> 'a enumerator
val next : 'a enumerator -> 'a enumerator * 'a
val to_iterator : 'a enumerator -> 'a Iterators.iterator
val of_array : 'a array -> 'a enumerator
val of_list : 'a list -> 'a enumerator
val singleton : 'a -> 'a enumerator
val map : ('a -> 'b) -> 'a enumerator -> 'b enumerator
val to_list : 'a enumerator -> 'a list