Module Core.BlitSource

This module extends Base.Blit.

Sourcetype nonrec ('src, 'dst) blit = src:'src -> src_pos:int -> dst:'dst -> dst_pos:int -> len:int -> unit
Sourcetype nonrec ('src, 'dst) blito = src:'src -> ?src_pos:int -> ?src_len:int -> dst:'dst -> ?dst_pos:int -> unit -> unit
Sourcetype nonrec ('src, 'dst) sub = 'src -> pos:int -> len:int -> 'dst
Sourcetype nonrec ('src, 'dst) subo = ?pos:int -> ?len:int -> 'src -> 'dst
Sourcemodule type S = Base.Blit.S
Sourcemodule type S1 = Base.Blit.S1
Sourcemodule type S_distinct = Base.Blit.S_distinct
Sourcemodule type S1_distinct = Base.Blit.S1_distinct
Sourcemodule type S_to_string = Base.Blit.S_to_string
Sourcemodule type Sequence = Base.Blit.Sequence
Sourcemodule type Sequence1 = Base.Blit.Sequence1

There are various Make* functors that turn an unsafe_blit function into a blit function. The functors differ in whether the sequence type is monomorphic or polymorphic, and whether the src and dst types are distinct or are the same.

The blit functions make sure the slices are valid and then call unsafe_blit. They guarantee at a call unsafe_blit ~src ~src_pos ~dst ~dst_pos ~len that:

  len > 0
  && src_pos >= 0
  && src_pos + len <= get_src_len src
  && dst_pos >= 0
  && dst_pos + len <= get_dst_len dst

The Make* functors also automatically create unit tests.

Sourcemodule Make = Base.Blit.Make

Make is for blitting between two values of the same monomorphic type.

Sourcemodule Make_distinct = Base.Blit.Make_distinct

Make_distinct is for blitting between values of distinct monomorphic types.

Sourcemodule Make_to_string = Base.Blit.Make_to_string
Sourcemodule Make1 = Base.Blit.Make1

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

Sourcemodule Make1_generic = Base.Blit.Make1_generic

Make1_generic is for blitting between two values of the same container type that's not fully polymorphic (in the sense of Container.Generic).

Sourcemodule type S_permissions = sig ... end
Sourcemodule type S1_permissions = sig ... end