eure-json 0.1.9

JSON conversion support for Eure format
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

use eure_document::document::NodeId;
use thiserror::Error;

#[derive(Debug, Clone, Error, PartialEq)]
pub enum EureToJsonError {
    #[error("Hole (uninitialized value) is not supported in JSON")]
    HoleNotSupported { node_id: NodeId },

    #[error("PartialMap (map with hole keys) is not supported in JSON")]
    PartialMapNotSupported { node_id: NodeId },

    #[error("BigInt value is out of range for JSON number")]
    BigIntOutOfRange { node_id: NodeId },

    #[error("Non-finite floating point value (NaN or Infinity) is not supported in JSON")]
    NonFiniteFloat { node_id: NodeId },

    #[error("Variant content already contains tag field '{tag}' in Internal representation")]
    VariantTagConflict { tag: String, node_id: NodeId },

    #[error("Variant content already contains field '{field}' in Adjacent representation")]
    VariantAdjacentConflict { field: String, node_id: NodeId },
}

impl EureToJsonError {
    /// Returns the NodeId associated with this error.
    pub fn node_id(&self) -> NodeId {
        match self {
            EureToJsonError::HoleNotSupported { node_id } => *node_id,
            EureToJsonError::PartialMapNotSupported { node_id } => *node_id,
            EureToJsonError::BigIntOutOfRange { node_id } => *node_id,
            EureToJsonError::NonFiniteFloat { node_id } => *node_id,
            EureToJsonError::VariantTagConflict { node_id, .. } => *node_id,
            EureToJsonError::VariantAdjacentConflict { node_id, .. } => *node_id,
        }
    }
}

/// Errors that can occur when converting JSON to Eure.
/// Currently this is infallible, but the error type is provided for future extensibility
/// and API consistency.
#[derive(Debug, Error, PartialEq)]
pub enum JsonToEureError {
    // Currently no error cases - JSON to Eure conversion is infallible.
    // This enum is provided for:
    // 1. API consistency with EureToJsonError
    // 2. Future extensibility (e.g., schema-guided conversion constraints)
}