// @generated by jacquard-lexicon. DO NOT EDIT.
//
// Lexicon: app.rocksky.googledrive.getFile
//
// 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};
use crate::app_rocksky::googledrive::FileView;

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


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

/** Response marker for the `app.rocksky.googledrive.getFile` query.

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

impl<S: BosStr> jacquard_common::xrpc::XrpcRequest for GetFile<S> {
    const NSID: &'static str = "app.rocksky.googledrive.getFile";
    const METHOD: jacquard_common::xrpc::XrpcMethod = jacquard_common::xrpc::XrpcMethod::Query;
    type Response = GetFileResponse;
}

/** Endpoint marker for the `app.rocksky.googledrive.getFile` query.

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

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

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

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

impl<S: BosStr> GetFile<S> {
    /// Create a new builder for this type
    pub fn builder() -> GetFileBuilder<get_file_state::Empty, S> {
        GetFileBuilder::builder()
    }
}

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

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

impl<St, S: BosStr> GetFileBuilder<St, S>
where
    St: get_file_state::State,
    St::FileId: get_file_state::IsUnset,
{
    /// Set the `fileId` field (required)
    pub fn file_id(
        mut self,
        value: impl Into<S>,
    ) -> GetFileBuilder<get_file_state::SetFileId<St>, S> {
        self._fields.0 = Option::Some(value.into());
        GetFileBuilder {
            _state: PhantomData,
            _fields: self._fields,
            _type: PhantomData,
        }
    }
}

impl<St, S: BosStr> GetFileBuilder<St, S>
where
    St: get_file_state::State,
    St::FileId: get_file_state::IsSet,
{
    /// Build the final struct.
    pub fn build(self) -> GetFile<S> {
        GetFile {
            file_id: self._fields.0.unwrap(),
        }
    }
}