Module `F.Op_lwt`Source

Sourcemodule Monad : sig ... end

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

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

Sourceval fail : error -> 'a t

Sourceval raw_cursor : Plebeia.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 -> Plebeia.Value.t t

Sourceval write : Path.name list -> Plebeia.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 : Plebeia.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, Plebeia.Error.t) Plebeia.Result.t Lwt.t) ->
  cursor ->
  (cursor * 'a, Plebeia.Error.t) Plebeia.Result.t Lwt.t

Source

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

Source

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

Source

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

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

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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/plebeia.test_utils/Test_utils/Fs_simulation/WithSimulation/F/Op_lwt/index.html

Module `F.Op_lwt`Source

package plebeia

Install

Dune Dependency

Authors

Maintainers

Sources

doc/plebeia.test_utils/Test_utils/Fs_simulation/WithSimulation/F/Op_lwt/index.html

Module F.Op_lwtSource

Module `F.Op_lwt`Source