plebeia 2.2.0 · OCaml Package

type 'a t = cursor -> (cursor * 'a, Plebeia.Error.t) result

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

val get_raw_cursor : 'a -> 'b

val get_real_cursor : F.cursor -> Plebeia.Cursor.t

val get_model_tree : S.cursor -> S.model_tree

val context : (F.cursor * 'a) -> Plebeia.Context.t

val raw_cursor : 'a -> ('b * 'c, 'd) result

val path : 
  (Plebeia__Fs_impl.cursor * Simulation.raw_cursor) ->
  ((Plebeia__Fs_impl.cursor * Simulation.raw_cursor) * Plebeia.Fs_types.Path.t,
    Plebeia.Error.t)
    result

val chdir_parent : 
  (Plebeia__Fs_impl.cursor * Simulation.raw_cursor) ->
  ((Plebeia__Fs_impl.cursor * Simulation.raw_cursor) * unit, Plebeia.Error.t)
    result

val chdir_root : 
  (Plebeia__Fs_impl.cursor * Simulation.raw_cursor) ->
  ((Plebeia__Fs_impl.cursor * Simulation.raw_cursor) * unit, Plebeia.Error.t)
    result

val chdir : 
  ?dig:bool ->
  Simulation.Map.key list ->
  (Plebeia__Fs_impl.cursor * Simulation.cursor) ->
  ((Plebeia__Fs_impl.cursor * Simulation.cursor) * unit, Plebeia.Error.t)
    result

val get : 
  Plebeia.Fs_types.FsError.path ->
  (Plebeia__Fs_impl.cursor * Simulation.cursor) ->
  ((Plebeia__Fs_impl.cursor * Simulation.cursor)
   * ((Plebeia__Fs_impl.cursor * Simulation.cursor)
      * (Plebeia.Node_type.view * Simulation.view)),
    Plebeia.Error.t)
    result

val cat : 
  Plebeia.Fs_types.FsError.path ->
  (Plebeia__Fs_impl.cursor * Simulation.cursor) ->
  ((Plebeia__Fs_impl.cursor * Simulation.cursor) * Plebeia.Value.t,
    Plebeia.Error.t)
    result

val write : 
  Simulation.Map.key list ->
  Plebeia.Value.t ->
  (Plebeia__Fs_impl.cursor * Simulation.cursor) ->
  ((Plebeia__Fs_impl.cursor * Simulation.raw_cursor) * unit, Plebeia.Error.t)
    result

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

val copy : 
  Plebeia.Fs_types.FsError.path ->
  Simulation.Map.key list ->
  (Plebeia__Fs_impl.cursor * Simulation.cursor) ->
  ((Plebeia__Fs_impl.cursor * Simulation.cursor) * unit, Plebeia.Error.t)
    result

val rm : 
  ?recursive:bool ->
  ?ignore_error:bool ->
  Plebeia.Fs_types.FsError.path ->
  (Plebeia__Fs_impl.cursor * Simulation.cursor) ->
  ((Plebeia__Fs_impl.cursor * Simulation.cursor) * bool, Plebeia.Error.t)
    result

val rmdir : 
  ?ignore_error:bool ->
  Plebeia.Fs_types.FsError.path ->
  (Plebeia__Fs_impl.cursor * Simulation.cursor) ->
  ((Plebeia__Fs_impl.cursor * Simulation.cursor) * bool, Plebeia.Error.t)
    result

module Monad : sig ... end

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

val run : 'a -> ('b -> 'c) -> 'd

package plebeia