// @generated by jacquard-lexicon. DO NOT EDIT.
//
// Lexicon: tools.ozone.verification.grantVerifications
//
// This file was automatically generated from Lexicon schemas.
// Any manual changes will be overwritten on the next regeneration.

#[allow(unused_imports)]
use alloc::collections::BTreeMap;

#[allow(unused_imports)]
use core::marker::PhantomData;
use jacquard_common::CowStr;

#[allow(unused_imports)]
use jacquard_common::deps::codegen::unicode_segmentation::UnicodeSegmentation;
use jacquard_common::types::string::{Did, Handle, Datetime};
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::{Serialize, Deserialize};
use crate::tools_ozone::verification::VerificationView;
use crate::tools_ozone::verification::grant_verifications;
/// Error object for failed verifications.

#[lexicon]
#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq, IntoStatic)]
#[serde(rename_all = "camelCase")]
pub struct GrantError<'a> {
    ///Error message describing the reason for failure.
    #[serde(borrow)]
    pub error: CowStr<'a>,
    ///The did of the subject being verified
    #[serde(borrow)]
    pub subject: Did<'a>,
}


#[lexicon]
#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq, IntoStatic)]
#[serde(rename_all = "camelCase")]
pub struct GrantVerifications<'a> {
    ///Array of verification requests to process
    #[serde(borrow)]
    pub verifications: Vec<grant_verifications::VerificationInput<'a>>,
}


#[lexicon]
#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq, IntoStatic)]
#[serde(rename_all = "camelCase")]
pub struct GrantVerificationsOutput<'a> {
    #[serde(borrow)]
    pub failed_verifications: Vec<grant_verifications::GrantError<'a>>,
    #[serde(borrow)]
    pub verifications: Vec<VerificationView<'a>>,
}


#[lexicon]
#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq, IntoStatic)]
#[serde(rename_all = "camelCase")]
pub struct VerificationInput<'a> {
    ///Timestamp for verification record. Defaults to current time when not specified.
    #[serde(skip_serializing_if = "Option::is_none")]
    pub created_at: Option<Datetime>,
    ///Display name of the subject the verification applies to at the moment of verifying.
    #[serde(borrow)]
    pub display_name: CowStr<'a>,
    ///Handle of the subject the verification applies to at the moment of verifying.
    #[serde(borrow)]
    pub handle: Handle<'a>,
    ///The did of the subject being verified
    #[serde(borrow)]
    pub subject: Did<'a>,
}

impl<'a> LexiconSchema for GrantError<'a> {
    fn nsid() -> &'static str {
        "tools.ozone.verification.grantVerifications"
    }
    fn def_name() -> &'static str {
        "grantError"
    }
    fn lexicon_doc() -> LexiconDoc<'static> {
        lexicon_doc_tools_ozone_verification_grantVerifications()
    }
    fn validate(&self) -> Result<(), ConstraintError> {
        Ok(())
    }
}

/// Response type for tools.ozone.verification.grantVerifications
pub struct GrantVerificationsResponse;
impl jacquard_common::xrpc::XrpcResp for GrantVerificationsResponse {
    const NSID: &'static str = "tools.ozone.verification.grantVerifications";
    const ENCODING: &'static str = "application/json";
    type Output<'de> = GrantVerificationsOutput<'de>;
    type Err<'de> = jacquard_common::xrpc::GenericError<'de>;
}

impl<'a> jacquard_common::xrpc::XrpcRequest for GrantVerifications<'a> {
    const NSID: &'static str = "tools.ozone.verification.grantVerifications";
    const METHOD: jacquard_common::xrpc::XrpcMethod = jacquard_common::xrpc::XrpcMethod::Procedure(
        "application/json",
    );
    type Response = GrantVerificationsResponse;
}

/// Endpoint type for tools.ozone.verification.grantVerifications
pub struct GrantVerificationsRequest;
impl jacquard_common::xrpc::XrpcEndpoint for GrantVerificationsRequest {
    const PATH: &'static str = "/xrpc/tools.ozone.verification.grantVerifications";
    const METHOD: jacquard_common::xrpc::XrpcMethod = jacquard_common::xrpc::XrpcMethod::Procedure(
        "application/json",
    );
    type Request<'de> = GrantVerifications<'de>;
    type Response = GrantVerificationsResponse;
}

impl<'a> LexiconSchema for VerificationInput<'a> {
    fn nsid() -> &'static str {
        "tools.ozone.verification.grantVerifications"
    }
    fn def_name() -> &'static str {
        "verificationInput"
    }
    fn lexicon_doc() -> LexiconDoc<'static> {
        lexicon_doc_tools_ozone_verification_grantVerifications()
    }
    fn validate(&self) -> Result<(), ConstraintError> {
        Ok(())
    }
}

pub mod grant_error_state {

    pub use crate::builder_types::{Set, Unset, IsSet, IsUnset};
    #[allow(unused)]
    use ::core::marker::PhantomData;
    mod sealed {
        pub trait Sealed {}
    }
    /// State trait tracking which required fields have been set
    pub trait State: sealed::Sealed {
        type Error;
        type Subject;
    }
    /// Empty state - all required fields are unset
    pub struct Empty(());
    impl sealed::Sealed for Empty {}
    impl State for Empty {
        type Error = Unset;
        type Subject = Unset;
    }
    ///State transition - sets the `error` field to Set
    pub struct SetError<S: State = Empty>(PhantomData<fn() -> S>);
    impl<S: State> sealed::Sealed for SetError<S> {}
    impl<S: State> State for SetError<S> {
        type Error = Set<members::error>;
        type Subject = S::Subject;
    }
    ///State transition - sets the `subject` field to Set
    pub struct SetSubject<S: State = Empty>(PhantomData<fn() -> S>);
    impl<S: State> sealed::Sealed for SetSubject<S> {}
    impl<S: State> State for SetSubject<S> {
        type Error = S::Error;
        type Subject = Set<members::subject>;
    }
    /// Marker types for field names
    #[allow(non_camel_case_types)]
    pub mod members {
        ///Marker type for the `error` field
        pub struct error(());
        ///Marker type for the `subject` field
        pub struct subject(());
    }
}

/// Builder for constructing an instance of this type
pub struct GrantErrorBuilder<'a, S: grant_error_state::State> {
    _state: PhantomData<fn() -> S>,
    _fields: (Option<CowStr<'a>>, Option<Did<'a>>),
    _lifetime: PhantomData<&'a ()>,
}

impl<'a> GrantError<'a> {
    /// Create a new builder for this type
    pub fn new() -> GrantErrorBuilder<'a, grant_error_state::Empty> {
        GrantErrorBuilder::new()
    }
}

impl<'a> GrantErrorBuilder<'a, grant_error_state::Empty> {
    /// Create a new builder with all fields unset
    pub fn new() -> Self {
        GrantErrorBuilder {
            _state: PhantomData,
            _fields: (None, None),
            _lifetime: PhantomData,
        }
    }
}

impl<'a, S> GrantErrorBuilder<'a, S>
where
    S: grant_error_state::State,
    S::Error: grant_error_state::IsUnset,
{
    /// Set the `error` field (required)
    pub fn error(
        mut self,
        value: impl Into<CowStr<'a>>,
    ) -> GrantErrorBuilder<'a, grant_error_state::SetError<S>> {
        self._fields.0 = Option::Some(value.into());
        GrantErrorBuilder {
            _state: PhantomData,
            _fields: self._fields,
            _lifetime: PhantomData,
        }
    }
}

impl<'a, S> GrantErrorBuilder<'a, S>
where
    S: grant_error_state::State,
    S::Subject: grant_error_state::IsUnset,
{
    /// Set the `subject` field (required)
    pub fn subject(
        mut self,
        value: impl Into<Did<'a>>,
    ) -> GrantErrorBuilder<'a, grant_error_state::SetSubject<S>> {
        self._fields.1 = Option::Some(value.into());
        GrantErrorBuilder {
            _state: PhantomData,
            _fields: self._fields,
            _lifetime: PhantomData,
        }
    }
}

impl<'a, S> GrantErrorBuilder<'a, S>
where
    S: grant_error_state::State,
    S::Error: grant_error_state::IsSet,
    S::Subject: grant_error_state::IsSet,
{
    /// Build the final struct
    pub fn build(self) -> GrantError<'a> {
        GrantError {
            error: self._fields.0.unwrap(),
            subject: self._fields.1.unwrap(),
            extra_data: Default::default(),
        }
    }
    /// Build the final struct with custom extra_data
    pub fn build_with_data(
        self,
        extra_data: BTreeMap<
            jacquard_common::deps::smol_str::SmolStr,
            jacquard_common::types::value::Data<'a>,
        >,
    ) -> GrantError<'a> {
        GrantError {
            error: self._fields.0.unwrap(),
            subject: self._fields.1.unwrap(),
            extra_data: Some(extra_data),
        }
    }
}

fn lexicon_doc_tools_ozone_verification_grantVerifications() -> LexiconDoc<'static> {
    #[allow(unused_imports)]
    use jacquard_common::{CowStr, deps::smol_str::SmolStr, types::blob::MimeType};
    use jacquard_lexicon::lexicon::*;
    use alloc::collections::BTreeMap;
    LexiconDoc {
        lexicon: Lexicon::Lexicon1,
        id: CowStr::new_static("tools.ozone.verification.grantVerifications"),
        defs: {
            let mut map = BTreeMap::new();
            map.insert(
                SmolStr::new_static("grantError"),
                LexUserType::Object(LexObject {
                    description: Some(
                        CowStr::new_static("Error object for failed verifications."),
                    ),
                    required: Some(
                        vec![
                            SmolStr::new_static("error"), SmolStr::new_static("subject")
                        ],
                    ),
                    properties: {
                        #[allow(unused_mut)]
                        let mut map = BTreeMap::new();
                        map.insert(
                            SmolStr::new_static("error"),
                            LexObjectProperty::String(LexString {
                                description: Some(
                                    CowStr::new_static(
                                        "Error message describing the reason for failure.",
                                    ),
                                ),
                                ..Default::default()
                            }),
                        );
                        map.insert(
                            SmolStr::new_static("subject"),
                            LexObjectProperty::String(LexString {
                                description: Some(
                                    CowStr::new_static("The did of the subject being verified"),
                                ),
                                format: Some(LexStringFormat::Did),
                                ..Default::default()
                            }),
                        );
                        map
                    },
                    ..Default::default()
                }),
            );
            map.insert(
                SmolStr::new_static("main"),
                LexUserType::XrpcProcedure(LexXrpcProcedure {
                    input: Some(LexXrpcBody {
                        encoding: CowStr::new_static("application/json"),
                        schema: Some(
                            LexXrpcBodySchema::Object(LexObject {
                                required: Some(vec![SmolStr::new_static("verifications")]),
                                properties: {
                                    #[allow(unused_mut)]
                                    let mut map = BTreeMap::new();
                                    map.insert(
                                        SmolStr::new_static("verifications"),
                                        LexObjectProperty::Array(LexArray {
                                            description: Some(
                                                CowStr::new_static(
                                                    "Array of verification requests to process",
                                                ),
                                            ),
                                            items: LexArrayItem::Ref(LexRef {
                                                r#ref: CowStr::new_static("#verificationInput"),
                                                ..Default::default()
                                            }),
                                            max_length: Some(100usize),
                                            ..Default::default()
                                        }),
                                    );
                                    map
                                },
                                ..Default::default()
                            }),
                        ),
                        ..Default::default()
                    }),
                    ..Default::default()
                }),
            );
            map.insert(
                SmolStr::new_static("verificationInput"),
                LexUserType::Object(LexObject {
                    required: Some(
                        vec![
                            SmolStr::new_static("subject"),
                            SmolStr::new_static("handle"),
                            SmolStr::new_static("displayName")
                        ],
                    ),
                    properties: {
                        #[allow(unused_mut)]
                        let mut map = BTreeMap::new();
                        map.insert(
                            SmolStr::new_static("createdAt"),
                            LexObjectProperty::String(LexString {
                                description: Some(
                                    CowStr::new_static(
                                        "Timestamp for verification record. Defaults to current time when not specified.",
                                    ),
                                ),
                                format: Some(LexStringFormat::Datetime),
                                ..Default::default()
                            }),
                        );
                        map.insert(
                            SmolStr::new_static("displayName"),
                            LexObjectProperty::String(LexString {
                                description: Some(
                                    CowStr::new_static(
                                        "Display name of the subject the verification applies to at the moment of verifying.",
                                    ),
                                ),
                                ..Default::default()
                            }),
                        );
                        map.insert(
                            SmolStr::new_static("handle"),
                            LexObjectProperty::String(LexString {
                                description: Some(
                                    CowStr::new_static(
                                        "Handle of the subject the verification applies to at the moment of verifying.",
                                    ),
                                ),
                                format: Some(LexStringFormat::Handle),
                                ..Default::default()
                            }),
                        );
                        map.insert(
                            SmolStr::new_static("subject"),
                            LexObjectProperty::String(LexString {
                                description: Some(
                                    CowStr::new_static("The did of the subject being verified"),
                                ),
                                format: Some(LexStringFormat::Did),
                                ..Default::default()
                            }),
                        );
                        map
                    },
                    ..Default::default()
                }),
            );
            map
        },
        ..Default::default()
    }
}

pub mod grant_verifications_state {

    pub use crate::builder_types::{Set, Unset, IsSet, IsUnset};
    #[allow(unused)]
    use ::core::marker::PhantomData;
    mod sealed {
        pub trait Sealed {}
    }
    /// State trait tracking which required fields have been set
    pub trait State: sealed::Sealed {
        type Verifications;
    }
    /// Empty state - all required fields are unset
    pub struct Empty(());
    impl sealed::Sealed for Empty {}
    impl State for Empty {
        type Verifications = Unset;
    }
    ///State transition - sets the `verifications` field to Set
    pub struct SetVerifications<S: State = Empty>(PhantomData<fn() -> S>);
    impl<S: State> sealed::Sealed for SetVerifications<S> {}
    impl<S: State> State for SetVerifications<S> {
        type Verifications = Set<members::verifications>;
    }
    /// Marker types for field names
    #[allow(non_camel_case_types)]
    pub mod members {
        ///Marker type for the `verifications` field
        pub struct verifications(());
    }
}

/// Builder for constructing an instance of this type
pub struct GrantVerificationsBuilder<'a, S: grant_verifications_state::State> {
    _state: PhantomData<fn() -> S>,
    _fields: (Option<Vec<grant_verifications::VerificationInput<'a>>>,),
    _lifetime: PhantomData<&'a ()>,
}

impl<'a> GrantVerifications<'a> {
    /// Create a new builder for this type
    pub fn new() -> GrantVerificationsBuilder<'a, grant_verifications_state::Empty> {
        GrantVerificationsBuilder::new()
    }
}

impl<'a> GrantVerificationsBuilder<'a, grant_verifications_state::Empty> {
    /// Create a new builder with all fields unset
    pub fn new() -> Self {
        GrantVerificationsBuilder {
            _state: PhantomData,
            _fields: (None,),
            _lifetime: PhantomData,
        }
    }
}

impl<'a, S> GrantVerificationsBuilder<'a, S>
where
    S: grant_verifications_state::State,
    S::Verifications: grant_verifications_state::IsUnset,
{
    /// Set the `verifications` field (required)
    pub fn verifications(
        mut self,
        value: impl Into<Vec<grant_verifications::VerificationInput<'a>>>,
    ) -> GrantVerificationsBuilder<'a, grant_verifications_state::SetVerifications<S>> {
        self._fields.0 = Option::Some(value.into());
        GrantVerificationsBuilder {
            _state: PhantomData,
            _fields: self._fields,
            _lifetime: PhantomData,
        }
    }
}

impl<'a, S> GrantVerificationsBuilder<'a, S>
where
    S: grant_verifications_state::State,
    S::Verifications: grant_verifications_state::IsSet,
{
    /// Build the final struct
    pub fn build(self) -> GrantVerifications<'a> {
        GrantVerifications {
            verifications: self._fields.0.unwrap(),
            extra_data: Default::default(),
        }
    }
    /// Build the final struct with custom extra_data
    pub fn build_with_data(
        self,
        extra_data: BTreeMap<
            jacquard_common::deps::smol_str::SmolStr,
            jacquard_common::types::value::Data<'a>,
        >,
    ) -> GrantVerifications<'a> {
        GrantVerifications {
            verifications: self._fields.0.unwrap(),
            extra_data: Some(extra_data),
        }
    }
}

pub mod verification_input_state {

    pub use crate::builder_types::{Set, Unset, IsSet, IsUnset};
    #[allow(unused)]
    use ::core::marker::PhantomData;
    mod sealed {
        pub trait Sealed {}
    }
    /// State trait tracking which required fields have been set
    pub trait State: sealed::Sealed {
        type DisplayName;
        type Subject;
        type Handle;
    }
    /// Empty state - all required fields are unset
    pub struct Empty(());
    impl sealed::Sealed for Empty {}
    impl State for Empty {
        type DisplayName = Unset;
        type Subject = Unset;
        type Handle = Unset;
    }
    ///State transition - sets the `display_name` field to Set
    pub struct SetDisplayName<S: State = Empty>(PhantomData<fn() -> S>);
    impl<S: State> sealed::Sealed for SetDisplayName<S> {}
    impl<S: State> State for SetDisplayName<S> {
        type DisplayName = Set<members::display_name>;
        type Subject = S::Subject;
        type Handle = S::Handle;
    }
    ///State transition - sets the `subject` field to Set
    pub struct SetSubject<S: State = Empty>(PhantomData<fn() -> S>);
    impl<S: State> sealed::Sealed for SetSubject<S> {}
    impl<S: State> State for SetSubject<S> {
        type DisplayName = S::DisplayName;
        type Subject = Set<members::subject>;
        type Handle = S::Handle;
    }
    ///State transition - sets the `handle` field to Set
    pub struct SetHandle<S: State = Empty>(PhantomData<fn() -> S>);
    impl<S: State> sealed::Sealed for SetHandle<S> {}
    impl<S: State> State for SetHandle<S> {
        type DisplayName = S::DisplayName;
        type Subject = S::Subject;
        type Handle = Set<members::handle>;
    }
    /// Marker types for field names
    #[allow(non_camel_case_types)]
    pub mod members {
        ///Marker type for the `display_name` field
        pub struct display_name(());
        ///Marker type for the `subject` field
        pub struct subject(());
        ///Marker type for the `handle` field
        pub struct handle(());
    }
}

/// Builder for constructing an instance of this type
pub struct VerificationInputBuilder<'a, S: verification_input_state::State> {
    _state: PhantomData<fn() -> S>,
    _fields: (Option<Datetime>, Option<CowStr<'a>>, Option<Handle<'a>>, Option<Did<'a>>),
    _lifetime: PhantomData<&'a ()>,
}

impl<'a> VerificationInput<'a> {
    /// Create a new builder for this type
    pub fn new() -> VerificationInputBuilder<'a, verification_input_state::Empty> {
        VerificationInputBuilder::new()
    }
}

impl<'a> VerificationInputBuilder<'a, verification_input_state::Empty> {
    /// Create a new builder with all fields unset
    pub fn new() -> Self {
        VerificationInputBuilder {
            _state: PhantomData,
            _fields: (None, None, None, None),
            _lifetime: PhantomData,
        }
    }
}

impl<'a, S: verification_input_state::State> VerificationInputBuilder<'a, S> {
    /// Set the `createdAt` field (optional)
    pub fn created_at(mut self, value: impl Into<Option<Datetime>>) -> Self {
        self._fields.0 = value.into();
        self
    }
    /// Set the `createdAt` field to an Option value (optional)
    pub fn maybe_created_at(mut self, value: Option<Datetime>) -> Self {
        self._fields.0 = value;
        self
    }
}

impl<'a, S> VerificationInputBuilder<'a, S>
where
    S: verification_input_state::State,
    S::DisplayName: verification_input_state::IsUnset,
{
    /// Set the `displayName` field (required)
    pub fn display_name(
        mut self,
        value: impl Into<CowStr<'a>>,
    ) -> VerificationInputBuilder<'a, verification_input_state::SetDisplayName<S>> {
        self._fields.1 = Option::Some(value.into());
        VerificationInputBuilder {
            _state: PhantomData,
            _fields: self._fields,
            _lifetime: PhantomData,
        }
    }
}

impl<'a, S> VerificationInputBuilder<'a, S>
where
    S: verification_input_state::State,
    S::Handle: verification_input_state::IsUnset,
{
    /// Set the `handle` field (required)
    pub fn handle(
        mut self,
        value: impl Into<Handle<'a>>,
    ) -> VerificationInputBuilder<'a, verification_input_state::SetHandle<S>> {
        self._fields.2 = Option::Some(value.into());
        VerificationInputBuilder {
            _state: PhantomData,
            _fields: self._fields,
            _lifetime: PhantomData,
        }
    }
}

impl<'a, S> VerificationInputBuilder<'a, S>
where
    S: verification_input_state::State,
    S::Subject: verification_input_state::IsUnset,
{
    /// Set the `subject` field (required)
    pub fn subject(
        mut self,
        value: impl Into<Did<'a>>,
    ) -> VerificationInputBuilder<'a, verification_input_state::SetSubject<S>> {
        self._fields.3 = Option::Some(value.into());
        VerificationInputBuilder {
            _state: PhantomData,
            _fields: self._fields,
            _lifetime: PhantomData,
        }
    }
}

impl<'a, S> VerificationInputBuilder<'a, S>
where
    S: verification_input_state::State,
    S::DisplayName: verification_input_state::IsSet,
    S::Subject: verification_input_state::IsSet,
    S::Handle: verification_input_state::IsSet,
{
    /// Build the final struct
    pub fn build(self) -> VerificationInput<'a> {
        VerificationInput {
            created_at: self._fields.0,
            display_name: self._fields.1.unwrap(),
            handle: self._fields.2.unwrap(),
            subject: self._fields.3.unwrap(),
            extra_data: Default::default(),
        }
    }
    /// Build the final struct with custom extra_data
    pub fn build_with_data(
        self,
        extra_data: BTreeMap<
            jacquard_common::deps::smol_str::SmolStr,
            jacquard_common::types::value::Data<'a>,
        >,
    ) -> VerificationInput<'a> {
        VerificationInput {
            created_at: self._fields.0,
            display_name: self._fields.1.unwrap(),
            handle: self._fields.2.unwrap(),
            subject: self._fields.3.unwrap(),
            extra_data: Some(extra_data),
        }
    }
}