org.saddle.locator
package org.saddle.locator
Type members
Classlikes
The Locator class provides a mapping from a key to the first location of that key within a corresponding org.saddle.Index containing at least one of that key.
The Locator class provides a mapping from a key to the first location of that key within a corresponding org.saddle.Index containing at least one of that key.
As it provides a representative for a subset of keys in the index, in the language of category theory, this mapping is a ''section'':
Given an array x of type T, which represents a mapping
f
{i} => {T}
for i in [0, x.length), Locator provides the associated section
s
{T} => {i}
where s(t) = min(i) for any i such that f(i) = t.
- Companion:
- object