package irmin
Irmin, a distributed database that follows the same design principles as Git
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-3.5.0.tbz
sha256=9a0d8b07b828f5c24495c879c5b4f6f34b4da508ab40f33a94fef2944364b823
sha512=4006dafe8dcd43388e372cb3bbfa5dba558b397c2ffb4eea2996e70ba0cfdb533b61874cf5b3db62ae53033c30ee797778d9eebfb03a7d8c8bba117a1c85dc91
doc/irmin.mem/Irmin_mem/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