jacquard-api 0.12.0-beta.2

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

// @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::{BosStr, CowStr, DefaultStr, FromStaticStr};
use jacquard_derive::IntoStatic;
use serde::{Deserialize, Serialize};
/// 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<S: BosStr = DefaultStr> {
    CodeReview,
    FormalProof,
    SignedHash,
    AutomatedTest,
    Other(S),
}

impl<S: BosStr> VerificationMethod<S> {
    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(),
        }
    }
    /// Construct from a string-like value, matching known values.
    pub fn from_value(s: S) -> Self {
        match s.as_ref() {
            "codeReview" => Self::CodeReview,
            "formalProof" => Self::FormalProof,
            "signedHash" => Self::SignedHash,
            "automatedTest" => Self::AutomatedTest,
            _ => Self::Other(s),
        }
    }
}

impl<S: BosStr> AsRef<str> for VerificationMethod<S> {
    fn as_ref(&self) -> &str {
        self.as_str()
    }
}

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

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

impl<'de, S: Deserialize<'de> + BosStr> Deserialize<'de> for VerificationMethod<S> {
    fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
    where
        D: serde::Deserializer<'de>,
    {
        let s = S::deserialize(deserializer)?;
        Ok(Self::from_value(s))
    }
}

impl<S: BosStr> jacquard_common::IntoStatic for VerificationMethod<S>
where
    S: BosStr + jacquard_common::IntoStatic,
    S::Output: BosStr,
{
    type Output = VerificationMethod<S::Output>;
    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")
    }
}