// @generated by jacquard-lexicon. DO NOT EDIT.
//
// Lexicon: app.ocho.server.getLaunchToken
//
// 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;
use jacquard_common::types::string::Did;
use jacquard_derive::{IntoStatic, lexicon};
use serde::{Serialize, Deserialize};

#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq, IntoStatic)]
#[serde(rename_all = "camelCase")]
pub struct GetLaunchToken<'a> {
    #[serde(borrow)]
    pub aud: Did<'a>,
}


#[lexicon]
#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq, IntoStatic, Default)]
#[serde(rename_all = "camelCase")]
pub struct GetLaunchTokenOutput<'a> {
    #[serde(borrow)]
    pub token: CowStr<'a>,
}

/// Response type for app.ocho.server.getLaunchToken
pub struct GetLaunchTokenResponse;
impl jacquard_common::xrpc::XrpcResp for GetLaunchTokenResponse {
    const NSID: &'static str = "app.ocho.server.getLaunchToken";
    const ENCODING: &'static str = "application/json";
    type Output<'de> = GetLaunchTokenOutput<'de>;
    type Err<'de> = jacquard_common::xrpc::GenericError<'de>;
}

impl<'a> jacquard_common::xrpc::XrpcRequest for GetLaunchToken<'a> {
    const NSID: &'static str = "app.ocho.server.getLaunchToken";
    const METHOD: jacquard_common::xrpc::XrpcMethod = jacquard_common::xrpc::XrpcMethod::Query;
    type Response = GetLaunchTokenResponse;
}

/// Endpoint type for app.ocho.server.getLaunchToken
pub struct GetLaunchTokenRequest;
impl jacquard_common::xrpc::XrpcEndpoint for GetLaunchTokenRequest {
    const PATH: &'static str = "/xrpc/app.ocho.server.getLaunchToken";
    const METHOD: jacquard_common::xrpc::XrpcMethod = jacquard_common::xrpc::XrpcMethod::Query;
    type Request<'de> = GetLaunchToken<'de>;
    type Response = GetLaunchTokenResponse;
}

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

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

impl<'a> GetLaunchToken<'a> {
    /// Create a new builder for this type
    pub fn new() -> GetLaunchTokenBuilder<'a, get_launch_token_state::Empty> {
        GetLaunchTokenBuilder::new()
    }
}

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

impl<'a, S> GetLaunchTokenBuilder<'a, S>
where
    S: get_launch_token_state::State,
    S::Aud: get_launch_token_state::IsUnset,
{
    /// Set the `aud` field (required)
    pub fn aud(
        mut self,
        value: impl Into<Did<'a>>,
    ) -> GetLaunchTokenBuilder<'a, get_launch_token_state::SetAud<S>> {
        self._fields.0 = Option::Some(value.into());
        GetLaunchTokenBuilder {
            _state: PhantomData,
            _fields: self._fields,
            _lifetime: PhantomData,
        }
    }
}

impl<'a, S> GetLaunchTokenBuilder<'a, S>
where
    S: get_launch_token_state::State,
    S::Aud: get_launch_token_state::IsSet,
{
    /// Build the final struct
    pub fn build(self) -> GetLaunchToken<'a> {
        GetLaunchToken {
            aud: self._fields.0.unwrap(),
        }
    }
}