package core_kernel

  1. Overview
  2. Docs
package core_kernel
Legend:
Library
Module
Module type
Parameter
Class
Class type

This module extends the Base Blit module

include Base.Blit_intf.Blit
type nonrec ('src, 'dst) blit = ('src, 'dst) Base.Blit_intf.blit
type nonrec ('src, 'dst) blito = ('src, 'dst) Base.Blit_intf.blito
type nonrec ('src, 'dst) sub = ('src, 'dst) Base.Blit_intf.sub
type nonrec ('src, 'dst) subo = ('src, 'dst) Base.Blit_intf.subo
module type S = Blit.S
module type S1 = Blit.S1
module type S_distinct = Blit.S_distinct
module type Sequence = Blit.Sequence
module type Sequence1 = 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.

module Make (Sequence : sig ... end) : sig ... end

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

module Make_distinct (Src : Blit.Sequence) (Dst : sig ... end) : sig ... end

Make_distinct is for blitting between values of distinct monomorphic types.

module Make1 (Sequence : Blit.Sequence1) : sig ... end

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

module Make1_generic (Sequence : Blit.Sequence1) : sig ... end

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

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct