普贤教程 › 包参考

interval 包

闭区间

项	值
包名	`interval`
版本	`0.2.0`
可用版本	`0.1.0 / 0.2.0`
入口	`interval.px`
分类	`数据结构`
文件数 / 行数	`1 / 145`

安装与引入

bash

pxpkg init          # 首次
pxpkg add interval@0.2.0
pxpkg install

import interval

所属分类教程：数据结构

公开接口

函数	参数
`iv_new`	`lo, hi`
`iv_overlap`	`a, b`
`iv_contains`	`a, x`
`iv_contains_iv`	`a, b`
`iv_intersect`	`a, b`
`iv_merge`	`l`

其余 10 个 def（内部与辅助，可直接调用但不属稳定接口）

函数	参数
`iv_len`	`a`
`iv_union`	`a, b`
`iv_subtract`	`a, b`
`iv_symmetric_diff`	`a, b`
`iv_total_len`	`l`
`iv_expand`	`a, n`
`iv_shift`	`a, n`
`iv_eq`	`a, b`
`iv_covers`	`l, lo, hi`
`iv_find_containing`	`l, x`

包内说明（源码头注释）

text

============================================================
普贤生态库：registry/interval —— 闭区间
------------------------------------------------------------
纯函数库（无 IO、无状态），编译（px build）与解释（px run）双模式一致。
区间 = {"lo": 数, "hi": 数}，闭区间 [lo, hi]。
iv_new(lo, hi)  → Ok(iv) | Err（lo>hi Err）
iv_overlap(a, b) → bool            是否有交集
iv_contains(a, x) → bool / iv_contains_iv(a, b) → bool
iv_intersect(a, b) → Ok(iv) | Err  无交集 Err
iv_merge(l)     → Ok([iv])          合并重叠/相邻区间列表
============================================================