Module `Fs_impl.Op`Source

Sourcemodule Monad : sig ... end

include module type of struct include Monad end

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

Sourceval return : 'a -> 'a t

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

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

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

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

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

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

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

Sourcemodule Infix = Monad.Infix

Sourcemodule Syntax = Monad.Syntax

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

Source

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

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

Sourceval raw_cursor : Cursor.t t

Sourceval path : Fs_types.Path.t t

Sourceval view : Fs_impl.view t

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

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

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

Sourcemodule Loose : sig ... end

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

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

Source

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

Source

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

Source

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

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

Source

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

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

package plebeia

Module Fs_impl.OpSource

Module `Fs_impl.Op`Source