package plebeia

You can search for identifiers within the package.

in-package search v0.2.0

Functional storage using Merkle Patricia tree

Install

dune-project

Dependency

gitlab.com Readme MIT License Edit opam file Versions (6)

Authors

D

DaiLambda, Inc

Maintainers

J

jun.furuse@dailambda.jp

Sources

plebeia-2.0.0.tar.gz

md5=f528f42d3e72d400265eb6bc51901fca

sha512=6cf070b2f1ea2e570a106b231a7e8e40c64c91c5a7abeddf072a5c413e74d5d9dd9b7df674cca559ddb33cabc9c0ec0b3a001306397d11b62888aac4cca9fd7e

doc/plebeia.test_utils/Test_utils/Fs_simulation/WithSimulation/Op/index.html

Module `WithSimulation.Op`Source

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

Sourceval fail : error -> '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

Source

val path : 
  (F.cursor * S.raw_cursor) ->
  ((F.cursor * S.raw_cursor) * F.Path.t, Plebeia.Error.t) result

Source

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

Source

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

Source

val chdir : 
  ?dig:bool ->
  F.Path.t ->
  (F.cursor * S.cursor) ->
  ((F.cursor * S.cursor) * unit, Plebeia.Error.t) result

Source

val get : 
  F.Path.t ->
  (F.cursor * S.cursor) ->
  ((F.cursor * S.cursor) * ((F.cursor * S.cursor) * (F.view * S.view)),
    Plebeia.Error.t)
    result

Source

val cat : 
  F.Path.t ->
  (F.cursor * S.cursor) ->
  ((F.cursor * S.cursor) * Plebeia.Value.t, Plebeia.Error.t) result

Source

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

Source

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

Source

val copy : 
  F.Path.t ->
  S.Map.key list ->
  (F.cursor * S.cursor) ->
  ((F.cursor * S.cursor) * unit, Plebeia.Error.t) result

Source

val rm : 
  ?recursive:bool ->
  ?ignore_error:bool ->
  F.Path.t ->
  (F.cursor * S.cursor) ->
  ((F.cursor * S.cursor) * bool, Plebeia.Error.t) result

Source

val rmdir : 
  ?ignore_error:bool ->
  F.Path.t ->
  (F.cursor * S.cursor) ->
  ((F.cursor * S.cursor) * bool, Plebeia.Error.t) result

Sourcemodule Monad : sig ... end

Source

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

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

package plebeia

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/plebeia.test_utils/Test_utils/Fs_simulation/WithSimulation/Op/index.html

Module WithSimulation.OpSource

dune-project
Dependency

Module `WithSimulation.Op`Source