package resource_cache
General resource cache
Install
Dune Dependency
Authors
Maintainers
Sources
resource_cache-v0.16.0.tar.gz
sha256=716f58355b7e1af5dc0ec7172ea8a612538dab968c9fb49daaad34826b6f5bbf
doc/resource_cache/Resource_cache/index.html
Module Resource_cache
Source
Cache.Make
creates a cache module that exposes a simple with_
interface over its resources. The cache has the following properties:
Wrap a resource that does not natively support a has_close_started
operation in a simple record to add such tracking.
Make a cache from a resource where the type clients wish to operate on is derived from, but not necessarily equal to, the type held by the cache.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>