plebeia 2.2.0 · OCaml Package

module Monad : sig ... end

include module type of struct include Monad end

type 'a t = Fs_impl.cursor -> (Fs_impl.cursor * 'a, Error.t) Stdlib.result

val return : 'a -> 'a t

val bind : 'a t -> ('a -> 'b t) -> 'b t

val map : ('a -> 'b) -> 'a t -> 'b t

val mapM : ('a -> 'b t) -> 'a list -> 'b list t

val mapM_ : ('a -> unit t) -> 'a list -> unit t

val iterM : ('a -> unit t) -> 'a list -> unit t

val fold_leftM : ('a -> 'b -> 'a t) -> 'a -> 'b list -> 'a t

val parseM : ('a -> 'b list -> ('a * 'b list) t) -> 'a -> 'b list -> 'a t

module Infix = Monad.Infix

module Syntax = Monad.Syntax

val lift_result : ('a, 'b) Result.t -> 'c -> ('c * 'a, 'b) Result.t

val check_cursor_invariant : 
  Fs_impl.cursor ->
  (Fs_impl.cursor * unit, 'a) Stdlib.result

val fail : Fs_types.FsError.t -> 'a t

val raw_cursor : Cursor.t t

val path : Fs_types.Path.t t

val view : Fs_impl.view t

val chdir_parent : 
  Fs_impl.cursor ->
  (Fs_impl.cursor * unit, Error.t) Stdlib.result

val chdir_root : 
  Fs_impl.cursor ->
  (Fs_impl.cursor * unit, Error.t) Stdlib.result

val chdir : ?dig:bool -> Fs_types.Name.t list -> unit t

module Loose : sig ... end

val with_pushd : 
  (Fs_impl.cursor -> (Fs_impl.cursor * 'a, Error.t) Stdlib.result) ->
  Fs_impl.cursor ->
  (Fs_impl.cursor * 'a, Error.t) Stdlib.result

val get : 
  Fs_types.FsError.path ->
  Fs_impl.cursor ->
  (Fs_impl.cursor * (Fs_impl.cursor * Fs_impl.view), Error.t) Stdlib.result

val cat : 
  Fs_types.FsError.path ->
  Fs_impl.cursor ->
  (Fs_impl.cursor * Value.t, Error.t) Stdlib.result

val write : 
  Fs_types.Name.t list ->
  Value.t ->
  Fs_impl.cursor ->
  (Fs_impl.cursor * unit, Error.t) Stdlib.result

val unlink : 
  Fs_types.Name.t list ->
  ([> `Bud of Node_type.view | `Leaf of Node_type.view ] ->
    (unit, Error.t) Stdlib.result) ->
  Fs_impl.cursor ->
  (Fs_impl.cursor * bool, Error.t) Stdlib.result

val set : 
  Fs_types.Name.t list ->
  Fs_impl.cursor ->
  Fs_impl.cursor ->
  (Fs_impl.cursor * unit, Error.t) Stdlib.result

val copy : Fs_types.FsError.path -> Fs_types.Name.t list -> unit t

val rm : 
  ?recursive:bool ->
  ?ignore_error:bool ->
  Fs_types.FsError.path ->
  Fs_impl.cursor ->
  (Fs_impl.cursor * bool, Error.t) Stdlib.result

val rmdir : 
  ?ignore_error:bool ->
  Fs_types.FsError.path ->
  Fs_impl.cursor ->
  (Fs_impl.cursor * bool, Error.t) Stdlib.result

val do_then : 
  (Fs_impl.cursor -> 'b) ->
  'a t ->
  Fs_impl.cursor ->
  (Fs_impl.cursor * 'a, Error.t) Stdlib.result

val run : 'a -> ('a -> 'b) -> 'b

val compute_hash : 
  Fs_impl.cursor ->
  (Fs_impl.cursor * Hash.Prefix.t, 'a) Stdlib.result

val may_forget : Fs_impl.cursor -> (Fs_impl.cursor * unit, 'a) Stdlib.result

package plebeia