Module `F.Op`Source

Sourcemodule Monad : sig ... end

Sourcetype 'a t = cursor -> (cursor * 'a, Plebeia.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

Source

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

Sourceval check_cursor_invariant : cursor -> (cursor * unit, 'a) result

Sourceval fail : error -> 'a t

Sourceval raw_cursor : Plebeia.Cursor.t t

Sourceval path : Path.t t

Sourceval view : view t

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

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

Sourceval chdir : ?dig:bool -> Path.t -> unit t

Sourcemodule Loose : sig ... end

Source

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

Source

val get : 
  Path.t ->
  cursor ->
  (cursor * (cursor * view), Plebeia.Error.t) result

Source

val cat : 
  Path.t ->
  cursor ->
  (cursor * Plebeia.Value.t, Plebeia.Error.t) result

Source

val write : 
  Path.name list ->
  Plebeia.Value.t ->
  cursor ->
  (cursor * unit, Plebeia.Error.t) result

Source

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

Source

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

Sourceval copy : Path.t -> Name.t list -> unit t

Source

val rm : 
  ?recursive:bool ->
  ?ignore_error:bool ->
  Path.t ->
  cursor ->
  (cursor * bool, Plebeia.Error.t) result

Source

val rmdir : 
  ?ignore_error:bool ->
  Path.t ->
  cursor ->
  (cursor * bool, Plebeia.Error.t) result

Source

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

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

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

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

package plebeia

Module F.OpSource

Module `F.Op`Source