jacquard-api 0.11.0

Generated AT Protocol API bindings for Jacquard
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
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143

// @generated by jacquard-lexicon. DO NOT EDIT.
//
// Lexicon: science.alt.dataset.verificationMethod
//
// This file was automatically generated from Lexicon schemas.
// Any manual changes will be overwritten on the next regeneration.

use jacquard_common::CowStr;
use jacquard_derive::IntoStatic;
use serde::{Serialize, Deserialize};
/// Automated test suite verification

#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq, IntoStatic, Hash)]
pub struct AutomatedTest;
impl core::fmt::Display for AutomatedTest {
    fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
        write!(f, "automatedTest")
    }
}

/// Manual code review by a trusted party

#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq, IntoStatic, Hash)]
pub struct CodeReview;
impl core::fmt::Display for CodeReview {
    fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
        write!(f, "codeReview")
    }
}

/// Machine-checkable correctness proof (Coq, Lean, etc.)

#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq, IntoStatic, Hash)]
pub struct FormalProof;
impl core::fmt::Display for FormalProof {
    fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
        write!(f, "formalProof")
    }
}

/// Verification method identifier for lens verification records. Known values correspond to token definitions in this Lexicon. New verification methods can be added as tokens without breaking changes.

#[derive(Debug, Clone, PartialEq, Eq, Hash)]
pub enum VerificationMethod<'a> {
    CodeReview,
    FormalProof,
    SignedHash,
    AutomatedTest,
    Other(CowStr<'a>),
}

impl<'a> VerificationMethod<'a> {
    pub fn as_str(&self) -> &str {
        match self {
            Self::CodeReview => "codeReview",
            Self::FormalProof => "formalProof",
            Self::SignedHash => "signedHash",
            Self::AutomatedTest => "automatedTest",
            Self::Other(s) => s.as_ref(),
        }
    }
}

impl<'a> From<&'a str> for VerificationMethod<'a> {
    fn from(s: &'a str) -> Self {
        match s {
            "codeReview" => Self::CodeReview,
            "formalProof" => Self::FormalProof,
            "signedHash" => Self::SignedHash,
            "automatedTest" => Self::AutomatedTest,
            _ => Self::Other(CowStr::from(s)),
        }
    }
}

impl<'a> From<String> for VerificationMethod<'a> {
    fn from(s: String) -> Self {
        match s.as_str() {
            "codeReview" => Self::CodeReview,
            "formalProof" => Self::FormalProof,
            "signedHash" => Self::SignedHash,
            "automatedTest" => Self::AutomatedTest,
            _ => Self::Other(CowStr::from(s)),
        }
    }
}

impl<'a> AsRef<str> for VerificationMethod<'a> {
    fn as_ref(&self) -> &str {
        self.as_str()
    }
}

impl<'a> core::fmt::Display for VerificationMethod<'a> {
    fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
        write!(f, "{}", self.as_str())
    }
}

impl<'a> serde::Serialize for VerificationMethod<'a> {
    fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
    where
        S: serde::Serializer,
    {
        serializer.serialize_str(self.as_str())
    }
}

impl<'de, 'a> serde::Deserialize<'de> for VerificationMethod<'a>
where
    'de: 'a,
{
    fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
    where
        D: serde::Deserializer<'de>,
    {
        let s = <&'de str>::deserialize(deserializer)?;
        Ok(Self::from(s))
    }
}

impl jacquard_common::IntoStatic for VerificationMethod<'_> {
    type Output = VerificationMethod<'static>;
    fn into_static(self) -> Self::Output {
        match self {
            VerificationMethod::CodeReview => VerificationMethod::CodeReview,
            VerificationMethod::FormalProof => VerificationMethod::FormalProof,
            VerificationMethod::SignedHash => VerificationMethod::SignedHash,
            VerificationMethod::AutomatedTest => VerificationMethod::AutomatedTest,
            VerificationMethod::Other(v) => VerificationMethod::Other(v.into_static()),
        }
    }
}

/// Cryptographic signature over code hash at referenced commit

#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq, IntoStatic, Hash)]
pub struct SignedHash;
impl core::fmt::Display for SignedHash {
    fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
        write!(f, "signedHash")
    }
}