Module Base__.Blit_intf
type ('src, 'dst) blit
= src:'src -> src_pos:int -> dst:'dst -> dst_pos:int -> len:int -> unit
If
blit : (src, dst) blit
, thenblit ~src ~src_pos ~len ~dst ~dst_pos
blitslen
values fromsrc
starting at positionsrc_pos
todst
at positiondst_pos
. Furthermore,blit
raises ifsrc_pos
,len
, anddst_pos
don't specify valid slices ofsrc
anddst
.
type ('src, 'dst) blito
= src:'src -> ?src_pos:int -> ?src_len:int -> dst:'dst -> ?dst_pos:int -> unit -> unit
blito
is likeblit
, except that thesrc_pos
,src_len
, anddst_pos
are optional (hence the "o" in "blito"). Also, we usesrc_len
rather thanlen
as a reminder that ifsrc_len
isn't supplied, then the default is to take the slice running fromsrc_pos
to the end ofsrc
.
type ('src, 'dst) sub
= 'src -> pos:int -> len:int -> 'dst
If
sub : (src, dst) sub
, thensub ~src ~pos ~len
returns a sequence of typedst
containinglen
characters ofsrc
starting atpos
.subo
is likesub
, exceptpos
andlen
are optional.
module type S = sig ... end
module type S1 = sig ... end
module type S_distinct = sig ... end
module type S_to_string = sig ... end
module type Sequence = sig ... end
module type Sequence1 = sig ... end
module type Blit = sig ... end