#[allow(unused_imports)]
use alloc::collections::BTreeMap;
#[allow(unused_imports)]
use core::marker::PhantomData;
use jacquard_common::{BosStr, CowStr, DefaultStr, FromStaticStr};
#[allow(unused_imports)]
use jacquard_common::deps::codegen::unicode_segmentation::UnicodeSegmentation;
use jacquard_common::deps::smol_str::SmolStr;
use jacquard_common::types::collection::{Collection, RecordError};
use jacquard_common::types::string::{AtUri, Cid, Datetime, Did};
use jacquard_common::types::uri::{RecordUri, UriError};
use jacquard_common::types::value::Data;
use jacquard_common::xrpc::XrpcResp;
use jacquard_derive::{IntoStatic, lexicon};
use jacquard_lexicon::lexicon::LexiconDoc;
use jacquard_lexicon::schema::LexiconSchema;
#[allow(unused_imports)]
use jacquard_lexicon::validation::{ConstraintError, ValidationPath};
use serde::{Deserialize, Serialize};
#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq, IntoStatic)]
#[serde(
rename_all = "camelCase",
rename = "app.ocho.edu.verification",
tag = "$type",
bound(deserialize = "S: Deserialize<'de> + BosStr")
)]
pub struct Verification<S: BosStr = DefaultStr> {
pub created_at: Datetime,
pub domain: S,
pub subject: Did<S>,
#[serde(flatten, default, skip_serializing_if = "Option::is_none")]
pub extra_data: Option<BTreeMap<SmolStr, Data<S>>>,
}
#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq, IntoStatic)]
#[serde(rename_all = "camelCase")]
pub struct VerificationGetRecordOutput<S: BosStr = DefaultStr> {
#[serde(skip_serializing_if = "Option::is_none")]
pub cid: Option<Cid<S>>,
pub uri: AtUri<S>,
pub value: Verification<S>,
}
impl<S: BosStr> Verification<S> {
pub fn uri(uri: S) -> Result<RecordUri<S, VerificationRecord>, UriError> {
RecordUri::try_from_uri(AtUri::new(uri)?)
}
}
#[derive(Debug, Serialize, Deserialize)]
pub struct VerificationRecord;
impl XrpcResp for VerificationRecord {
const NSID: &'static str = "app.ocho.edu.verification";
const ENCODING: &'static str = "application/json";
type Output<S: BosStr> = VerificationGetRecordOutput<S>;
type Err = RecordError;
}
impl<S: BosStr> From<VerificationGetRecordOutput<S>> for Verification<S> {
fn from(output: VerificationGetRecordOutput<S>) -> Self {
output.value
}
}
impl<S: BosStr> Collection for Verification<S> {
const NSID: &'static str = "app.ocho.edu.verification";
type Record = VerificationRecord;
}
impl Collection for VerificationRecord {
const NSID: &'static str = "app.ocho.edu.verification";
type Record = VerificationRecord;
}
impl<S: BosStr> LexiconSchema for Verification<S> {
fn nsid() -> &'static str {
"app.ocho.edu.verification"
}
fn def_name() -> &'static str {
"main"
}
fn lexicon_doc() -> LexiconDoc<'static> {
lexicon_doc_app_ocho_edu_verification()
}
fn validate(&self) -> Result<(), ConstraintError> {
Ok(())
}
}
pub mod verification_state {
pub use crate::builder_types::{IsSet, IsUnset, Set, Unset};
#[allow(unused)]
use ::core::marker::PhantomData;
mod sealed {
pub trait Sealed {}
}
pub trait State: sealed::Sealed {
type Subject;
type Domain;
type CreatedAt;
}
pub struct Empty(());
impl sealed::Sealed for Empty {}
impl State for Empty {
type Subject = Unset;
type Domain = Unset;
type CreatedAt = Unset;
}
pub struct SetSubject<St: State = Empty>(PhantomData<fn() -> St>);
impl<St: State> sealed::Sealed for SetSubject<St> {}
impl<St: State> State for SetSubject<St> {
type Subject = Set<members::subject>;
type Domain = St::Domain;
type CreatedAt = St::CreatedAt;
}
pub struct SetDomain<St: State = Empty>(PhantomData<fn() -> St>);
impl<St: State> sealed::Sealed for SetDomain<St> {}
impl<St: State> State for SetDomain<St> {
type Subject = St::Subject;
type Domain = Set<members::domain>;
type CreatedAt = St::CreatedAt;
}
pub struct SetCreatedAt<St: State = Empty>(PhantomData<fn() -> St>);
impl<St: State> sealed::Sealed for SetCreatedAt<St> {}
impl<St: State> State for SetCreatedAt<St> {
type Subject = St::Subject;
type Domain = St::Domain;
type CreatedAt = Set<members::created_at>;
}
#[allow(non_camel_case_types)]
pub mod members {
pub struct subject(());
pub struct domain(());
pub struct created_at(());
}
}
pub struct VerificationBuilder<S: BosStr, St: verification_state::State> {
_state: PhantomData<fn() -> St>,
_fields: (Option<Datetime>, Option<S>, Option<Did<S>>),
_type: PhantomData<fn() -> S>,
}
impl<S: BosStr> Verification<S> {
pub fn new() -> VerificationBuilder<S, verification_state::Empty> {
VerificationBuilder::new()
}
}
impl<S: BosStr> VerificationBuilder<S, verification_state::Empty> {
pub fn new() -> Self {
VerificationBuilder {
_state: PhantomData,
_fields: (None, None, None),
_type: PhantomData,
}
}
}
impl<S: BosStr, St> VerificationBuilder<S, St>
where
St: verification_state::State,
St::CreatedAt: verification_state::IsUnset,
{
pub fn created_at(
mut self,
value: impl Into<Datetime>,
) -> VerificationBuilder<S, verification_state::SetCreatedAt<St>> {
self._fields.0 = Option::Some(value.into());
VerificationBuilder {
_state: PhantomData,
_fields: self._fields,
_type: PhantomData,
}
}
}
impl<S: BosStr, St> VerificationBuilder<S, St>
where
St: verification_state::State,
St::Domain: verification_state::IsUnset,
{
pub fn domain(
mut self,
value: impl Into<S>,
) -> VerificationBuilder<S, verification_state::SetDomain<St>> {
self._fields.1 = Option::Some(value.into());
VerificationBuilder {
_state: PhantomData,
_fields: self._fields,
_type: PhantomData,
}
}
}
impl<S: BosStr, St> VerificationBuilder<S, St>
where
St: verification_state::State,
St::Subject: verification_state::IsUnset,
{
pub fn subject(
mut self,
value: impl Into<Did<S>>,
) -> VerificationBuilder<S, verification_state::SetSubject<St>> {
self._fields.2 = Option::Some(value.into());
VerificationBuilder {
_state: PhantomData,
_fields: self._fields,
_type: PhantomData,
}
}
}
impl<S: BosStr, St> VerificationBuilder<S, St>
where
St: verification_state::State,
St::Subject: verification_state::IsSet,
St::Domain: verification_state::IsSet,
St::CreatedAt: verification_state::IsSet,
{
pub fn build(self) -> Verification<S> {
Verification {
created_at: self._fields.0.unwrap(),
domain: self._fields.1.unwrap(),
subject: self._fields.2.unwrap(),
extra_data: Default::default(),
}
}
pub fn build_with_data(self, extra_data: BTreeMap<SmolStr, Data<S>>) -> Verification<S> {
Verification {
created_at: self._fields.0.unwrap(),
domain: self._fields.1.unwrap(),
subject: self._fields.2.unwrap(),
extra_data: Some(extra_data),
}
}
}
fn lexicon_doc_app_ocho_edu_verification() -> LexiconDoc<'static> {
use alloc::collections::BTreeMap;
#[allow(unused_imports)]
use jacquard_common::{CowStr, deps::smol_str::SmolStr, types::blob::MimeType};
use jacquard_lexicon::lexicon::*;
LexiconDoc {
lexicon: Lexicon::Lexicon1,
id: CowStr::new_static("app.ocho.edu.verification"),
defs: {
let mut map = BTreeMap::new();
map.insert(
SmolStr::new_static("main"),
LexUserType::Record(LexRecord {
description: Some(
CowStr::new_static(
"Record declaring a verification relationship between an account and a .edu domain. Verifications are only considered valid by an app if issued by an account the app considers trusted.",
),
),
key: Some(CowStr::new_static("tid")),
record: LexRecordRecord::Object(LexObject {
required: Some(
vec![
SmolStr::new_static("subject"),
SmolStr::new_static("domain"),
SmolStr::new_static("createdAt")
],
),
properties: {
#[allow(unused_mut)]
let mut map = BTreeMap::new();
map.insert(
SmolStr::new_static("createdAt"),
LexObjectProperty::String(LexString {
description: Some(
CowStr::new_static(
"Date of when the verification was created.",
),
),
format: Some(LexStringFormat::Datetime),
..Default::default()
}),
);
map.insert(
SmolStr::new_static("domain"),
LexObjectProperty::String(LexString {
description: Some(
CowStr::new_static(
"The domain the subject is verified under.",
),
),
..Default::default()
}),
);
map.insert(
SmolStr::new_static("subject"),
LexObjectProperty::String(LexString {
description: Some(
CowStr::new_static(
"DID of the subject the verification applies to.",
),
),
format: Some(LexStringFormat::Did),
..Default::default()
}),
);
map
},
..Default::default()
}),
..Default::default()
}),
);
map
},
..Default::default()
}
}