// @generated by jacquard-lexicon. DO NOT EDIT.
//
// Lexicon: org.hypercerts.workscope.cel
//
// 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::string::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};
use crate::com_atproto::repo::strong_ref::StrongRef;
/// A structured, machine-evaluable work scope definition using CEL (Common Expression Language). Tags referenced in the expression correspond to org.hypercerts.workscope.tag keys. See https://github.com/google/cel-spec. Note: this is intentionally type 'object' (not 'record') so it can be directly embedded inline in union types (e.g., activity.workScope) without requiring a separate collection or strongRef indirection.

#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq, IntoStatic)]
#[serde(rename_all = "camelCase", bound(deserialize = "S: Deserialize<'de> + BosStr"))]
pub struct Cel<S: BosStr = DefaultStr> {
    ///Client-declared timestamp when this expression was originally created.
    pub created_at: Datetime,
    ///A CEL expression encoding the work scope conditions. Example: scope.hasAll(['mangrove_restoration', 'environmental_education']) && location.country == 'KE'
    pub expression: S,
    ///Strong references to org.hypercerts.workscope.tag records used in the expression. Enables fast indexing by AT-URI and provides referential integrity to the underlying tag records.
    pub used_tags: Vec<StrongRef<S>>,
    ///CEL context schema version.
    pub version: CelVersion<S>,
    #[serde(flatten, default, skip_serializing_if = "Option::is_none")]
    pub extra_data: Option<BTreeMap<SmolStr, Data<S>>>,
}

/// CEL context schema version.

#[derive(Debug, Clone, PartialEq, Eq, Hash)]
pub enum CelVersion<S: BosStr = DefaultStr> {
    V1,
    Other(S),
}

impl<S: BosStr> CelVersion<S> {
    pub fn as_str(&self) -> &str {
        match self {
            Self::V1 => "v1",
            Self::Other(s) => s.as_ref(),
        }
    }
    /// Construct from a string-like value, matching known values.
    pub fn from_value(s: S) -> Self {
        match s.as_ref() {
            "v1" => Self::V1,
            _ => Self::Other(s),
        }
    }
}

impl<S: BosStr> core::fmt::Display for CelVersion<S> {
    fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
        write!(f, "{}", self.as_str())
    }
}

impl<S: BosStr> AsRef<str> for CelVersion<S> {
    fn as_ref(&self) -> &str {
        self.as_str()
    }
}

impl<S: BosStr> Serialize for CelVersion<S> {
    fn serialize<Ser>(&self, serializer: Ser) -> Result<Ser::Ok, Ser::Error>
    where
        Ser: serde::Serializer,
    {
        serializer.serialize_str(self.as_str())
    }
}

impl<'de, S: Deserialize<'de> + BosStr> Deserialize<'de> for CelVersion<S> {
    fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
    where
        D: serde::Deserializer<'de>,
    {
        let s = S::deserialize(deserializer)?;
        Ok(Self::from_value(s))
    }
}

impl<S: BosStr + Default> Default for CelVersion<S> {
    fn default() -> Self {
        Self::Other(Default::default())
    }
}

impl<S: BosStr> jacquard_common::IntoStatic for CelVersion<S>
where
    S: BosStr + jacquard_common::IntoStatic,
    S::Output: BosStr,
{
    type Output = CelVersion<S::Output>;
    fn into_static(self) -> Self::Output {
        match self {
            CelVersion::V1 => CelVersion::V1,
            CelVersion::Other(v) => CelVersion::Other(v.into_static()),
        }
    }
}

impl<S: BosStr> LexiconSchema for Cel<S> {
    fn nsid() -> &'static str {
        "org.hypercerts.workscope.cel"
    }
    fn def_name() -> &'static str {
        "main"
    }
    fn lexicon_doc() -> LexiconDoc<'static> {
        lexicon_doc_org_hypercerts_workscope_cel()
    }
    fn validate(&self) -> Result<(), ConstraintError> {
        {
            let value = &self.expression;
            #[allow(unused_comparisons)]
            if <str>::len(value.as_ref()) > 10000usize {
                return Err(ConstraintError::MaxLength {
                    path: ValidationPath::from_field("expression"),
                    max: 10000usize,
                    actual: <str>::len(value.as_ref()),
                });
            }
        }
        {
            let value = &self.expression;
            {
                let count = UnicodeSegmentation::graphemes(value.as_ref(), true).count();
                if count > 5000usize {
                    return Err(ConstraintError::MaxGraphemes {
                        path: ValidationPath::from_field("expression"),
                        max: 5000usize,
                        actual: count,
                    });
                }
            }
        }
        {
            let value = &self.used_tags;
            #[allow(unused_comparisons)]
            if value.len() > 100usize {
                return Err(ConstraintError::MaxLength {
                    path: ValidationPath::from_field("used_tags"),
                    max: 100usize,
                    actual: value.len(),
                });
            }
        }
        {
            let value = &self.version;
            #[allow(unused_comparisons)]
            if <str>::len(value.as_ref()) > 16usize {
                return Err(ConstraintError::MaxLength {
                    path: ValidationPath::from_field("version"),
                    max: 16usize,
                    actual: <str>::len(value.as_ref()),
                });
            }
        }
        Ok(())
    }
}

pub mod cel_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 Expression;
        type UsedTags;
        type Version;
    }
    /// Empty state - all required fields are unset
    pub struct Empty(());
    impl sealed::Sealed for Empty {}
    impl State for Empty {
        type CreatedAt = Unset;
        type Expression = Unset;
        type UsedTags = Unset;
        type Version = 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 Expression = St::Expression;
        type UsedTags = St::UsedTags;
        type Version = St::Version;
    }
    ///State transition - sets the `expression` field to Set
    pub struct SetExpression<St: State = Empty>(PhantomData<fn() -> St>);
    impl<St: State> sealed::Sealed for SetExpression<St> {}
    impl<St: State> State for SetExpression<St> {
        type CreatedAt = St::CreatedAt;
        type Expression = Set<members::expression>;
        type UsedTags = St::UsedTags;
        type Version = St::Version;
    }
    ///State transition - sets the `used_tags` field to Set
    pub struct SetUsedTags<St: State = Empty>(PhantomData<fn() -> St>);
    impl<St: State> sealed::Sealed for SetUsedTags<St> {}
    impl<St: State> State for SetUsedTags<St> {
        type CreatedAt = St::CreatedAt;
        type Expression = St::Expression;
        type UsedTags = Set<members::used_tags>;
        type Version = St::Version;
    }
    ///State transition - sets the `version` field to Set
    pub struct SetVersion<St: State = Empty>(PhantomData<fn() -> St>);
    impl<St: State> sealed::Sealed for SetVersion<St> {}
    impl<St: State> State for SetVersion<St> {
        type CreatedAt = St::CreatedAt;
        type Expression = St::Expression;
        type UsedTags = St::UsedTags;
        type Version = Set<members::version>;
    }
    /// 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 `expression` field
        pub struct expression(());
        ///Marker type for the `used_tags` field
        pub struct used_tags(());
        ///Marker type for the `version` field
        pub struct version(());
    }
}

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

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

impl<S: BosStr> Cel<S> {
    /// Create a new builder for this type
    pub fn builder() -> CelBuilder<cel_state::Empty, S> {
        CelBuilder::builder()
    }
}

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

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

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

impl<St, S: BosStr> CelBuilder<St, S>
where
    St: cel_state::State,
    St::Expression: cel_state::IsUnset,
{
    /// Set the `expression` field (required)
    pub fn expression(
        mut self,
        value: impl Into<S>,
    ) -> CelBuilder<cel_state::SetExpression<St>, S> {
        self._fields.1 = Option::Some(value.into());
        CelBuilder {
            _state: PhantomData,
            _fields: self._fields,
            _type: PhantomData,
        }
    }
}

impl<St, S: BosStr> CelBuilder<St, S>
where
    St: cel_state::State,
    St::UsedTags: cel_state::IsUnset,
{
    /// Set the `usedTags` field (required)
    pub fn used_tags(
        mut self,
        value: impl Into<Vec<StrongRef<S>>>,
    ) -> CelBuilder<cel_state::SetUsedTags<St>, S> {
        self._fields.2 = Option::Some(value.into());
        CelBuilder {
            _state: PhantomData,
            _fields: self._fields,
            _type: PhantomData,
        }
    }
}

impl<St, S: BosStr> CelBuilder<St, S>
where
    St: cel_state::State,
    St::Version: cel_state::IsUnset,
{
    /// Set the `version` field (required)
    pub fn version(
        mut self,
        value: impl Into<CelVersion<S>>,
    ) -> CelBuilder<cel_state::SetVersion<St>, S> {
        self._fields.3 = Option::Some(value.into());
        CelBuilder {
            _state: PhantomData,
            _fields: self._fields,
            _type: PhantomData,
        }
    }
}

impl<St, S: BosStr> CelBuilder<St, S>
where
    St: cel_state::State,
    St::CreatedAt: cel_state::IsSet,
    St::Expression: cel_state::IsSet,
    St::UsedTags: cel_state::IsSet,
    St::Version: cel_state::IsSet,
{
    /// Build the final struct.
    pub fn build(self) -> Cel<S> {
        Cel {
            created_at: self._fields.0.unwrap(),
            expression: self._fields.1.unwrap(),
            used_tags: self._fields.2.unwrap(),
            version: self._fields.3.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>>) -> Cel<S> {
        Cel {
            created_at: self._fields.0.unwrap(),
            expression: self._fields.1.unwrap(),
            used_tags: self._fields.2.unwrap(),
            version: self._fields.3.unwrap(),
            extra_data: Some(extra_data),
        }
    }
}

fn lexicon_doc_org_hypercerts_workscope_cel() -> 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("org.hypercerts.workscope.cel"),
        defs: {
            let mut map = BTreeMap::new();
            map.insert(
                SmolStr::new_static("main"),
                LexUserType::Object(LexObject {
                    description: Some(
                        CowStr::new_static(
                            "A structured, machine-evaluable work scope definition using CEL (Common Expression Language). Tags referenced in the expression correspond to org.hypercerts.workscope.tag keys. See https://github.com/google/cel-spec. Note: this is intentionally type 'object' (not 'record') so it can be directly embedded inline in union types (e.g., activity.workScope) without requiring a separate collection or strongRef indirection.",
                        ),
                    ),
                    required: Some(
                        vec![
                            SmolStr::new_static("expression"),
                            SmolStr::new_static("usedTags"),
                            SmolStr::new_static("version"),
                            SmolStr::new_static("createdAt")
                        ],
                    ),
                    properties: {
                        #[allow(unused_mut)]
                        let mut map = BTreeMap::new();
                        map.insert(
                            SmolStr::new_static("createdAt"),
                            LexObjectProperty::String(LexString {
                                description: Some(
                                    CowStr::new_static(
                                        "Client-declared timestamp when this expression was originally created.",
                                    ),
                                ),
                                format: Some(LexStringFormat::Datetime),
                                ..Default::default()
                            }),
                        );
                        map.insert(
                            SmolStr::new_static("expression"),
                            LexObjectProperty::String(LexString {
                                description: Some(
                                    CowStr::new_static(
                                        "A CEL expression encoding the work scope conditions. Example: scope.hasAll(['mangrove_restoration', 'environmental_education']) && location.country == 'KE'",
                                    ),
                                ),
                                max_length: Some(10000usize),
                                max_graphemes: Some(5000usize),
                                ..Default::default()
                            }),
                        );
                        map.insert(
                            SmolStr::new_static("usedTags"),
                            LexObjectProperty::Array(LexArray {
                                description: Some(
                                    CowStr::new_static(
                                        "Strong references to org.hypercerts.workscope.tag records used in the expression. Enables fast indexing by AT-URI and provides referential integrity to the underlying tag records.",
                                    ),
                                ),
                                items: LexArrayItem::Ref(LexRef {
                                    r#ref: CowStr::new_static("com.atproto.repo.strongRef"),
                                    ..Default::default()
                                }),
                                max_length: Some(100usize),
                                ..Default::default()
                            }),
                        );
                        map.insert(
                            SmolStr::new_static("version"),
                            LexObjectProperty::String(LexString {
                                description: Some(
                                    CowStr::new_static("CEL context schema version."),
                                ),
                                max_length: Some(16usize),
                                ..Default::default()
                            }),
                        );
                        map
                    },
                    ..Default::default()
                }),
            );
            map
        },
        ..Default::default()
    }
}