package irmin-server
A high-performance server for Irmin
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-3.10.0.tbz
sha256=92a9de7a0a2a35c2feba0c35a806b1f0df24c1c0d15164eebf3f919296d26715
sha512=0203ec5117a851ad5afeb2f9091659b4e142e231b6b945caab93f4d7beb23397c8ac43f7056e91d18f4bff0be1062f6ae966d221f877c229328c0cbbf29fd9f0
doc/irmin-server.unix/Irmin_server_unix/Make_ext/Command/Commands/Store/index.html
Module Commands.Store
Source
Find a value in the store
Source
module Remove :
CMD
with type req = write_options * (t * Store.path) * Store.Info.t
and type res = unit
Remove a value from the store
Source
module Find_tree :
CMD with type req = t * Store.path and type res = Store.Tree.concrete option
Get a tree from the store
Check for the existence of a value in the store
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>