package base_trie

  1. Overview
  2. Docs
package base_trie
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Trie.IteratorSource

Sourcemodule type Impl0 = sig ... end
Sourcemodule type Impl1 = sig ... end
Sourcemodule type Listable0 = sig ... end
Sourcemodule type Listable1 = sig ... end
Sourcetype ('iter, 'seq, 'elt, 'idx) t = private (module Impl0 with type elt = 'elt and type seq = 'seq and type t = 'iter)

Represents an iterator implementation. Iterators have type 'iter. They iterate over sequential collections of type 'seq containing elements of type 'elt. The implementation is identified by the phantom type 'idx.

Sourcemodule type S0 = sig ... end
Sourcemodule type S1 = sig ... end

Accessors into the implementation of an iterator.

Sourceval start : ('iter, 'seq, _, _) t -> 'seq -> 'iter
Sourceval is_finished : ('iter, 'seq, _, _) t -> 'iter -> 'seq -> Base.bool
Sourceval get_exn : ('iter, 'seq, 'elt, _) t -> 'iter -> 'seq -> 'elt
Sourceval next_exn : ('iter, 'seq, _, _) t -> 'iter -> 'seq -> 'iter

Modules and functors for constructing iterators.

Sourcemodule Make1 (Impl : Impl1) : S1 with type 'a t = 'a Impl.t and type 'a seq = 'a Impl.seq and type 'a elt = 'a Impl.elt
Sourcemodule Make0 (Impl : Impl0) : S0 with type t = Impl.t and type seq = Impl.seq and type elt = Impl.elt
Sourcemodule Of_string : S0 with type seq = Base.string and type elt = Base.char
Sourcemodule Of_list : S1 with type 'a seq = 'a Base.list and type 'a elt = 'a
Sourcemodule Of_listable0 (Seq : Listable0) : S0 with type seq = Seq.t and type elt = Seq.elt
Sourcemodule Of_listable1 (Seq : Listable1) : S1 with type 'a seq = 'a Seq.t and type 'a elt = 'a Seq.elt