module Store:sig
..end
notebook
, but a store can also be a file.
Stores connected with files need to be closed after use.
type 'a
store
val notebook : unit -> 'a store
val place : 'a store -> 'a Mapred_toolkit.Place.t
val read_place : 'a Mapred_toolkit.Place.t -> 'a store list
val write_place : ?filename:string ->
'a Mapred_toolkit.Place.t -> 'a store
The optional filename
argument influences the filename.
If passed:
prefix ^ filename ^ suffix
does not exist yes, this file
name is chosen. Otherwise:uuid
is generated so that
prefix ^ filename ^ uuid ^ suffix
is the new fileprefix ^ uuid ^ suffix
.val length : 'a store -> int
val length64 : 'a store -> int64
val read : 'a store -> 'a store
It is undefined whether data added to the original store later
will be visible after invoking read
.
val file_name : 'a store -> string
val flush : 'a store -> unit
val close : 'a store -> unit