Source file MetaOps.ml

type file_entry = { file_relto_cachedir : Fpath.t; contents_in : in_channel }
type dir_entry = { dir_relto_cachedir : Fpath.t }

module type S = sig
  val cache_file :
    category:string ->
    key:string ->
    cache_hit:
      (file_for_upsert:Fpath.t ->
      file_entry ->
      ([ `Upsert | `Keep ], [ `ErrorCaptured ]) result) ->
    cache_miss:
      (file_for_upsert:Fpath.t -> ([ `Upsert ], [ `ErrorCaptured ]) result) ->
    unit ->
    (Fpath.t, [ `ErrorCaptured ]) result

  val cache_dir :
    category:string ->
    key:string ->
    cache_hit:
      (dir_for_upsert:Fpath.t ->
      dir_entry ->
      ([ `Upsert | `Keep ], [ `ErrorCaptured ]) result) ->
    cache_miss:
      (dir_for_upsert:Fpath.t -> ([ `Upsert ], [ `ErrorCaptured ]) result) ->
    unit ->
    (Fpath.t, [ `ErrorCaptured ]) result

  val cache_delete :
    category:string -> key:string -> unit -> (unit, [ `ErrorCaptured ]) result
end