Up
Module
Blit
=
Iobuf.Blit
Signature
type
'rw t_no_seek = ('rw,
Iobuf.no_seek
)
Iobuf.t
include
Core_kernel.Std.Blit.S_permissions
with
type
'rw
t
:= 'rw
t_no_seek
type
-'perms t
val
blit : ([>
|
Perms.Export.read
]
t
, [>
|
Perms.Export.write
]
t
)
Blit_intf.blit
val
blito : ([>
|
Perms.Export.read
]
t
, [>
|
Perms.Export.write
]
t
)
Blit_intf.blito
val
unsafe_blit : ([>
|
Perms.Export.read
]
t
, [>
|
Perms.Export.write
]
t
)
Blit_intf.blit
val
sub : ([>
|
Perms.Export.read
]
t
, [<
| _
Perms.Export.perms
]
t
)
Blit_intf.sub
val
subo : ([>
|
Perms.Export.read
]
t
, [<
| _
Perms.Export.perms
]
t
)
Blit_intf.subo
val
sub : ([>
|
Core_kernel.Std.read
],
Iobuf.no_seek
)
Iobuf.t
-> pos:int -> len:int -> (_, _)
Iobuf.t
Override types of
sub
and
subo
to allow return type to have
seek
as needed.
val
subo : ?pos:int -> ?len:int -> ([>
|
Core_kernel.Std.read
],
Iobuf.no_seek
)
Iobuf.t
-> (_, _)
Iobuf.t