Module Tree.CacheSource

Layout computation result caching.

This module provides memoization for layout computations. During layout, parent nodes often query child sizes multiple times under different constraints. The cache prevents redundant computation and ensures earlier results are not overwritten by later ones.

Cache Structure

The cache maintains two entry types:

Slot Allocation Strategy

Measure cache slots are determined by two factors:

Definite available space shares a cache slot with max-content because nodes are typically sized under one or the other, not both.

Slot assignments:

Cache Matching

A cache entry matches a query when:

Hidden layouts (Perform_hidden_layout mode) are never cached.

Sourceval cache_size : int

cache_size is the number of measure cache slots (9).

Sourcetype 'a cache_entry = {
  1. known_dimensions : float option Geometry.size;
  2. available_space : Available_space.t Geometry.size;
  3. content : 'a;
}

Cached layout result paired with its input constraints.

Fields known_dimensions and available_space record the sizing constraints that produced content.

Sourcetype t = {
  1. mutable final_layout_entry : Layout_output.t cache_entry option;
  2. mutable measure_entries : float Geometry.size cache_entry option array;
  3. mutable is_empty : bool;
}

Cache for layout computation results.

Field final_layout_entry stores complete layout output with positions and baselines from Perform_layout mode. Field measure_entries stores preliminary size measurements from Compute_size mode. Field is_empty tracks whether any entries are populated.

Sourceval make : unit -> t

make () creates an empty cache with no entries.

Sourcetype clear_state =
  1. | Cleared
    (*

    Some entries were removed.

    *)
  2. | Already_empty
    (*

    Cache was already empty.

    *)

Result of a clear operation.

Sourceval compute_cache_slot : float option Geometry.size -> Available_space.t Geometry.size -> int

compute_cache_slot known_dimensions available_space returns the measure cache slot index for the given constraints.

The slot is determined by which dimensions are known and the available space constraints for unknown dimensions.

  • returns

    Value in range 0-8 corresponding to slot allocation strategy.

Sourceval is_roughly_equal : Available_space.t -> Available_space.t -> bool

is_roughly_equal av1 av2 tests approximate equality of available space values.

Definite values are equal when they differ by less than 0.0001. Min-content and max-content values are equal only to themselves.

Sourceval get : t -> known_dimensions:float option Geometry.size -> available_space:Available_space.t Geometry.size -> run_mode:Run_mode.t -> Layout_output.t option

get t ~known_dimensions ~available_space ~run_mode retrieves a cached layout result matching the given constraints.

For Perform_layout, searches the final layout entry. For Compute_size, searches all measure entries. For Perform_hidden_layout, always returns None.

A cache entry matches when known dimensions match either the cached known dimensions or the cached result size, and unknown dimensions have roughly equal available space constraints.

  • returns

    Some layout_output if a matching entry exists, None otherwise.

Sourceval store : t -> known_dimensions:float option Geometry.size -> available_space:Available_space.t Geometry.size -> run_mode:Run_mode.t -> Layout_output.t -> unit

store t ~known_dimensions ~available_space ~run_mode layout_output stores a layout result in the cache.

For Perform_layout, stores complete layout_output in the final layout entry, replacing any previous entry. For Compute_size, stores only the size component in the measure entry slot determined by compute_cache_slot. For Perform_hidden_layout, performs no caching.

Sourceval clear : t -> clear_state

clear t removes all cached entries and reports the operation outcome.

Resets both final layout entry and all measure entries to None.

  • returns

    Cleared if entries were present, Already_empty otherwise.

Sourceval is_empty : t -> bool

is_empty t tests whether the cache contains no entries.

  • returns

    true if both final layout entry and all measure entries are None, false otherwise.