exact-poly 0.3.0

Integer polygon geometry library — exact arithmetic, no float errors
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59

use wasm_bindgen::prelude::*;

use super::helpers::*;

#[wasm_bindgen]
pub fn is_convex(ring_flat: &[i64]) -> Result<bool, JsValue> {
    let ring = parse_flat_ring(ring_flat)?;
    Ok(crate::validation::is_convex(&ring))
}

#[wasm_bindgen(skip_typescript)]
pub fn validate_edge_lengths(
    ring_flat: &[i64],
    config: Option<JsValue>,
) -> Result<Option<String>, JsValue> {
    let ring = parse_flat_ring(ring_flat)?;
    let config = parse_config(config)?;
    Ok(crate::validation::validate_edge_lengths(&ring, &config))
}

#[wasm_bindgen]
pub fn perimeter_l1(ring_flat: &[i64]) -> Result<String, JsValue> {
    let ring = parse_flat_ring(ring_flat)?;
    Ok(crate::validation::perimeter_l1(&ring).to_string())
}

/// Boundary-level compactness check. Apply to a whole polygon's outer
/// boundary (single part, or the union boundary of a multipart polygon).
/// NOT intended for individual parts of a multipart polygon — that would be
/// stricter than on-chain and reject legitimate decompositions.
#[wasm_bindgen(skip_typescript)]
pub fn validate_compactness(
    twice_area: &str,
    perimeter: &str,
    config: Option<JsValue>,
) -> Result<Option<String>, JsValue> {
    let twice_area = parse_u128_str(twice_area, "twice_area")?;
    let perimeter = parse_u128_str(perimeter, "perimeter")?;
    let config = parse_config(config)?;
    Ok(crate::validation::validate_compactness(
        twice_area, perimeter, &config,
    ))
}

/// Per-part structural validation mirroring polygon.move's `part()` entry:
/// vertex-count bounds, weak convexity, and minimum edge length.
///
/// Breaking change (was: also enforced compactness). Compactness is a
/// boundary-level property; call `validate_multipart_topology` (or the
/// full on-chain validator) to check the assembled polygon instead.
#[wasm_bindgen(skip_typescript)]
pub fn validate_part(
    ring_flat: &[i64],
    config: Option<JsValue>,
) -> Result<Option<String>, JsValue> {
    let ring = parse_flat_ring(ring_flat)?;
    let config = parse_config(config)?;
    Ok(crate::validation::validate_part(&ring, &config))
}