package plebeia

  1. Overview
  2. Docs

Module WithSimulation.OpSource

Sourcetype 'a t = cursor -> (cursor * 'a, Plebeia.Error.t) result
Sourceval fail : t -> 'a -> ('b, Plebeia.Error.t) result
Sourceval get_raw_cursor : 'a -> 'a
Sourceval get_real_cursor : F.cursor -> Plebeia.Cursor.t
Sourceval get_model_tree : S.cursor -> S.model_tree
Sourceval context : (F.cursor * 'a) -> Plebeia.Context.t
Sourceval raw_cursor : 'a -> ('a * 'a, 'b) result
Sourceval path : (Plebeia__Fs_impl.cursor * Simulation.raw_cursor) -> ((Plebeia__Fs_impl.cursor * Simulation.raw_cursor) * Plebeia.Fs_types.Path.t, Plebeia.Error.t) result
Sourceval chdir_parent : (Plebeia__Fs_impl.cursor * Simulation.raw_cursor) -> ((Plebeia__Fs_impl.cursor * Simulation.raw_cursor) * unit, Plebeia.Error.t) result
Sourceval chdir_root : (Plebeia__Fs_impl.cursor * Simulation.raw_cursor) -> ((Plebeia__Fs_impl.cursor * Simulation.raw_cursor) * unit, Plebeia.Error.t) result
Sourceval chdir : ?dig:bool -> Simulation.Map.key list -> (Plebeia__Fs_impl.cursor * Simulation.cursor) -> ((Plebeia__Fs_impl.cursor * Simulation.cursor) * unit, Plebeia.Error.t) result
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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
Sourcemodule Monad : sig ... end
Sourceval do_then : (cursor -> 'b) -> 'a t -> cursor -> (cursor * 'a, Plebeia.Error.t) result
Sourceval run : 'a -> ('a -> 'b) -> 'b