package merlin-lib
Merlin's libraries
Install
Dune Dependency
Authors
Maintainers
Sources
merlin-5.5-503.tbz
sha256=67da3b34f2fea07678267309f61da4a2c6f08298de0dc59655b8d30fd8269af1
sha512=1fb3b5180d36aa82b82a319e15b743b802b6888f0dc67645baafdb4e18dfc23a7b90064ec9bc42f7424061cf8cde7f8839178d8a8537bf4596759f3ff4891873
doc/merlin-lib.utils/Merlin_utils/File_id/index.html
Module Merlin_utils.File_id
Source
An instance of t
represents the identity of the contents of a file path. Use this to quickly detect if a file has changed. (Detection is done by checking some fields from stat syscall, it can be tricked but should behave well in regular cases). FIXME: precision of mtime is still the second?!
Returns true iff the heuristic determines that the file contents has not changed.
file_id filename
computes an id for the current contents of filename
. Returns a generic id, if the id can't be computed.
Same as get
, but returns an error, if the id can't be computed.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>