package TCSLib

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type !'a iterator = ('a -> bool) -> unit

type !'a full_iterator = ('a -> unit) -> unit

val is_empty : 'a iterator -> bool

val cardinal : 'a iterator -> int

val first : 'a iterator -> 'a

val iter : 'a iterator -> 'a full_iterator

val map : ('a -> 'b) -> 'a iterator -> 'b iterator

val exists : 'a iterator -> ('a -> bool) -> bool

val forall : 'a iterator -> ('a -> bool) -> bool

val fold : 'a iterator -> ('a -> 'c -> 'c) -> 'c -> 'c

val filter : ('a -> bool) -> 'a iterator -> 'a iterator

val to_list : 'a iterator -> 'a list

val of_list : 'a list -> 'a iterator

val explicit : 'a iterator -> 'a iterator

val singleton : 'a -> 'a iterator

val to_array : 'a iterator -> 'a array

val of_array : 'a array -> 'a iterator

val of_full_iterator : 'a full_iterator -> 'a iterator

val second_if_first_empty : 'a iterator -> 'a iterator -> 'a iterator

val attach : 'a iterator -> 'a iterator -> 'a iterator

val flatten : 'a iterator iterator -> 'a iterator

val product : 'a iterator -> 'b iterator -> ('a * 'b) iterator

val depend_product : 'a iterator -> ('a -> 'b iterator) -> ('a * 'b) iterator

val mapped_product : 'a iterator -> ('a -> 'b iterator) -> 'b iterator

val option_iterator : 'a iterator -> 'a option iterator