// @generated by jacquard-lexicon. DO NOT EDIT.
//
// Lexicon: app.ocho.edu.isVerified
//
// 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, BosStr, DefaultStr, FromStaticStr};
use jacquard_common::deps::smol_str::SmolStr;
use jacquard_common::types::value::Data;
use jacquard_derive::IntoStatic;
use serde::{Serialize, Deserialize};

#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq, IntoStatic)]
#[serde(rename_all = "camelCase", bound(deserialize = "S: Deserialize<'de> + BosStr"))]
pub struct IsVerified<S: BosStr = DefaultStr> {
    pub domain: S,
}

/// Whether the user is verified on that domain

#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq, IntoStatic)]
#[serde(rename_all = "camelCase", bound(deserialize = "S: Deserialize<'de> + BosStr"))]
pub struct IsVerifiedOutput<S: BosStr = DefaultStr> {
    pub verified: bool,
    #[serde(flatten, default, skip_serializing_if = "Option::is_none")]
    pub extra_data: Option<BTreeMap<SmolStr, Data<S>>>,
}

/** Response marker for the `app.ocho.edu.isVerified` query.

Implements `jacquard_common::xrpc::XrpcResp`; successful bodies decode as `Self::Output<S>`, which is `IsVerifiedOutput<S>` for this endpoint.*/
pub struct IsVerifiedResponse;
impl jacquard_common::xrpc::XrpcResp for IsVerifiedResponse {
    const NSID: &'static str = "app.ocho.edu.isVerified";
    const ENCODING: &'static str = "application/json";
    type Output<S: BosStr> = IsVerifiedOutput<S>;
    type Err = jacquard_common::xrpc::GenericError;
}

impl<S: BosStr> jacquard_common::xrpc::XrpcRequest for IsVerified<S> {
    const NSID: &'static str = "app.ocho.edu.isVerified";
    const METHOD: jacquard_common::xrpc::XrpcMethod = jacquard_common::xrpc::XrpcMethod::Query;
    type Response = IsVerifiedResponse;
}

/** Endpoint marker for the `app.ocho.edu.isVerified` query.

Path: `/xrpc/app.ocho.edu.isVerified`. The request payload type is `IsVerified<S>`; send that request with `jacquard::Client` or use this marker through lower-level `XrpcEndpoint` APIs.*/
pub struct IsVerifiedRequest;
impl jacquard_common::xrpc::XrpcEndpoint for IsVerifiedRequest {
    const PATH: &'static str = "/xrpc/app.ocho.edu.isVerified";
    const METHOD: jacquard_common::xrpc::XrpcMethod = jacquard_common::xrpc::XrpcMethod::Query;
    type Request<S: BosStr> = IsVerified<S>;
    type Response = IsVerifiedResponse;
}

pub mod is_verified_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 Domain;
    }
    /// Empty state - all required fields are unset
    pub struct Empty(());
    impl sealed::Sealed for Empty {}
    impl State for Empty {
        type Domain = Unset;
    }
    ///State transition - sets the `domain` field to Set
    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 Domain = Set<members::domain>;
    }
    /// Marker types for field names
    #[allow(non_camel_case_types)]
    pub mod members {
        ///Marker type for the `domain` field
        pub struct domain(());
    }
}

/// Builder for constructing an instance of this type.
pub struct IsVerifiedBuilder<St: is_verified_state::State, S: BosStr = DefaultStr> {
    _state: PhantomData<fn() -> St>,
    _fields: (Option<S>,),
    _type: PhantomData<fn() -> S>,
}

impl IsVerified<DefaultStr> {
    /// Create a new builder for this type, using the default string type (DefaultStr = SmolStr) if needed
    pub fn new() -> IsVerifiedBuilder<is_verified_state::Empty, DefaultStr> {
        IsVerifiedBuilder::new()
    }
}

impl<S: BosStr> IsVerified<S> {
    /// Create a new builder for this type
    pub fn builder() -> IsVerifiedBuilder<is_verified_state::Empty, S> {
        IsVerifiedBuilder::builder()
    }
}

impl IsVerifiedBuilder<is_verified_state::Empty, DefaultStr> {
    /// Create a new builder with all fields unset, using the default string type, if needed
    pub fn new() -> Self {
        IsVerifiedBuilder {
            _state: PhantomData,
            _fields: (None,),
            _type: PhantomData,
        }
    }
}

impl<S: BosStr> IsVerifiedBuilder<is_verified_state::Empty, S> {
    /// Create a new builder with all fields unset
    pub fn builder() -> Self {
        IsVerifiedBuilder {
            _state: PhantomData,
            _fields: (None,),
            _type: PhantomData,
        }
    }
}

impl<St, S: BosStr> IsVerifiedBuilder<St, S>
where
    St: is_verified_state::State,
    St::Domain: is_verified_state::IsUnset,
{
    /// Set the `domain` field (required)
    pub fn domain(
        mut self,
        value: impl Into<S>,
    ) -> IsVerifiedBuilder<is_verified_state::SetDomain<St>, S> {
        self._fields.0 = Option::Some(value.into());
        IsVerifiedBuilder {
            _state: PhantomData,
            _fields: self._fields,
            _type: PhantomData,
        }
    }
}

impl<St, S: BosStr> IsVerifiedBuilder<St, S>
where
    St: is_verified_state::State,
    St::Domain: is_verified_state::IsSet,
{
    /// Build the final struct.
    pub fn build(self) -> IsVerified<S> {
        IsVerified {
            domain: self._fields.0.unwrap(),
        }
    }
}