// @generated by jacquard-lexicon. DO NOT EDIT.
//
// Lexicon: blue.2048.verification.defs
//
// This file was automatically generated from Lexicon schemas.
// Any manual changes will be overwritten on the next regeneration.

//! Generated bindings for the `blue..2048.verification` Lexicon namespace/module.
pub mod game;
pub mod stats;


#[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::string::{Did, AtUri, Datetime};
use jacquard_common::types::value::Data;
use jacquard_derive::IntoStatic;
use jacquard_lexicon::lexicon::LexiconDoc;
use jacquard_lexicon::schema::LexiconSchema;

#[allow(unused_imports)]
use jacquard_lexicon::validation::{ConstraintError, ValidationPath};
use serde::{Serialize, Deserialize};
/// Holds the signature for another record showing it has verified it to the best of it's ability and it should be trusted if the signatures match.

#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq, IntoStatic)]
#[serde(rename_all = "camelCase", bound(deserialize = "S: Deserialize<'de> + BosStr"))]
pub struct VerificationRef<S: BosStr = DefaultStr> {
    pub created_at: Datetime,
    ///The at://uri for the public did:key to verify the remote record. This also counts as the authority of the verification (example @2048.blue). As well as the type of verification by the collection name (blue.2048.key.game).
    pub key_ref: AtUri<S>,
    ///The at://uri for the record that is being verified.
    pub record_ref: AtUri<S>,
    ///The public verifiable signature of the record. Serialization of the records valued
    pub signature: S,
    ///DID of the subject the verification applies to.
    pub subject: Did<S>,
    #[serde(flatten, default, skip_serializing_if = "Option::is_none")]
    pub extra_data: Option<BTreeMap<SmolStr, Data<S>>>,
}

impl<S: BosStr> LexiconSchema for VerificationRef<S> {
    fn nsid() -> &'static str {
        "blue.2048.verification.defs"
    }
    fn def_name() -> &'static str {
        "verificationRef"
    }
    fn lexicon_doc() -> LexiconDoc<'static> {
        lexicon_doc_blue_2048_verification_defs()
    }
    fn validate(&self) -> Result<(), ConstraintError> {
        Ok(())
    }
}

pub mod verification_ref_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 CreatedAt;
        type KeyRef;
        type RecordRef;
        type Signature;
        type Subject;
    }
    /// Empty state - all required fields are unset
    pub struct Empty(());
    impl sealed::Sealed for Empty {}
    impl State for Empty {
        type CreatedAt = Unset;
        type KeyRef = Unset;
        type RecordRef = Unset;
        type Signature = Unset;
        type Subject = Unset;
    }
    ///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 CreatedAt = Set<members::created_at>;
        type KeyRef = St::KeyRef;
        type RecordRef = St::RecordRef;
        type Signature = St::Signature;
        type Subject = St::Subject;
    }
    ///State transition - sets the `key_ref` field to Set
    pub struct SetKeyRef<St: State = Empty>(PhantomData<fn() -> St>);
    impl<St: State> sealed::Sealed for SetKeyRef<St> {}
    impl<St: State> State for SetKeyRef<St> {
        type CreatedAt = St::CreatedAt;
        type KeyRef = Set<members::key_ref>;
        type RecordRef = St::RecordRef;
        type Signature = St::Signature;
        type Subject = St::Subject;
    }
    ///State transition - sets the `record_ref` field to Set
    pub struct SetRecordRef<St: State = Empty>(PhantomData<fn() -> St>);
    impl<St: State> sealed::Sealed for SetRecordRef<St> {}
    impl<St: State> State for SetRecordRef<St> {
        type CreatedAt = St::CreatedAt;
        type KeyRef = St::KeyRef;
        type RecordRef = Set<members::record_ref>;
        type Signature = St::Signature;
        type Subject = St::Subject;
    }
    ///State transition - sets the `signature` field to Set
    pub struct SetSignature<St: State = Empty>(PhantomData<fn() -> St>);
    impl<St: State> sealed::Sealed for SetSignature<St> {}
    impl<St: State> State for SetSignature<St> {
        type CreatedAt = St::CreatedAt;
        type KeyRef = St::KeyRef;
        type RecordRef = St::RecordRef;
        type Signature = Set<members::signature>;
        type Subject = St::Subject;
    }
    ///State transition - sets the `subject` field to Set
    pub struct SetSubject<St: State = Empty>(PhantomData<fn() -> St>);
    impl<St: State> sealed::Sealed for SetSubject<St> {}
    impl<St: State> State for SetSubject<St> {
        type CreatedAt = St::CreatedAt;
        type KeyRef = St::KeyRef;
        type RecordRef = St::RecordRef;
        type Signature = St::Signature;
        type Subject = Set<members::subject>;
    }
    /// Marker types for field names
    #[allow(non_camel_case_types)]
    pub mod members {
        ///Marker type for the `created_at` field
        pub struct created_at(());
        ///Marker type for the `key_ref` field
        pub struct key_ref(());
        ///Marker type for the `record_ref` field
        pub struct record_ref(());
        ///Marker type for the `signature` field
        pub struct signature(());
        ///Marker type for the `subject` field
        pub struct subject(());
    }
}

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

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

impl<S: BosStr> VerificationRef<S> {
    /// Create a new builder for this type
    pub fn builder() -> VerificationRefBuilder<verification_ref_state::Empty, S> {
        VerificationRefBuilder::builder()
    }
}

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

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

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

impl<St, S: BosStr> VerificationRefBuilder<St, S>
where
    St: verification_ref_state::State,
    St::KeyRef: verification_ref_state::IsUnset,
{
    /// Set the `keyRef` field (required)
    pub fn key_ref(
        mut self,
        value: impl Into<AtUri<S>>,
    ) -> VerificationRefBuilder<verification_ref_state::SetKeyRef<St>, S> {
        self._fields.1 = Option::Some(value.into());
        VerificationRefBuilder {
            _state: PhantomData,
            _fields: self._fields,
            _type: PhantomData,
        }
    }
}

impl<St, S: BosStr> VerificationRefBuilder<St, S>
where
    St: verification_ref_state::State,
    St::RecordRef: verification_ref_state::IsUnset,
{
    /// Set the `recordRef` field (required)
    pub fn record_ref(
        mut self,
        value: impl Into<AtUri<S>>,
    ) -> VerificationRefBuilder<verification_ref_state::SetRecordRef<St>, S> {
        self._fields.2 = Option::Some(value.into());
        VerificationRefBuilder {
            _state: PhantomData,
            _fields: self._fields,
            _type: PhantomData,
        }
    }
}

impl<St, S: BosStr> VerificationRefBuilder<St, S>
where
    St: verification_ref_state::State,
    St::Signature: verification_ref_state::IsUnset,
{
    /// Set the `signature` field (required)
    pub fn signature(
        mut self,
        value: impl Into<S>,
    ) -> VerificationRefBuilder<verification_ref_state::SetSignature<St>, S> {
        self._fields.3 = Option::Some(value.into());
        VerificationRefBuilder {
            _state: PhantomData,
            _fields: self._fields,
            _type: PhantomData,
        }
    }
}

impl<St, S: BosStr> VerificationRefBuilder<St, S>
where
    St: verification_ref_state::State,
    St::Subject: verification_ref_state::IsUnset,
{
    /// Set the `subject` field (required)
    pub fn subject(
        mut self,
        value: impl Into<Did<S>>,
    ) -> VerificationRefBuilder<verification_ref_state::SetSubject<St>, S> {
        self._fields.4 = Option::Some(value.into());
        VerificationRefBuilder {
            _state: PhantomData,
            _fields: self._fields,
            _type: PhantomData,
        }
    }
}

impl<St, S: BosStr> VerificationRefBuilder<St, S>
where
    St: verification_ref_state::State,
    St::CreatedAt: verification_ref_state::IsSet,
    St::KeyRef: verification_ref_state::IsSet,
    St::RecordRef: verification_ref_state::IsSet,
    St::Signature: verification_ref_state::IsSet,
    St::Subject: verification_ref_state::IsSet,
{
    /// Build the final struct.
    pub fn build(self) -> VerificationRef<S> {
        VerificationRef {
            created_at: self._fields.0.unwrap(),
            key_ref: self._fields.1.unwrap(),
            record_ref: self._fields.2.unwrap(),
            signature: self._fields.3.unwrap(),
            subject: self._fields.4.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>>,
    ) -> VerificationRef<S> {
        VerificationRef {
            created_at: self._fields.0.unwrap(),
            key_ref: self._fields.1.unwrap(),
            record_ref: self._fields.2.unwrap(),
            signature: self._fields.3.unwrap(),
            subject: self._fields.4.unwrap(),
            extra_data: Some(extra_data),
        }
    }
}

fn lexicon_doc_blue_2048_verification_defs() -> 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("blue.2048.verification.defs"),
        defs: {
            let mut map = BTreeMap::new();
            map.insert(
                SmolStr::new_static("verificationRef"),
                LexUserType::Object(LexObject {
                    description: Some(
                        CowStr::new_static(
                            "Holds the signature for another record showing it has verified it to the best of it's ability and it should be trusted if the signatures match.",
                        ),
                    ),
                    required: Some(
                        vec![
                            SmolStr::new_static("keyRef"),
                            SmolStr::new_static("recordRef"),
                            SmolStr::new_static("subject"),
                            SmolStr::new_static("signature"),
                            SmolStr::new_static("createdAt")
                        ],
                    ),
                    properties: {
                        #[allow(unused_mut)]
                        let mut map = BTreeMap::new();
                        map.insert(
                            SmolStr::new_static("createdAt"),
                            LexObjectProperty::String(LexString {
                                format: Some(LexStringFormat::Datetime),
                                ..Default::default()
                            }),
                        );
                        map.insert(
                            SmolStr::new_static("keyRef"),
                            LexObjectProperty::String(LexString {
                                description: Some(
                                    CowStr::new_static(
                                        "The at://uri for the public did:key to verify the remote record. This also counts as the authority of the verification (example @2048.blue). As well as the type of verification by the collection name (blue.2048.key.game).",
                                    ),
                                ),
                                format: Some(LexStringFormat::AtUri),
                                ..Default::default()
                            }),
                        );
                        map.insert(
                            SmolStr::new_static("recordRef"),
                            LexObjectProperty::String(LexString {
                                description: Some(
                                    CowStr::new_static(
                                        "The at://uri for the record that is being verified.",
                                    ),
                                ),
                                format: Some(LexStringFormat::AtUri),
                                ..Default::default()
                            }),
                        );
                        map.insert(
                            SmolStr::new_static("signature"),
                            LexObjectProperty::String(LexString {
                                description: Some(
                                    CowStr::new_static(
                                        "The public verifiable signature of the record. Serialization of the records valued",
                                    ),
                                ),
                                ..Default::default()
                            }),
                        );
                        map.insert(
                            SmolStr::new_static("subject"),
                            LexObjectProperty::String(LexString {
                                description: Some(
                                    CowStr::new_static(
                                        "DID of the subject the verification applies to.",
                                    ),
                                ),
                                format: Some(LexStringFormat::Did),
                                ..Default::default()
                            }),
                        );
                        map
                    },
                    ..Default::default()
                }),
            );
            map
        },
        ..Default::default()
    }
}