jsonld-core 0.23.1

JSON-LD core types and traits
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
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124

use ld_core::{
    BorrowedRdfTerm,
    CowRdfTerm,
    LinkedData,
    LinkedDataGraph,
    LinkedDataPredicateObjects,
    LinkedDataResource,
    LinkedDataSubject,
    ResourceInterpretation,
};
use rdfx::Interpretation;

use crate::{
    IndexedObject,
    object::List,
    rdf::{RDF_FIRST, RDF_NIL, RDF_REST},
};

impl<T, B, I: Interpretation> LinkedDataResource<I> for List<T, B> {
    fn interpretation(&self, _interpretation: &mut I) -> ResourceInterpretation<'_, I> {
        ResourceInterpretation::Uninterpreted(None)
    }
}

impl<T, B, I: Interpretation> LinkedDataSubject<I> for List<T, B>
where
    T: LinkedDataResource<I> + LinkedDataSubject<I>,
    B: LinkedDataResource<I> + LinkedDataSubject<I>,
{
    fn visit_subject<S>(&self, visitor: S) -> Result<S::Ok, S::Error>
    where
        S: ld_core::SubjectVisitor<I>,
    {
        Rest(self.as_slice()).visit_subject(visitor)
    }
}

impl<T, B, I: Interpretation> LinkedDataPredicateObjects<I> for List<T, B>
where
    T: LinkedDataResource<I> + LinkedDataSubject<I>,
    B: LinkedDataResource<I> + LinkedDataSubject<I>,
{
    fn visit_objects<S>(&self, mut visitor: S) -> Result<S::Ok, S::Error>
    where
        S: ld_core::PredicateObjectsVisitor<I>,
    {
        visitor.object(self)?;
        visitor.end()
    }
}

impl<T, B, I: Interpretation> LinkedDataGraph<I> for List<T, B>
where
    T: LinkedDataResource<I> + LinkedDataSubject<I>,
    B: LinkedDataResource<I> + LinkedDataSubject<I>,
{
    fn visit_graph<S>(&self, mut visitor: S) -> Result<S::Ok, S::Error>
    where
        S: ld_core::GraphVisitor<I>,
    {
        visitor.subject(self)?;
        visitor.end()
    }
}

impl<T, B, I: Interpretation> LinkedData<I> for List<T, B>
where
    T: LinkedDataResource<I> + LinkedDataSubject<I>,
    B: LinkedDataResource<I> + LinkedDataSubject<I>,
{
    fn visit<S>(&self, mut visitor: S) -> Result<S::Ok, S::Error>
    where
        S: ld_core::Visitor<I>,
    {
        visitor.default_graph(self)?;
        visitor.end()
    }
}

struct Rest<'a, T, B>(&'a [IndexedObject<T, B>]);

impl<T, B, I: Interpretation> LinkedDataResource<I> for Rest<'_, T, B> {
    fn interpretation(&self, _interpretation: &mut I) -> ResourceInterpretation<'_, I> {
        if self.0.is_empty() {
            // The empty list is the well-known `rdf:nil` resource, not a
            // fresh anonymous node.
            ResourceInterpretation::Uninterpreted(Some(CowRdfTerm::Borrowed(BorrowedRdfTerm::Iri(RDF_NIL))))
        } else {
            ResourceInterpretation::Uninterpreted(None)
        }
    }
}

impl<T, B, I: Interpretation> LinkedDataSubject<I> for Rest<'_, T, B>
where
    T: LinkedDataResource<I> + LinkedDataSubject<I>,
    B: LinkedDataResource<I> + LinkedDataSubject<I>,
{
    fn visit_subject<S>(&self, mut visitor: S) -> Result<S::Ok, S::Error>
    where
        S: ld_core::SubjectVisitor<I>,
    {
        if let Some((first, rest)) = self.0.split_first() {
            visitor.predicate(&RDF_FIRST, first.inner())?;
            visitor.predicate(&RDF_REST, &Rest(rest))?;
        }

        visitor.end()
    }
}

impl<T, B, I: Interpretation> LinkedDataPredicateObjects<I> for Rest<'_, T, B>
where
    T: LinkedDataResource<I> + LinkedDataSubject<I>,
    B: LinkedDataResource<I> + LinkedDataSubject<I>,
{
    fn visit_objects<S>(&self, mut visitor: S) -> Result<S::Ok, S::Error>
    where
        S: ld_core::PredicateObjectsVisitor<I>,
    {
        visitor.object(self)?;
        visitor.end()
    }
}