// @generated by jacquard-lexicon. DO NOT EDIT.
//
// Lexicon: net.mmatt.vitals.car
//
// 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};

#[allow(unused_imports)]
use jacquard_common::deps::codegen::unicode_segmentation::UnicodeSegmentation;
use jacquard_common::deps::smol_str::SmolStr;
use jacquard_common::types::collection::{Collection, RecordError};
use jacquard_common::types::string::{AtUri, Cid, Datetime};
use jacquard_common::types::uri::{RecordUri, UriError};
use jacquard_common::types::value::Data;
use jacquard_common::xrpc::XrpcResp;
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};

#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq, IntoStatic)]
#[serde(
    rename_all = "camelCase",
    rename = "net.mmatt.vitals.car",
    tag = "$type",
    bound(deserialize = "S: Deserialize<'de> + BosStr")
)]
pub struct Car<S: BosStr = DefaultStr> {
    ///The car fuel amount remaining value (floating point string)
    pub amount_remaining: S,
    ///The car fuel range value in miles
    pub car_fuel_range: i64,
    ///The car make value
    #[serde(skip_serializing_if = "Option::is_none")]
    pub car_make: Option<S>,
    ///The car model value
    #[serde(skip_serializing_if = "Option::is_none")]
    pub car_model: Option<S>,
    ///The car fuel level value in percentage (floating point string)
    pub car_percent_fuel_remaining: S,
    ///The car traveled distance value
    pub car_traveled_distance: i64,
    ///The car year value
    #[serde(skip_serializing_if = "Option::is_none")]
    pub car_year: Option<i64>,
    ///The unix timestamp of when the vital was recorded
    pub created_at: Datetime,
    #[serde(flatten, default, skip_serializing_if = "Option::is_none")]
    pub extra_data: Option<BTreeMap<SmolStr, Data<S>>>,
}

/// Typed wrapper for GetRecord response with this collection's record type.

#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq, IntoStatic)]
#[serde(rename_all = "camelCase")]
pub struct CarGetRecordOutput<S: BosStr = DefaultStr> {
    #[serde(skip_serializing_if = "Option::is_none")]
    pub cid: Option<Cid<S>>,
    pub uri: AtUri<S>,
    pub value: Car<S>,
}

impl<S: BosStr> Car<S> {
    pub fn uri(uri: S) -> Result<RecordUri<S, CarRecord>, UriError> {
        RecordUri::try_from_uri(AtUri::new(uri)?)
    }
}

/// Marker type for deserializing records from this collection.

#[derive(Debug, Serialize, Deserialize)]
pub struct CarRecord;
impl XrpcResp for CarRecord {
    const NSID: &'static str = "net.mmatt.vitals.car";
    const ENCODING: &'static str = "application/json";
    type Output<S: BosStr> = CarGetRecordOutput<S>;
    type Err = RecordError;
}

impl<S: BosStr> From<CarGetRecordOutput<S>> for Car<S> {
    fn from(output: CarGetRecordOutput<S>) -> Self {
        output.value
    }
}

impl<S: BosStr> Collection for Car<S> {
    const NSID: &'static str = "net.mmatt.vitals.car";
    type Record = CarRecord;
}

impl Collection for CarRecord {
    const NSID: &'static str = "net.mmatt.vitals.car";
    type Record = CarRecord;
}

impl<S: BosStr> LexiconSchema for Car<S> {
    fn nsid() -> &'static str {
        "net.mmatt.vitals.car"
    }
    fn def_name() -> &'static str {
        "main"
    }
    fn lexicon_doc() -> LexiconDoc<'static> {
        lexicon_doc_net_mmatt_vitals_car()
    }
    fn validate(&self) -> Result<(), ConstraintError> {
        Ok(())
    }
}

pub mod car_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 AmountRemaining;
        type CarFuelRange;
        type CarPercentFuelRemaining;
        type CarTraveledDistance;
        type CreatedAt;
    }
    /// Empty state - all required fields are unset
    pub struct Empty(());
    impl sealed::Sealed for Empty {}
    impl State for Empty {
        type AmountRemaining = Unset;
        type CarFuelRange = Unset;
        type CarPercentFuelRemaining = Unset;
        type CarTraveledDistance = Unset;
        type CreatedAt = Unset;
    }
    ///State transition - sets the `amount_remaining` field to Set
    pub struct SetAmountRemaining<St: State = Empty>(PhantomData<fn() -> St>);
    impl<St: State> sealed::Sealed for SetAmountRemaining<St> {}
    impl<St: State> State for SetAmountRemaining<St> {
        type AmountRemaining = Set<members::amount_remaining>;
        type CarFuelRange = St::CarFuelRange;
        type CarPercentFuelRemaining = St::CarPercentFuelRemaining;
        type CarTraveledDistance = St::CarTraveledDistance;
        type CreatedAt = St::CreatedAt;
    }
    ///State transition - sets the `car_fuel_range` field to Set
    pub struct SetCarFuelRange<St: State = Empty>(PhantomData<fn() -> St>);
    impl<St: State> sealed::Sealed for SetCarFuelRange<St> {}
    impl<St: State> State for SetCarFuelRange<St> {
        type AmountRemaining = St::AmountRemaining;
        type CarFuelRange = Set<members::car_fuel_range>;
        type CarPercentFuelRemaining = St::CarPercentFuelRemaining;
        type CarTraveledDistance = St::CarTraveledDistance;
        type CreatedAt = St::CreatedAt;
    }
    ///State transition - sets the `car_percent_fuel_remaining` field to Set
    pub struct SetCarPercentFuelRemaining<St: State = Empty>(PhantomData<fn() -> St>);
    impl<St: State> sealed::Sealed for SetCarPercentFuelRemaining<St> {}
    impl<St: State> State for SetCarPercentFuelRemaining<St> {
        type AmountRemaining = St::AmountRemaining;
        type CarFuelRange = St::CarFuelRange;
        type CarPercentFuelRemaining = Set<members::car_percent_fuel_remaining>;
        type CarTraveledDistance = St::CarTraveledDistance;
        type CreatedAt = St::CreatedAt;
    }
    ///State transition - sets the `car_traveled_distance` field to Set
    pub struct SetCarTraveledDistance<St: State = Empty>(PhantomData<fn() -> St>);
    impl<St: State> sealed::Sealed for SetCarTraveledDistance<St> {}
    impl<St: State> State for SetCarTraveledDistance<St> {
        type AmountRemaining = St::AmountRemaining;
        type CarFuelRange = St::CarFuelRange;
        type CarPercentFuelRemaining = St::CarPercentFuelRemaining;
        type CarTraveledDistance = Set<members::car_traveled_distance>;
        type CreatedAt = St::CreatedAt;
    }
    ///State transition - sets the `created_at` field to Set
    pub struct SetCreatedAt<St: State = Empty>(PhantomData<fn() -> St>);
    impl<St: State> sealed::Sealed for SetCreatedAt<St> {}
    impl<St: State> State for SetCreatedAt<St> {
        type AmountRemaining = St::AmountRemaining;
        type CarFuelRange = St::CarFuelRange;
        type CarPercentFuelRemaining = St::CarPercentFuelRemaining;
        type CarTraveledDistance = St::CarTraveledDistance;
        type CreatedAt = Set<members::created_at>;
    }
    /// Marker types for field names
    #[allow(non_camel_case_types)]
    pub mod members {
        ///Marker type for the `amount_remaining` field
        pub struct amount_remaining(());
        ///Marker type for the `car_fuel_range` field
        pub struct car_fuel_range(());
        ///Marker type for the `car_percent_fuel_remaining` field
        pub struct car_percent_fuel_remaining(());
        ///Marker type for the `car_traveled_distance` field
        pub struct car_traveled_distance(());
        ///Marker type for the `created_at` field
        pub struct created_at(());
    }
}

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

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

impl<S: BosStr> Car<S> {
    /// Create a new builder for this type
    pub fn builder() -> CarBuilder<car_state::Empty, S> {
        CarBuilder::builder()
    }
}

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

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

impl<St, S: BosStr> CarBuilder<St, S>
where
    St: car_state::State,
    St::AmountRemaining: car_state::IsUnset,
{
    /// Set the `amountRemaining` field (required)
    pub fn amount_remaining(
        mut self,
        value: impl Into<S>,
    ) -> CarBuilder<car_state::SetAmountRemaining<St>, S> {
        self._fields.0 = Option::Some(value.into());
        CarBuilder {
            _state: PhantomData,
            _fields: self._fields,
            _type: PhantomData,
        }
    }
}

impl<St, S: BosStr> CarBuilder<St, S>
where
    St: car_state::State,
    St::CarFuelRange: car_state::IsUnset,
{
    /// Set the `carFuelRange` field (required)
    pub fn car_fuel_range(
        mut self,
        value: impl Into<i64>,
    ) -> CarBuilder<car_state::SetCarFuelRange<St>, S> {
        self._fields.1 = Option::Some(value.into());
        CarBuilder {
            _state: PhantomData,
            _fields: self._fields,
            _type: PhantomData,
        }
    }
}

impl<St: car_state::State, S: BosStr> CarBuilder<St, S> {
    /// Set the `carMake` field (optional)
    pub fn car_make(mut self, value: impl Into<Option<S>>) -> Self {
        self._fields.2 = value.into();
        self
    }
    /// Set the `carMake` field to an Option value (optional)
    pub fn maybe_car_make(mut self, value: Option<S>) -> Self {
        self._fields.2 = value;
        self
    }
}

impl<St: car_state::State, S: BosStr> CarBuilder<St, S> {
    /// Set the `carModel` field (optional)
    pub fn car_model(mut self, value: impl Into<Option<S>>) -> Self {
        self._fields.3 = value.into();
        self
    }
    /// Set the `carModel` field to an Option value (optional)
    pub fn maybe_car_model(mut self, value: Option<S>) -> Self {
        self._fields.3 = value;
        self
    }
}

impl<St, S: BosStr> CarBuilder<St, S>
where
    St: car_state::State,
    St::CarPercentFuelRemaining: car_state::IsUnset,
{
    /// Set the `carPercentFuelRemaining` field (required)
    pub fn car_percent_fuel_remaining(
        mut self,
        value: impl Into<S>,
    ) -> CarBuilder<car_state::SetCarPercentFuelRemaining<St>, S> {
        self._fields.4 = Option::Some(value.into());
        CarBuilder {
            _state: PhantomData,
            _fields: self._fields,
            _type: PhantomData,
        }
    }
}

impl<St, S: BosStr> CarBuilder<St, S>
where
    St: car_state::State,
    St::CarTraveledDistance: car_state::IsUnset,
{
    /// Set the `carTraveledDistance` field (required)
    pub fn car_traveled_distance(
        mut self,
        value: impl Into<i64>,
    ) -> CarBuilder<car_state::SetCarTraveledDistance<St>, S> {
        self._fields.5 = Option::Some(value.into());
        CarBuilder {
            _state: PhantomData,
            _fields: self._fields,
            _type: PhantomData,
        }
    }
}

impl<St: car_state::State, S: BosStr> CarBuilder<St, S> {
    /// Set the `carYear` field (optional)
    pub fn car_year(mut self, value: impl Into<Option<i64>>) -> Self {
        self._fields.6 = value.into();
        self
    }
    /// Set the `carYear` field to an Option value (optional)
    pub fn maybe_car_year(mut self, value: Option<i64>) -> Self {
        self._fields.6 = value;
        self
    }
}

impl<St, S: BosStr> CarBuilder<St, S>
where
    St: car_state::State,
    St::CreatedAt: car_state::IsUnset,
{
    /// Set the `createdAt` field (required)
    pub fn created_at(
        mut self,
        value: impl Into<Datetime>,
    ) -> CarBuilder<car_state::SetCreatedAt<St>, S> {
        self._fields.7 = Option::Some(value.into());
        CarBuilder {
            _state: PhantomData,
            _fields: self._fields,
            _type: PhantomData,
        }
    }
}

impl<St, S: BosStr> CarBuilder<St, S>
where
    St: car_state::State,
    St::AmountRemaining: car_state::IsSet,
    St::CarFuelRange: car_state::IsSet,
    St::CarPercentFuelRemaining: car_state::IsSet,
    St::CarTraveledDistance: car_state::IsSet,
    St::CreatedAt: car_state::IsSet,
{
    /// Build the final struct.
    pub fn build(self) -> Car<S> {
        Car {
            amount_remaining: self._fields.0.unwrap(),
            car_fuel_range: self._fields.1.unwrap(),
            car_make: self._fields.2,
            car_model: self._fields.3,
            car_percent_fuel_remaining: self._fields.4.unwrap(),
            car_traveled_distance: self._fields.5.unwrap(),
            car_year: self._fields.6,
            created_at: self._fields.7.unwrap(),
            extra_data: Default::default(),
        }
    }
    /// Build the final struct with custom extra_data.
    pub fn build_with_data(self, extra_data: BTreeMap<SmolStr, Data<S>>) -> Car<S> {
        Car {
            amount_remaining: self._fields.0.unwrap(),
            car_fuel_range: self._fields.1.unwrap(),
            car_make: self._fields.2,
            car_model: self._fields.3,
            car_percent_fuel_remaining: self._fields.4.unwrap(),
            car_traveled_distance: self._fields.5.unwrap(),
            car_year: self._fields.6,
            created_at: self._fields.7.unwrap(),
            extra_data: Some(extra_data),
        }
    }
}

fn lexicon_doc_net_mmatt_vitals_car() -> 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("net.mmatt.vitals.car"),
        defs: {
            let mut map = BTreeMap::new();
            map.insert(
                SmolStr::new_static("main"),
                LexUserType::Record(LexRecord {
                    key: Some(CowStr::new_static("tid")),
                    record: LexRecordRecord::Object(LexObject {
                        required: Some(
                            vec![
                                SmolStr::new_static("createdAt"),
                                SmolStr::new_static("carFuelRange"),
                                SmolStr::new_static("carPercentFuelRemaining"),
                                SmolStr::new_static("amountRemaining"),
                                SmolStr::new_static("carTraveledDistance")
                            ],
                        ),
                        properties: {
                            #[allow(unused_mut)]
                            let mut map = BTreeMap::new();
                            map.insert(
                                SmolStr::new_static("amountRemaining"),
                                LexObjectProperty::String(LexString {
                                    description: Some(
                                        CowStr::new_static(
                                            "The car fuel amount remaining value (floating point string)",
                                        ),
                                    ),
                                    ..Default::default()
                                }),
                            );
                            map.insert(
                                SmolStr::new_static("carFuelRange"),
                                LexObjectProperty::Integer(LexInteger {
                                    ..Default::default()
                                }),
                            );
                            map.insert(
                                SmolStr::new_static("carMake"),
                                LexObjectProperty::String(LexString {
                                    description: Some(CowStr::new_static("The car make value")),
                                    ..Default::default()
                                }),
                            );
                            map.insert(
                                SmolStr::new_static("carModel"),
                                LexObjectProperty::String(LexString {
                                    description: Some(
                                        CowStr::new_static("The car model value"),
                                    ),
                                    ..Default::default()
                                }),
                            );
                            map.insert(
                                SmolStr::new_static("carPercentFuelRemaining"),
                                LexObjectProperty::String(LexString {
                                    description: Some(
                                        CowStr::new_static(
                                            "The car fuel level value in percentage (floating point string)",
                                        ),
                                    ),
                                    ..Default::default()
                                }),
                            );
                            map.insert(
                                SmolStr::new_static("carTraveledDistance"),
                                LexObjectProperty::Integer(LexInteger {
                                    ..Default::default()
                                }),
                            );
                            map.insert(
                                SmolStr::new_static("carYear"),
                                LexObjectProperty::Integer(LexInteger {
                                    ..Default::default()
                                }),
                            );
                            map.insert(
                                SmolStr::new_static("createdAt"),
                                LexObjectProperty::String(LexString {
                                    description: Some(
                                        CowStr::new_static(
                                            "The unix timestamp of when the vital was recorded",
                                        ),
                                    ),
                                    format: Some(LexStringFormat::Datetime),
                                    ..Default::default()
                                }),
                            );
                            map
                        },
                        ..Default::default()
                    }),
                    ..Default::default()
                }),
            );
            map
        },
        ..Default::default()
    }
}