#[allow(unused_imports)]
use alloc::collections::BTreeMap;
#[allow(unused_imports)]
use core::marker::PhantomData;
use jacquard_common::CowStr;
#[allow(unused_imports)]
use jacquard_common::deps::codegen::unicode_segmentation::UnicodeSegmentation;
use jacquard_common::types::string::Datetime;
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};
use crate::com_atproto::repo::strong_ref::StrongRef;
#[lexicon]
#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq, IntoStatic)]
#[serde(rename_all = "camelCase")]
pub struct Cel<'a> {
pub created_at: Datetime,
#[serde(borrow)]
pub expression: CowStr<'a>,
#[serde(borrow)]
pub used_tags: Vec<StrongRef<'a>>,
#[serde(borrow)]
pub version: CelVersion<'a>,
}
#[derive(Debug, Clone, PartialEq, Eq, Hash)]
pub enum CelVersion<'a> {
V1,
Other(CowStr<'a>),
}
impl<'a> CelVersion<'a> {
pub fn as_str(&self) -> &str {
match self {
Self::V1 => "v1",
Self::Other(s) => s.as_ref(),
}
}
}
impl<'a> From<&'a str> for CelVersion<'a> {
fn from(s: &'a str) -> Self {
match s {
"v1" => Self::V1,
_ => Self::Other(CowStr::from(s)),
}
}
}
impl<'a> From<String> for CelVersion<'a> {
fn from(s: String) -> Self {
match s.as_str() {
"v1" => Self::V1,
_ => Self::Other(CowStr::from(s)),
}
}
}
impl<'a> core::fmt::Display for CelVersion<'a> {
fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
write!(f, "{}", self.as_str())
}
}
impl<'a> AsRef<str> for CelVersion<'a> {
fn as_ref(&self) -> &str {
self.as_str()
}
}
impl<'a> serde::Serialize for CelVersion<'a> {
fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where
S: serde::Serializer,
{
serializer.serialize_str(self.as_str())
}
}
impl<'de, 'a> serde::Deserialize<'de> for CelVersion<'a>
where
'de: 'a,
{
fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
where
D: serde::Deserializer<'de>,
{
let s = <&'de str>::deserialize(deserializer)?;
Ok(Self::from(s))
}
}
impl<'a> Default for CelVersion<'a> {
fn default() -> Self {
Self::Other(Default::default())
}
}
impl jacquard_common::IntoStatic for CelVersion<'_> {
type Output = CelVersion<'static>;
fn into_static(self) -> Self::Output {
match self {
CelVersion::V1 => CelVersion::V1,
CelVersion::Other(v) => CelVersion::Other(v.into_static()),
}
}
}
impl<'a> LexiconSchema for Cel<'a> {
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 {}
}
pub trait State: sealed::Sealed {
type Version;
type Expression;
type CreatedAt;
type UsedTags;
}
pub struct Empty(());
impl sealed::Sealed for Empty {}
impl State for Empty {
type Version = Unset;
type Expression = Unset;
type CreatedAt = Unset;
type UsedTags = Unset;
}
pub struct SetVersion<S: State = Empty>(PhantomData<fn() -> S>);
impl<S: State> sealed::Sealed for SetVersion<S> {}
impl<S: State> State for SetVersion<S> {
type Version = Set<members::version>;
type Expression = S::Expression;
type CreatedAt = S::CreatedAt;
type UsedTags = S::UsedTags;
}
pub struct SetExpression<S: State = Empty>(PhantomData<fn() -> S>);
impl<S: State> sealed::Sealed for SetExpression<S> {}
impl<S: State> State for SetExpression<S> {
type Version = S::Version;
type Expression = Set<members::expression>;
type CreatedAt = S::CreatedAt;
type UsedTags = S::UsedTags;
}
pub struct SetCreatedAt<S: State = Empty>(PhantomData<fn() -> S>);
impl<S: State> sealed::Sealed for SetCreatedAt<S> {}
impl<S: State> State for SetCreatedAt<S> {
type Version = S::Version;
type Expression = S::Expression;
type CreatedAt = Set<members::created_at>;
type UsedTags = S::UsedTags;
}
pub struct SetUsedTags<S: State = Empty>(PhantomData<fn() -> S>);
impl<S: State> sealed::Sealed for SetUsedTags<S> {}
impl<S: State> State for SetUsedTags<S> {
type Version = S::Version;
type Expression = S::Expression;
type CreatedAt = S::CreatedAt;
type UsedTags = Set<members::used_tags>;
}
#[allow(non_camel_case_types)]
pub mod members {
pub struct version(());
pub struct expression(());
pub struct created_at(());
pub struct used_tags(());
}
}
pub struct CelBuilder<'a, S: cel_state::State> {
_state: PhantomData<fn() -> S>,
_fields: (
Option<Datetime>,
Option<CowStr<'a>>,
Option<Vec<StrongRef<'a>>>,
Option<CelVersion<'a>>,
),
_lifetime: PhantomData<&'a ()>,
}
impl<'a> Cel<'a> {
pub fn new() -> CelBuilder<'a, cel_state::Empty> {
CelBuilder::new()
}
}
impl<'a> CelBuilder<'a, cel_state::Empty> {
pub fn new() -> Self {
CelBuilder {
_state: PhantomData,
_fields: (None, None, None, None),
_lifetime: PhantomData,
}
}
}
impl<'a, S> CelBuilder<'a, S>
where
S: cel_state::State,
S::CreatedAt: cel_state::IsUnset,
{
pub fn created_at(
mut self,
value: impl Into<Datetime>,
) -> CelBuilder<'a, cel_state::SetCreatedAt<S>> {
self._fields.0 = Option::Some(value.into());
CelBuilder {
_state: PhantomData,
_fields: self._fields,
_lifetime: PhantomData,
}
}
}
impl<'a, S> CelBuilder<'a, S>
where
S: cel_state::State,
S::Expression: cel_state::IsUnset,
{
pub fn expression(
mut self,
value: impl Into<CowStr<'a>>,
) -> CelBuilder<'a, cel_state::SetExpression<S>> {
self._fields.1 = Option::Some(value.into());
CelBuilder {
_state: PhantomData,
_fields: self._fields,
_lifetime: PhantomData,
}
}
}
impl<'a, S> CelBuilder<'a, S>
where
S: cel_state::State,
S::UsedTags: cel_state::IsUnset,
{
pub fn used_tags(
mut self,
value: impl Into<Vec<StrongRef<'a>>>,
) -> CelBuilder<'a, cel_state::SetUsedTags<S>> {
self._fields.2 = Option::Some(value.into());
CelBuilder {
_state: PhantomData,
_fields: self._fields,
_lifetime: PhantomData,
}
}
}
impl<'a, S> CelBuilder<'a, S>
where
S: cel_state::State,
S::Version: cel_state::IsUnset,
{
pub fn version(
mut self,
value: impl Into<CelVersion<'a>>,
) -> CelBuilder<'a, cel_state::SetVersion<S>> {
self._fields.3 = Option::Some(value.into());
CelBuilder {
_state: PhantomData,
_fields: self._fields,
_lifetime: PhantomData,
}
}
}
impl<'a, S> CelBuilder<'a, S>
where
S: cel_state::State,
S::Version: cel_state::IsSet,
S::Expression: cel_state::IsSet,
S::CreatedAt: cel_state::IsSet,
S::UsedTags: cel_state::IsSet,
{
pub fn build(self) -> Cel<'a> {
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(),
}
}
pub fn build_with_data(
self,
extra_data: BTreeMap<
jacquard_common::deps::smol_str::SmolStr,
jacquard_common::types::value::Data<'a>,
>,
) -> Cel<'a> {
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()
}
}