package irmin
Irmin, a distributed database that follows the same design principles as Git
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-3.4.2.tbz
sha256=964512f77697947a73dd1875c634d6804e98f14167c5aadd3c4f85b5f30ffb53
sha512=d56d3285daa2dd36f1eaff867af5c8f44c61bba4de1a5c7bb5347652dbc460c343483ab61de1a9302f664af357eacc964dc5c8b4477f6d01372dc028b162e98b
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