package irmin
Irmin, a distributed database that follows the same design principles as Git
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-3.9.0.tbz
sha256=8e073abe1b5ffb5b6d58c32606c9d7dabc32c53501756be80a92ed4777ad51a0
sha512=70769a8d36520626fecd6f68e5f3abe6a0d67a65af915312206cc3f4da230df48512faee178aa6e899d3fb640b9340f6c92486185be5432a1a1a161c70386c99
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