Blit_intf.Blit.Make1

module Make1:

functor (Sequence : sig

type 'a t

Make1 guarantees to only call create_like ~len t with len > 0 if length t > 0.

val create_like : len:int -> 'a t -> 'a t

val length : 'a t -> int

val unsafe_blit : ('a t, 'a t) Blit_intf.blit

type 'a z

val create_bool : len:int -> bool z t

val get : 'a z t -> int -> 'a

val set : 'a z t -> int -> 'a -> unit

val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t

Make1 guarantees to only call create_like ~len t with len > 0 if length t > 0.

end) -> S1 with type 'a t := 'a Sequence.t

Make1 is for blitting between two values of the same polymorphic type.

Parameters:

Sequence : sig type 'a t with sexp_of (** [Make1] guarantees to only call [create_like ~len t] with [len > 0] if [length t > 0]. *) val create_like : len:int -> 'a t -> 'a t val length : _ t -> int val unsafe_blit : ('a t, 'a t) blit (* [create], [get], and [set] are just used for unit tests. [z] is needed for [Flat_tuple_array]. *) type 'a z val create_bool : len:int -> bool z t val get : 'a z t -> int -> 'a val set : 'a z t -> int -> 'a -> unit end

type 'a t

val unsafe_blit : ('a t, 'a t) Blit_intf.blit

val sub : ('a t, 'a t) Blit_intf.sub

Functor Blit_intf.Blit.Make1