Search results

Faster implementation for IntervalMap

Status: Open.

#52 In msakai/data-interval;

· AliceRixte opened on Feb 11, 2026

Add time complexities for IntervalMap functions

Status: Open.

#50 In msakai/data-interval;

· AliceRixte opened on Jan 19, 2026

Add functions for pointwise maximum and minimum

Status: Open.

#48 In msakai/data-interval;

· Bodigrim opened on May 31, 2025

Check that numerical instances are correct for intervals over Down Double

Status: Open.

#47 In msakai/data-interval;

· Bodigrim opened on May 30, 2025

Add Data.RealFloatInterval?

Status: Open.

#45 In msakai/data-interval;

· Bodigrim opened on Dec 28, 2024

lookup value and the/a piece-wise constant component around it

Status: Open.

#36 In msakai/data-interval;

· tilowiklundSensmetry opened on Nov 8, 2021