Module Sek__.Generic
include Sek__.PublicSignature
Type Abbreviations
type index
= int
An index into a sequence is an integer. It is comprised between 0 (included) and the length of the sequence (excluded or included, depending on the circumstances).
type 'a segment
= 'a array * index * length
An array segment is described by a triple of an array
a
, a start indexi
, and a lengthk
.
type 'a segments
= ('a segment -> unit) -> unit
A sequence of array segments is represented by a higher-order iterator.
Library API
module type ITER = sig ... end
The signature
ITER
is the core iterator API. It is common to ephemeral and persistent sequences. Please follow the link for details.
module type ITER_EPHEMERAL = sig ... end
The signature
ITER_EPHEMERAL
extends the iterator API with concepts and operations that exist only in the case of iterators over ephemeral sequences. Please follow the link for details.
module IterCreatePush : functor (S : sig ... end) -> sig ... end
val uniq : ('a -> bool) -> ('b -> 'c) -> ('a -> 'b) -> (Sek__.PrivateSignatures.pov -> 'a -> 'd) -> (('d -> bool) -> 'a -> 'e) -> (Sek__.PrivateSignatures.pov -> 'e -> 'd -> 'c) -> ('d -> 'd -> int) -> 'a -> 'c
module IteratorsInit : functor (S : sig ... end) -> sig ... end