package irmin
Irmin, a distributed database that follows the same design principles as Git
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-3.8.0.tbz
sha256=da4017e6719cee86fab83f8d9a93e3cc3c54ca653703329a0f345712a9f72972
sha512=d58b0708ba20962b4d3096c32233635e3b741753698694411d8496ef37da39968bc173fa92d305032126f967e1ccec79a267900f58516878592e61404726516c
doc/irmin.mem/Irmin_mem/KV/Make/Tree/Contents/index.html
Module Tree.Contents
Source
Operations on lazy tree contents.
The type of lazy tree contents.
force t
forces evaluation of the lazy content value t
, or returns an error if no such value exists in the underlying repository.
Equivalent to force
, but raises an exception if the lazy content value is not present in the underlying repository.
caching
cache
regulates the caching behaviour regarding the node's internal data which are be lazily loaded from the backend.
cache
defaults to true
which may greatly reduce the IOs and the runtime but may also grealy increase the memory consumption.
cache = false
doesn't replace a call to clear
, it only prevents the storing of new data, it doesn't discard the existing one.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page