Module Fs_simulation.SimulationSource

Parameters

Signature

Sourcemodule Name = Base.Name
Sourcemodule Path = Base.Path
Sourcetype name = Name.t
Sourcemodule Map : sig ... end
Sourcetype model_tree =
  1. | File of Plebeia.Value.t
  2. | Dir of model_tree Map.t
Sourcetype raw_cursor =
  1. | Z of model_tree * (name * model_tree Map.t) list
Sourcetype cursor = raw_cursor
Sourcetype view = model_tree
Sourcetype hash = string
Sourceval pp_model_tree_map : Format.formatter -> model_tree Map.t -> unit
Sourceval pp_view : Format.formatter -> model_tree -> unit
Sourceval pp_trail : Format.formatter -> (Name.t * model_tree Map.t) list -> unit
Sourceval pp_cursor : Format.formatter -> raw_cursor -> unit
include sig ... end
Sourcetype path = Path.t
Sourcetype t =
  1. | Is_file of string * path
  2. | Is_directory of string * path
  3. | No_such_file_or_directory of string * path
  4. | File_or_directory_exists of string * path
  5. | Path_decode_failure of Plebeia.Segment.t
  6. | Other of string * string
Sourcetype Plebeia.Error.t +=
  1. | FS_error of t
Sourceval error : t -> ('a, Plebeia.Error.t) result
Sourcemodule Context : sig ... end
Sourceval empty : 'a -> raw_cursor
Sourceval make : 'a -> 'b -> 'a
Sourceval error_fs : t -> ('a, Plebeia.Error.t) result
Sourcemodule Op : sig ... end
Sourcemodule Op_lwt : sig ... end