Revision 5d3bda611337718ff32577282e3d768c95917bda authored by vbot on 27 February 2020, 12:21:45 UTC, committed by vbot on 09 March 2020, 17:33:55 UTC
1 parent a1ec093
IO.mli
(*
* Copyright (c) 2013-2019 Thomas Gazagnaire <thomas@gazagnaire.org>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
* copyright notice and this permission notice appear in all copies.
*
* THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
* WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
* MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
* ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
* WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
* ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
* OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
*)
module type S = sig
type t
exception RO_Not_Allowed
val v : fresh:bool -> version:string -> readonly:bool -> string -> t
val name : t -> string
val clear : t -> unit
val append : t -> string -> unit
val set : t -> off:int64 -> string -> unit
val read : t -> off:int64 -> bytes -> int
val offset : t -> int64
val force_offset : t -> int64
val readonly : t -> bool
val version : t -> string
val sync : t -> unit
val close : t -> unit
end
module Unix : S
val with_cache :
v:('a -> fresh:bool -> readonly:bool -> string -> 'b) ->
clear:('b -> unit) ->
valid:('b -> bool) ->
string ->
[ `Staged of 'a -> ?fresh:bool -> ?readonly:bool -> string -> 'b ]
Computing file changes ...