#[allow(unused_imports)]
use alloc::collections::BTreeMap;
#[allow(unused_imports)]
use core::marker::PhantomData;
#[allow(unused_imports)]
use jacquard_common::deps::codegen::unicode_segmentation::UnicodeSegmentation;
use jacquard_common::types::string::UriValue;
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::science_alt::dataset::entry::ShardChecksum;
use crate::science_alt::dataset::storage_http;
#[lexicon]
#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq, IntoStatic)]
#[serde(rename_all = "camelCase")]
pub struct StorageHttp<'a> {
#[serde(borrow)]
pub shards: Vec<storage_http::ShardEntry<'a>>,
}
#[lexicon]
#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq, IntoStatic)]
#[serde(rename_all = "camelCase")]
pub struct ShardEntry<'a> {
#[serde(borrow)]
pub checksum: ShardChecksum<'a>,
#[serde(borrow)]
pub url: UriValue<'a>,
}
impl<'a> LexiconSchema for StorageHttp<'a> {
fn nsid() -> &'static str {
"science.alt.dataset.storageHttp"
}
fn def_name() -> &'static str {
"main"
}
fn lexicon_doc() -> LexiconDoc<'static> {
lexicon_doc_science_alt_dataset_storageHttp()
}
fn validate(&self) -> Result<(), ConstraintError> {
{
let value = &self.shards;
#[allow(unused_comparisons)]
if value.len() < 1usize {
return Err(ConstraintError::MinLength {
path: ValidationPath::from_field("shards"),
min: 1usize,
actual: value.len(),
});
}
}
Ok(())
}
}
impl<'a> LexiconSchema for ShardEntry<'a> {
fn nsid() -> &'static str {
"science.alt.dataset.storageHttp"
}
fn def_name() -> &'static str {
"shardEntry"
}
fn lexicon_doc() -> LexiconDoc<'static> {
lexicon_doc_science_alt_dataset_storageHttp()
}
fn validate(&self) -> Result<(), ConstraintError> {
{
let value = &self.url;
#[allow(unused_comparisons)]
if <str>::len(value.as_ref()) > 2000usize {
return Err(ConstraintError::MaxLength {
path: ValidationPath::from_field("url"),
max: 2000usize,
actual: <str>::len(value.as_ref()),
});
}
}
Ok(())
}
}
pub mod storage_http_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 Shards;
}
pub struct Empty(());
impl sealed::Sealed for Empty {}
impl State for Empty {
type Shards = Unset;
}
pub struct SetShards<S: State = Empty>(PhantomData<fn() -> S>);
impl<S: State> sealed::Sealed for SetShards<S> {}
impl<S: State> State for SetShards<S> {
type Shards = Set<members::shards>;
}
#[allow(non_camel_case_types)]
pub mod members {
pub struct shards(());
}
}
pub struct StorageHttpBuilder<'a, S: storage_http_state::State> {
_state: PhantomData<fn() -> S>,
_fields: (Option<Vec<storage_http::ShardEntry<'a>>>,),
_lifetime: PhantomData<&'a ()>,
}
impl<'a> StorageHttp<'a> {
pub fn new() -> StorageHttpBuilder<'a, storage_http_state::Empty> {
StorageHttpBuilder::new()
}
}
impl<'a> StorageHttpBuilder<'a, storage_http_state::Empty> {
pub fn new() -> Self {
StorageHttpBuilder {
_state: PhantomData,
_fields: (None,),
_lifetime: PhantomData,
}
}
}
impl<'a, S> StorageHttpBuilder<'a, S>
where
S: storage_http_state::State,
S::Shards: storage_http_state::IsUnset,
{
pub fn shards(
mut self,
value: impl Into<Vec<storage_http::ShardEntry<'a>>>,
) -> StorageHttpBuilder<'a, storage_http_state::SetShards<S>> {
self._fields.0 = Option::Some(value.into());
StorageHttpBuilder {
_state: PhantomData,
_fields: self._fields,
_lifetime: PhantomData,
}
}
}
impl<'a, S> StorageHttpBuilder<'a, S>
where
S: storage_http_state::State,
S::Shards: storage_http_state::IsSet,
{
pub fn build(self) -> StorageHttp<'a> {
StorageHttp {
shards: self._fields.0.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>,
>,
) -> StorageHttp<'a> {
StorageHttp {
shards: self._fields.0.unwrap(),
extra_data: Some(extra_data),
}
}
}
fn lexicon_doc_science_alt_dataset_storageHttp() -> 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("science.alt.dataset.storageHttp"),
defs: {
let mut map = BTreeMap::new();
map.insert(
SmolStr::new_static("main"),
LexUserType::Object(LexObject {
description: Some(
CowStr::new_static(
"HTTP/HTTPS storage for WebDataset tar archives. Each shard is listed individually with a checksum for integrity verification. Consumers build brace-expansion patterns on the fly when needed.",
),
),
required: Some(vec![SmolStr::new_static("shards")]),
properties: {
#[allow(unused_mut)]
let mut map = BTreeMap::new();
map.insert(
SmolStr::new_static("shards"),
LexObjectProperty::Array(LexArray {
description: Some(
CowStr::new_static(
"Array of shard entries with URL and integrity checksum",
),
),
items: LexArrayItem::Ref(LexRef {
r#ref: CowStr::new_static("#shardEntry"),
..Default::default()
}),
min_length: Some(1usize),
..Default::default()
}),
);
map
},
..Default::default()
}),
);
map.insert(
SmolStr::new_static("shardEntry"),
LexUserType::Object(LexObject {
description: Some(
CowStr::new_static(
"A single HTTP-accessible shard with integrity checksum",
),
),
required: Some(
vec![SmolStr::new_static("url"), SmolStr::new_static("checksum")],
),
properties: {
#[allow(unused_mut)]
let mut map = BTreeMap::new();
map.insert(
SmolStr::new_static("checksum"),
LexObjectProperty::Ref(LexRef {
r#ref: CowStr::new_static(
"science.alt.dataset.entry#shardChecksum",
),
..Default::default()
}),
);
map.insert(
SmolStr::new_static("url"),
LexObjectProperty::String(LexString {
description: Some(
CowStr::new_static(
"HTTP/HTTPS URL for this WebDataset tar shard",
),
),
format: Some(LexStringFormat::Uri),
max_length: Some(2000usize),
..Default::default()
}),
);
map
},
..Default::default()
}),
);
map
},
..Default::default()
}
}
pub mod shard_entry_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 Checksum;
type Url;
}
pub struct Empty(());
impl sealed::Sealed for Empty {}
impl State for Empty {
type Checksum = Unset;
type Url = Unset;
}
pub struct SetChecksum<S: State = Empty>(PhantomData<fn() -> S>);
impl<S: State> sealed::Sealed for SetChecksum<S> {}
impl<S: State> State for SetChecksum<S> {
type Checksum = Set<members::checksum>;
type Url = S::Url;
}
pub struct SetUrl<S: State = Empty>(PhantomData<fn() -> S>);
impl<S: State> sealed::Sealed for SetUrl<S> {}
impl<S: State> State for SetUrl<S> {
type Checksum = S::Checksum;
type Url = Set<members::url>;
}
#[allow(non_camel_case_types)]
pub mod members {
pub struct checksum(());
pub struct url(());
}
}
pub struct ShardEntryBuilder<'a, S: shard_entry_state::State> {
_state: PhantomData<fn() -> S>,
_fields: (Option<ShardChecksum<'a>>, Option<UriValue<'a>>),
_lifetime: PhantomData<&'a ()>,
}
impl<'a> ShardEntry<'a> {
pub fn new() -> ShardEntryBuilder<'a, shard_entry_state::Empty> {
ShardEntryBuilder::new()
}
}
impl<'a> ShardEntryBuilder<'a, shard_entry_state::Empty> {
pub fn new() -> Self {
ShardEntryBuilder {
_state: PhantomData,
_fields: (None, None),
_lifetime: PhantomData,
}
}
}
impl<'a, S> ShardEntryBuilder<'a, S>
where
S: shard_entry_state::State,
S::Checksum: shard_entry_state::IsUnset,
{
pub fn checksum(
mut self,
value: impl Into<ShardChecksum<'a>>,
) -> ShardEntryBuilder<'a, shard_entry_state::SetChecksum<S>> {
self._fields.0 = Option::Some(value.into());
ShardEntryBuilder {
_state: PhantomData,
_fields: self._fields,
_lifetime: PhantomData,
}
}
}
impl<'a, S> ShardEntryBuilder<'a, S>
where
S: shard_entry_state::State,
S::Url: shard_entry_state::IsUnset,
{
pub fn url(
mut self,
value: impl Into<UriValue<'a>>,
) -> ShardEntryBuilder<'a, shard_entry_state::SetUrl<S>> {
self._fields.1 = Option::Some(value.into());
ShardEntryBuilder {
_state: PhantomData,
_fields: self._fields,
_lifetime: PhantomData,
}
}
}
impl<'a, S> ShardEntryBuilder<'a, S>
where
S: shard_entry_state::State,
S::Checksum: shard_entry_state::IsSet,
S::Url: shard_entry_state::IsSet,
{
pub fn build(self) -> ShardEntry<'a> {
ShardEntry {
checksum: self._fields.0.unwrap(),
url: self._fields.1.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>,
>,
) -> ShardEntry<'a> {
ShardEntry {
checksum: self._fields.0.unwrap(),
url: self._fields.1.unwrap(),
extra_data: Some(extra_data),
}
}
}