// @generated by jacquard-lexicon. DO NOT EDIT.
//
// Lexicon: mov.danabra.AviHandle
//
// 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::types::string::AtUri;
use jacquard_derive::{IntoStatic, lexicon};
use serde::{Serialize, Deserialize};
use crate::at_inlay::Response;

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


#[lexicon]
#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq, IntoStatic)]
#[serde(rename_all = "camelCase")]
pub struct AviHandleOutput<'a> {
    #[serde(flatten)]
    #[serde(borrow)]
    pub value: Response<'a>,
}

/// Response type for mov.danabra.AviHandle
pub struct AviHandleResponse;
impl jacquard_common::xrpc::XrpcResp for AviHandleResponse {
    const NSID: &'static str = "mov.danabra.AviHandle";
    const ENCODING: &'static str = "application/json";
    type Output<'de> = AviHandleOutput<'de>;
    type Err<'de> = jacquard_common::xrpc::GenericError<'de>;
}

impl<'a> jacquard_common::xrpc::XrpcRequest for AviHandle<'a> {
    const NSID: &'static str = "mov.danabra.AviHandle";
    const METHOD: jacquard_common::xrpc::XrpcMethod = jacquard_common::xrpc::XrpcMethod::Procedure(
        "application/json",
    );
    type Response = AviHandleResponse;
}

/// Endpoint type for mov.danabra.AviHandle
pub struct AviHandleRequest;
impl jacquard_common::xrpc::XrpcEndpoint for AviHandleRequest {
    const PATH: &'static str = "/xrpc/mov.danabra.AviHandle";
    const METHOD: jacquard_common::xrpc::XrpcMethod = jacquard_common::xrpc::XrpcMethod::Procedure(
        "application/json",
    );
    type Request<'de> = AviHandle<'de>;
    type Response = AviHandleResponse;
}

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

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

impl<'a> AviHandle<'a> {
    /// Create a new builder for this type
    pub fn new() -> AviHandleBuilder<'a, avi_handle_state::Empty> {
        AviHandleBuilder::new()
    }
}

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

impl<'a, S> AviHandleBuilder<'a, S>
where
    S: avi_handle_state::State,
    S::Uri: avi_handle_state::IsUnset,
{
    /// Set the `uri` field (required)
    pub fn uri(
        mut self,
        value: impl Into<AtUri<'a>>,
    ) -> AviHandleBuilder<'a, avi_handle_state::SetUri<S>> {
        self._fields.0 = Option::Some(value.into());
        AviHandleBuilder {
            _state: PhantomData,
            _fields: self._fields,
            _lifetime: PhantomData,
        }
    }
}

impl<'a, S> AviHandleBuilder<'a, S>
where
    S: avi_handle_state::State,
    S::Uri: avi_handle_state::IsSet,
{
    /// Build the final struct
    pub fn build(self) -> AviHandle<'a> {
        AviHandle {
            uri: 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>,
        >,
    ) -> AviHandle<'a> {
        AviHandle {
            uri: self._fields.0.unwrap(),
            extra_data: Some(extra_data),
        }
    }
}