Module EphemeralSequence.Make

Parameters

• SChunk : Sek__.PrivateSignatures.SCHUNK
• Settings : sig ... end
• SSeq : Sek__.PrivateSignatures.SSEQ with type 'a schunk = 'a SChunk.t and type 'a measure = 'a SChunk.measure
• M : Sek__.PrivateSignatures.WITER with type 'a t = 'a SSeq.t and type 'a measure = 'a SChunk.measure

Signature

type 'a t

val create : 'a -> 'a t

val make : 'a -> Sek__.PublicTypeAbbreviations.length -> 'a -> 'a t

val init : 'a -> Sek__.PublicTypeAbbreviations.length -> (Sek__.PublicTypeAbbreviations.index -> 'a) -> 'a t

val default : 'a t -> 'a

val length : 'a t -> int

val is_empty : 'a t -> bool

val clear : 'a t -> unit

val shallow_copy : 'a t -> 'a t

val assign : 'a t -> 'a t -> unit

val push : Sek__.PrivateSignatures.pov -> 'a t -> 'a -> unit

val pop : Sek__.PrivateSignatures.pov -> 'a t -> 'a

val peek : Sek__.PrivateSignatures.pov -> 'a t -> 'a

val get : 'a t -> Sek__.PublicTypeAbbreviations.index -> 'a

val set : 'a t -> Sek__.PublicTypeAbbreviations.index -> 'a -> unit

val concat : 'a t -> 'a t -> 'a t

val append : Sek__.PrivateSignatures.pov -> 'a t -> 'a t -> unit

val split : 'a t -> Sek__.PublicTypeAbbreviations.index -> 'a t * 'a t

val carve : Sek__.PrivateSignatures.pov -> 'a t -> Sek__.PublicTypeAbbreviations.length -> 'a t

val take : 'a t -> Sek__.PublicTypeAbbreviations.length -> unit

val drop : 'a t -> Sek__.PublicTypeAbbreviations.length -> unit

val iter_segments : Sek__.PrivateSignatures.pov -> 'a t -> 'a Sek__.PublicTypeAbbreviations.segments

val to_list : 'a t -> 'a list

val to_array : 'a t -> 'a array

val of_array_segment : 'a -> 'a array -> Sek__.PublicTypeAbbreviations.index -> Sek__.PublicTypeAbbreviations.length -> 'a t

val snapshot_and_clear : 'a t -> 'a SSeq.t

val edit : 'a SSeq.t -> 'a t

val format : PPrint.ToFormatter.channel -> int t -> unit

val check : 'a t -> unit