package shexp
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=01fa41159385c30cc9de233fda13f359fb8ad1b01ed513dd1de8262aa64a3d35
md5=d756263aa2b95303edba19af36c0feea
doc/shexp.bigstring-io/Shexp_bigstring_io/Bigstring/index.html
Module Shexp_bigstring_io.Bigstring
Source
Bigstring IO helpers
include module type of struct include Shexp_bigstring.Std.Bigstring end
Efficiently checks that the range denoted by (pos, len)
is in the range 0..length
. length
is assumed to be >= 0
.
Raises if (pos, len)
denotes a range outside of 0..length
.
Allocate a bigstring and pass it to f
. The memory allocated for the bigstring is released as soon as f
returns. As such, the bigstring shouldn't be used after f
returns.
This is more efficient than waiting on the garbage collector to release the external memory.
type ('a, 'b) fold_temporary_result =
('a, 'b) Shexp_bigstring.Bigstring.fold_temporary_result =
val fold_temporary :
size:int ->
init:'a ->
f:(t -> 'a -> ('a, 'b) fold_temporary_result) ->
'b
Same as with_temporary
, but allow to resize the bigstring if needed.
If f
returns Resize { new_size; state }
, the bigstring will be resized to the given new size and f
will be called with the new bigstring and state
. The contents of the bigstring up to the min of the old and new sizes is preserved.
val read_all_interruptible :
?delay:float ->
Unix.file_descr ->
stop:(unit -> bool) ->
read_all_interruptible_result
Same as read_all
except that stop
is called every delay
seconds until it returns true
. In this case returns prematurely the data collected so far.