#[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::collection::{Collection, RecordError};
use jacquard_common::types::string::{AtUri, Cid, Datetime};
use jacquard_common::types::uri::{RecordUri, UriError};
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};
#[lexicon]
#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq, IntoStatic)]
#[serde(rename_all = "camelCase", rename = "diy.razorgirl.winter.fact", tag = "$type")]
pub struct Fact<'a> {
#[serde(borrow)]
pub args: Vec<CowStr<'a>>,
#[serde(skip_serializing_if = "Option::is_none")]
#[serde(borrow)]
pub confidence: Option<CowStr<'a>>,
pub created_at: Datetime,
#[serde(skip_serializing_if = "Option::is_none")]
pub expires_at: Option<Datetime>,
#[serde(borrow)]
pub predicate: CowStr<'a>,
#[serde(skip_serializing_if = "Option::is_none")]
#[serde(borrow)]
pub source: Option<CowStr<'a>>,
#[serde(skip_serializing_if = "Option::is_none")]
#[serde(borrow)]
pub supersedes: Option<CowStr<'a>>,
#[serde(skip_serializing_if = "Option::is_none")]
#[serde(borrow)]
pub tags: Option<Vec<CowStr<'a>>>,
}
#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq, IntoStatic)]
#[serde(rename_all = "camelCase")]
pub struct FactGetRecordOutput<'a> {
#[serde(skip_serializing_if = "Option::is_none")]
#[serde(borrow)]
pub cid: Option<Cid<'a>>,
#[serde(borrow)]
pub uri: AtUri<'a>,
#[serde(borrow)]
pub value: Fact<'a>,
}
impl<'a> Fact<'a> {
pub fn uri(
uri: impl Into<CowStr<'a>>,
) -> Result<RecordUri<'a, FactRecord>, UriError> {
RecordUri::try_from_uri(AtUri::new_cow(uri.into())?)
}
}
#[derive(Debug, Serialize, Deserialize)]
pub struct FactRecord;
impl XrpcResp for FactRecord {
const NSID: &'static str = "diy.razorgirl.winter.fact";
const ENCODING: &'static str = "application/json";
type Output<'de> = FactGetRecordOutput<'de>;
type Err<'de> = RecordError<'de>;
}
impl From<FactGetRecordOutput<'_>> for Fact<'_> {
fn from(output: FactGetRecordOutput<'_>) -> Self {
use jacquard_common::IntoStatic;
output.value.into_static()
}
}
impl Collection for Fact<'_> {
const NSID: &'static str = "diy.razorgirl.winter.fact";
type Record = FactRecord;
}
impl Collection for FactRecord {
const NSID: &'static str = "diy.razorgirl.winter.fact";
type Record = FactRecord;
}
impl<'a> LexiconSchema for Fact<'a> {
fn nsid() -> &'static str {
"diy.razorgirl.winter.fact"
}
fn def_name() -> &'static str {
"main"
}
fn lexicon_doc() -> LexiconDoc<'static> {
lexicon_doc_diy_razorgirl_winter_fact()
}
fn validate(&self) -> Result<(), ConstraintError> {
{
let value = &self.args;
#[allow(unused_comparisons)]
if value.len() > 10usize {
return Err(ConstraintError::MaxLength {
path: ValidationPath::from_field("args"),
max: 10usize,
actual: value.len(),
});
}
}
{
let value = &self.predicate;
#[allow(unused_comparisons)]
if <str>::len(value.as_ref()) > 64usize {
return Err(ConstraintError::MaxLength {
path: ValidationPath::from_field("predicate"),
max: 64usize,
actual: <str>::len(value.as_ref()),
});
}
}
if let Some(ref value) = self.tags {
#[allow(unused_comparisons)]
if value.len() > 20usize {
return Err(ConstraintError::MaxLength {
path: ValidationPath::from_field("tags"),
max: 20usize,
actual: value.len(),
});
}
}
Ok(())
}
}
pub mod fact_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 Predicate;
type CreatedAt;
type Args;
}
pub struct Empty(());
impl sealed::Sealed for Empty {}
impl State for Empty {
type Predicate = Unset;
type CreatedAt = Unset;
type Args = Unset;
}
pub struct SetPredicate<S: State = Empty>(PhantomData<fn() -> S>);
impl<S: State> sealed::Sealed for SetPredicate<S> {}
impl<S: State> State for SetPredicate<S> {
type Predicate = Set<members::predicate>;
type CreatedAt = S::CreatedAt;
type Args = S::Args;
}
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 Predicate = S::Predicate;
type CreatedAt = Set<members::created_at>;
type Args = S::Args;
}
pub struct SetArgs<S: State = Empty>(PhantomData<fn() -> S>);
impl<S: State> sealed::Sealed for SetArgs<S> {}
impl<S: State> State for SetArgs<S> {
type Predicate = S::Predicate;
type CreatedAt = S::CreatedAt;
type Args = Set<members::args>;
}
#[allow(non_camel_case_types)]
pub mod members {
pub struct predicate(());
pub struct created_at(());
pub struct args(());
}
}
pub struct FactBuilder<'a, S: fact_state::State> {
_state: PhantomData<fn() -> S>,
_fields: (
Option<Vec<CowStr<'a>>>,
Option<CowStr<'a>>,
Option<Datetime>,
Option<Datetime>,
Option<CowStr<'a>>,
Option<CowStr<'a>>,
Option<CowStr<'a>>,
Option<Vec<CowStr<'a>>>,
),
_lifetime: PhantomData<&'a ()>,
}
impl<'a> Fact<'a> {
pub fn new() -> FactBuilder<'a, fact_state::Empty> {
FactBuilder::new()
}
}
impl<'a> FactBuilder<'a, fact_state::Empty> {
pub fn new() -> Self {
FactBuilder {
_state: PhantomData,
_fields: (None, None, None, None, None, None, None, None),
_lifetime: PhantomData,
}
}
}
impl<'a, S> FactBuilder<'a, S>
where
S: fact_state::State,
S::Args: fact_state::IsUnset,
{
pub fn args(
mut self,
value: impl Into<Vec<CowStr<'a>>>,
) -> FactBuilder<'a, fact_state::SetArgs<S>> {
self._fields.0 = Option::Some(value.into());
FactBuilder {
_state: PhantomData,
_fields: self._fields,
_lifetime: PhantomData,
}
}
}
impl<'a, S: fact_state::State> FactBuilder<'a, S> {
pub fn confidence(mut self, value: impl Into<Option<CowStr<'a>>>) -> Self {
self._fields.1 = value.into();
self
}
pub fn maybe_confidence(mut self, value: Option<CowStr<'a>>) -> Self {
self._fields.1 = value;
self
}
}
impl<'a, S> FactBuilder<'a, S>
where
S: fact_state::State,
S::CreatedAt: fact_state::IsUnset,
{
pub fn created_at(
mut self,
value: impl Into<Datetime>,
) -> FactBuilder<'a, fact_state::SetCreatedAt<S>> {
self._fields.2 = Option::Some(value.into());
FactBuilder {
_state: PhantomData,
_fields: self._fields,
_lifetime: PhantomData,
}
}
}
impl<'a, S: fact_state::State> FactBuilder<'a, S> {
pub fn expires_at(mut self, value: impl Into<Option<Datetime>>) -> Self {
self._fields.3 = value.into();
self
}
pub fn maybe_expires_at(mut self, value: Option<Datetime>) -> Self {
self._fields.3 = value;
self
}
}
impl<'a, S> FactBuilder<'a, S>
where
S: fact_state::State,
S::Predicate: fact_state::IsUnset,
{
pub fn predicate(
mut self,
value: impl Into<CowStr<'a>>,
) -> FactBuilder<'a, fact_state::SetPredicate<S>> {
self._fields.4 = Option::Some(value.into());
FactBuilder {
_state: PhantomData,
_fields: self._fields,
_lifetime: PhantomData,
}
}
}
impl<'a, S: fact_state::State> FactBuilder<'a, S> {
pub fn source(mut self, value: impl Into<Option<CowStr<'a>>>) -> Self {
self._fields.5 = value.into();
self
}
pub fn maybe_source(mut self, value: Option<CowStr<'a>>) -> Self {
self._fields.5 = value;
self
}
}
impl<'a, S: fact_state::State> FactBuilder<'a, S> {
pub fn supersedes(mut self, value: impl Into<Option<CowStr<'a>>>) -> Self {
self._fields.6 = value.into();
self
}
pub fn maybe_supersedes(mut self, value: Option<CowStr<'a>>) -> Self {
self._fields.6 = value;
self
}
}
impl<'a, S: fact_state::State> FactBuilder<'a, S> {
pub fn tags(mut self, value: impl Into<Option<Vec<CowStr<'a>>>>) -> Self {
self._fields.7 = value.into();
self
}
pub fn maybe_tags(mut self, value: Option<Vec<CowStr<'a>>>) -> Self {
self._fields.7 = value;
self
}
}
impl<'a, S> FactBuilder<'a, S>
where
S: fact_state::State,
S::Predicate: fact_state::IsSet,
S::CreatedAt: fact_state::IsSet,
S::Args: fact_state::IsSet,
{
pub fn build(self) -> Fact<'a> {
Fact {
args: self._fields.0.unwrap(),
confidence: self._fields.1,
created_at: self._fields.2.unwrap(),
expires_at: self._fields.3,
predicate: self._fields.4.unwrap(),
source: self._fields.5,
supersedes: self._fields.6,
tags: self._fields.7,
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>,
>,
) -> Fact<'a> {
Fact {
args: self._fields.0.unwrap(),
confidence: self._fields.1,
created_at: self._fields.2.unwrap(),
expires_at: self._fields.3,
predicate: self._fields.4.unwrap(),
source: self._fields.5,
supersedes: self._fields.6,
tags: self._fields.7,
extra_data: Some(extra_data),
}
}
}
fn lexicon_doc_diy_razorgirl_winter_fact() -> 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("diy.razorgirl.winter.fact"),
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("predicate"),
SmolStr::new_static("args"),
SmolStr::new_static("createdAt")
],
),
properties: {
#[allow(unused_mut)]
let mut map = BTreeMap::new();
map.insert(
SmolStr::new_static("args"),
LexObjectProperty::Array(LexArray {
items: LexArrayItem::String(LexString {
..Default::default()
}),
max_length: Some(10usize),
..Default::default()
}),
);
map.insert(
SmolStr::new_static("confidence"),
LexObjectProperty::String(LexString {
description: Some(
CowStr::new_static("0.0-1.0 as string (Soufflé compat)"),
),
..Default::default()
}),
);
map.insert(
SmolStr::new_static("createdAt"),
LexObjectProperty::String(LexString {
format: Some(LexStringFormat::Datetime),
..Default::default()
}),
);
map.insert(
SmolStr::new_static("expiresAt"),
LexObjectProperty::String(LexString {
format: Some(LexStringFormat::Datetime),
..Default::default()
}),
);
map.insert(
SmolStr::new_static("predicate"),
LexObjectProperty::String(LexString {
max_length: Some(64usize),
..Default::default()
}),
);
map.insert(
SmolStr::new_static("source"),
LexObjectProperty::String(LexString {
description: Some(
CowStr::new_static("CID of source record"),
),
..Default::default()
}),
);
map.insert(
SmolStr::new_static("supersedes"),
LexObjectProperty::String(LexString {
description: Some(
CowStr::new_static("CID of superseded fact"),
),
..Default::default()
}),
);
map.insert(
SmolStr::new_static("tags"),
LexObjectProperty::Array(LexArray {
items: LexArrayItem::String(LexString {
..Default::default()
}),
max_length: Some(20usize),
..Default::default()
}),
);
map
},
..Default::default()
}),
..Default::default()
}),
);
map
},
..Default::default()
}
}