package TCSLib

  1. Overview
  2. Docs
package TCSLib
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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct