Module `Simulation.Op`Source

include 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 : sig ... end

Sourcemodule Syntax : sig ... end

Sourceval fail : error -> 'a -> ('b, Plebeia.Error.t) result

Sourceval get_raw_cursor : 'a -> 'a

Sourceval raw_cursor : 'a -> ('a * 'a, 'b) result

Sourceval context : 'a -> 'b

Sourceval get_path : raw_cursor -> name list

Sourceval path : raw_cursor -> (raw_cursor * name list, 'a) result

Sourceval view : raw_cursor -> (raw_cursor * model_tree, 'a) result

Sourceval chdir_parent : raw_cursor -> (raw_cursor * unit, 'a) result

Sourceval chdir_root : raw_cursor -> (raw_cursor * unit, 'a) result

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

Sourceval seek' : Map.key list -> Path.t t

Sourceval chdir : ?dig:bool -> Map.key list -> unit t

Source

val with_pushd : 
  (raw_cursor -> (raw_cursor * 'a, 'b) result) ->
  raw_cursor ->
  (raw_cursor * 'a, 'b) 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 : 
  Map.key list ->
  Plebeia.Value.t ->
  cursor ->
  (raw_cursor * unit, Plebeia.Error.t) result

Source

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

Source

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

Sourceval copy : Path.t -> Map.key 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

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

Source

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

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

Sourceval compute_hash : 'a -> ('a * string, 'b) result

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

package plebeia

Module Simulation.OpSource

Module `Simulation.Op`Source