package plebeia

  1. Overview
  2. Docs
package plebeia
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Fs_impl.Op_lwtSource

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 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 Fs_impl.Op.t -> 'a t
Sourceval lift_op : 'a Fs_impl.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 : Fs_types.FsError.t -> 'a t
Sourceval raw_cursor : Cursor.t t
Sourceval chdir_parent : unit t
Sourceval chdir_root : unit t
Sourceval chdir : ?dig:bool -> Fs_types.Name.t list -> unit t
Sourceval set : Fs_types.Name.t list -> Fs_impl.cursor -> unit t
Sourceval copy : Fs_types.FsError.path -> Fs_types.Name.t list -> unit t
Sourceval write : Fs_types.Name.t list -> Value.t -> unit t
Sourceval rm : ?recursive:bool -> ?ignore_error:bool -> Fs_types.FsError.path -> bool t
Sourceval rmdir : ?ignore_error:bool -> Fs_types.FsError.path -> bool t
Sourceval compute_hash : Hash.Prefix.t t
Sourceval may_forget : unit t
Sourceval do_then : ('a -> 'b) -> ('a -> 'c) -> 'a -> 'c
Sourceval with_pushd_lwt : (Fs_impl.cursor -> (Fs_impl.cursor * 'a, Error.t) Result.t Lwt.t) -> Fs_impl.cursor -> (Fs_impl.cursor * 'a, Error.t) Result.t Lwt.t
Sourcemodule Segs = Segment.Segs
Sourcetype job_stack = [
  1. | `Exit
  2. | `Right of job_stack
  3. | `Up of Segs.t * job_stack
]
Sourcetype 'acc traverse_stat = {
  1. acc : 'acc;
  2. dests : job_stack;
  3. segs : Segs.t;
  4. c : Fs_impl.raw_cursor;
}
Sourcetype 'acc folder = 'acc -> Segs.t -> Fs_impl.raw_cursor -> ([ `Continue | `Exit | `Up ] * 'acc, Error.t) result Lwt.t
Sourceval traverse : 'acc traverse_stat -> 'acc folder -> ('acc traverse_stat, Error.t) result Lwt.t
Sourceval raw_fold : 'acc -> Fs_impl.raw_cursor -> 'acc folder -> (Fs_impl.raw_cursor * 'acc, Error.t) result Lwt.t
Sourceval fold_here : 'acc -> ('acc -> Fs_types.Path.t -> Fs_impl.cursor -> ([ `Continue | `Exit | `Up ] * 'acc, Error.t) result Lwt.t) -> Fs_impl.cursor -> (Fs_impl.cursor * 'acc, Error.t) Result_lwt.t
Sourceval fold'_here : ?depth:[< `Eq of int | `Ge of int | `Gt of int | `Le of int | `Lt of int ] -> 'acc -> ('acc -> Fs_types.Path.t -> Fs_impl.cursor -> ('acc, Error.t) result Lwt.t) -> 'acc t
Sourceval at_dir : string -> Fs_types.FsError.path -> 'a t -> 'a t
Sourceval fold : 'a -> Fs_types.FsError.path -> ('a -> Fs_types.Path.t -> Fs_impl.cursor -> ([ `Continue | `Exit | `Up ] * 'a, Error.t) result Lwt.t) -> 'a t
Sourceval fold' : ?depth:[< `Eq of int | `Ge of int | `Gt of int | `Le of int | `Lt of int ] -> 'a -> Fs_types.FsError.path -> ('a -> Fs_types.Path.t -> Fs_impl.cursor -> ('a, Error.t) result Lwt.t) -> 'a t
Sourceval count : Fs_types.Path.t -> int option t
Sourceval rev_ls2_raw : offset:int -> length:int -> Fs_impl.cursor -> (Fs_impl.cursor * (string * Fs_impl.cursor) list, Error.t) result Lwt.t
Sourceval ls2 : offset:int -> length:int -> Fs_types.FsError.path -> (string * Fs_impl.cursor) list Monad.t
Sourceval run : 'a -> ('a -> 'b) -> 'b