Module `Make.Op_lwt`Source

Sourcemodule Monad : sig ... end

include module type of struct include Monad end

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

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 : 'a Op.t -> 'a t

Sourceval lift_op : 'a Op.t -> 'a t

Sourceval lift_lwt : 'a Lwt.t -> 'a t

Sourceval lift_result : ('a, Error.t) Result.t -> 'a t

Sourceval lift_result_lwt : ('a, Error.t) Result_lwt.t -> 'a t

Sourceval fail : error -> 'a t

Sourceval raw_cursor : Cursor.t t

Sourceval chdir_parent : unit t

Sourceval chdir_root : unit t

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

Sourceval path : Path.t t

Sourceval get : Path.t -> (cursor * view) t

Sourceval set : Name.t list -> cursor -> unit t

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

Sourceval cat : Path.t -> Value.t t

Sourceval write : Path.name list -> Value.t -> unit t

Sourceval rm : ?recursive:bool -> ?ignore_error:bool -> Path.t -> bool t

Sourceval rmdir : ?ignore_error:bool -> Path.t -> bool t

Sourceval compute_hash : Hash.Prefix.t t

Sourceval may_forget : unit t

Sourceval do_then : ('a -> 'b) -> ('a -> 'c) -> 'a -> 'c

Source

val with_pushd_lwt : 
  (cursor -> (cursor * 'a, Error.t) Result.t Lwt.t) ->
  cursor ->
  (cursor * 'a, Error.t) Result.t Lwt.t

Source

val traverse : 
  ('a
   * ([< `Exit | `Right of 'b | `Up of Segment.Segs.t * 'b Right ] as 'b)
   * Segment.Segs.t
   * Cursor.t) ->
  ('a ->
    Segment.Segs.t ->
    Cursor.t ->
    ([< `Continue | `Exit | `Up ] * 'c, Error.t) result Lwt.t) ->
  ('c * [> `Exit | `Up of Segment.Segs.t * 'b ] * Segment.Segs.t * Cursor.t,
    Error.t)
    result
    Lwt.t

Source

val raw_fold : 
  'a ->
  Cursor.t ->
  ('a ->
    Segment.Segs.t ->
    Cursor.t ->
    ([< `Continue | `Exit | `Up ] * 'a, Error.t) result Lwt.t) ->
  (Cursor.t * 'a, Error.t) result Lwt.t

Source

val fold_here : 
  'a ->
  ('a ->
    Path.t ->
    cursor ->
    ([ `Continue | `Exit | `Up ] * 'a, Error.t) result Lwt.t) ->
  cursor ->
  (cursor * 'a, Error.t) result Lwt.t

Source

val fold'_here : 
  ?depth:[< `Eq of int | `Ge of int | `Gt of int | `Le of int | `Lt of int ] ->
  'a ->
  ('a -> Path.t -> cursor -> ('a, Error.t) result Lwt.t) ->
  'a t

Sourceval at_dir : string -> Path.t -> 'a t -> 'a t

Source

val fold : 
  'a ->
  Path.t ->
  ('a ->
    Path.t ->
    cursor ->
    ([ `Continue | `Exit | `Up ] * 'a, Error.t) result Lwt.t) ->
  'a t

Source

val fold' : 
  ?depth:[< `Eq of int | `Ge of int | `Gt of int | `Le of int | `Lt of int ] ->
  'a ->
  Path.t ->
  ('a -> Path.t -> cursor -> ('a, Error.t) result Lwt.t) ->
  'a t

Sourceval ls : Path.t -> (Name.t * cursor) list t

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

package plebeia

Module Make.Op_lwtSource

Module `Make.Op_lwt`Source