sugyan · sugyan · Feb 19, 2024 · Feb 18, 2024
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -36,7 +36,8 @@ cid = "0.10.1"
 libipld-core = "0.16"
 serde_ipld_dagcbor = "0.3"
 
-# Serde
+# Parsing and validation
+regex = "1"
 serde = "1.0.160"
 serde_bytes = "0.11.9"
 serde_json = "1.0.96"

diff --git a/atrium-api/CHANGELOG.md b/atrium-api/CHANGELOG.md
@@ -12,10 +12,16 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
   - `LimitedU16`, `LimitedNonZeroU16`, `BoundedU16`
   - `LimitedU32`, `LimitedNonZeroU32`, `BoundedU32`
   - `LimitedU64`, `LimitedNonZeroU64`, `BoundedU64`
+  - `string` module, containing dedicated types for formatted Lexicon strings.
 
 ### Changed
 - All Lexicon integer fields now have a type that matches their minimum and maximum
   accepted values, instead of `i32`.
+- All Lexicon string fields with one of the following formats now have the corresponding
+  dedicated type, instead of `String`:
+  - `at-identifier` (`atrium_api::types::string::AtIdentifier`)
+  - `did` (`atrium_api::types::string::Did`)
+  - `handle` (`atrium_api::types::string::Handle`)
 
 ## [0.16.0](https://github.com/sugyan/atrium/compare/atrium-api-v0.15.0...atrium-api-v0.16.0) - 2024-02-09
 

diff --git a/atrium-api/Cargo.toml b/atrium-api/Cargo.toml
@@ -15,6 +15,7 @@ keywords.workspace = true
 atrium-xrpc.workspace = true
 async-trait.workspace = true
 http.workspace = true
+regex.workspace = true
 serde = { workspace = true, features = ["derive"] }
 serde_bytes.workspace = true
 tokio = { workspace = true, optional = true }

diff --git a/atrium-api/README.md b/atrium-api/README.md
@@ -56,7 +56,7 @@ async fn main() -> Result<(), Box<dyn std::error::Error>> {
         .bsky
         .actor
         .get_profile(atrium_api::app::bsky::actor::get_profile::Parameters {
-            actor: "bsky.app".into(),
+            actor: "bsky.app".parse()?,
         })
         .await?;
     println!("{:?}", result);

diff --git a/atrium-api/src/agent.rs b/atrium-api/src/agent.rs
@@ -152,9 +152,9 @@ mod tests {
                             body.extend(serde_json::to_vec(
                                 &crate::com::atproto::server::refresh_session::Output {
                                     access_jwt: String::from("access"),
-                                    did: String::from("did"),
+                                    did: "did:web:example.com".parse().expect("valid"),
                                     did_doc: None,
-                                    handle: String::from("handle"),
+                                    handle: "example.com".parse().expect("valid"),
                                     refresh_jwt: String::from("refresh"),
                                 },
                             )?);
@@ -187,11 +187,11 @@ mod tests {
     fn session() -> Session {
         Session {
             access_jwt: String::from("access"),
-            did: String::from("did"),
+            did: "did:web:example.com".parse().expect("valid"),
             did_doc: None,
             email: None,
             email_confirmed: None,
-            handle: String::from("handle"),
+            handle: "example.com".parse().expect("valid"),
             refresh_jwt: String::from("refresh"),
         }
     }
@@ -266,7 +266,7 @@ mod tests {
             .get_session()
             .await
             .expect("get session should be succeeded");
-        assert_eq!(output.did, "did");
+        assert_eq!(output.did.as_str(), "did:web:example.com");
     }
 
     #[tokio::test]
@@ -296,7 +296,7 @@ mod tests {
             .get_session()
             .await
             .expect("get session should be succeeded");
-        assert_eq!(output.did, "did");
+        assert_eq!(output.did.as_str(), "did:web:example.com");
         assert_eq!(
             agent
                 .store
@@ -338,7 +338,7 @@ mod tests {
                 .expect("task should be successfully executed")
                 .as_ref()
                 .expect("get session should be succeeded");
-            assert_eq!(output.did, "did");
+            assert_eq!(output.did.as_str(), "did:web:example.com");
         }
         assert_eq!(
             agent

diff --git a/atrium-api/src/app/bsky/actor/defs.rs b/atrium-api/src/app/bsky/actor/defs.rs
@@ -54,10 +54,10 @@ pub struct ProfileView {
     pub avatar: Option<String>,
     #[serde(skip_serializing_if = "Option::is_none")]
     pub description: Option<String>,
-    pub did: String,
+    pub did: crate::types::string::Did,
     #[serde(skip_serializing_if = "Option::is_none")]
     pub display_name: Option<String>,
-    pub handle: String,
+    pub handle: crate::types::string::Handle,
     #[serde(skip_serializing_if = "Option::is_none")]
     pub indexed_at: Option<String>,
     #[serde(skip_serializing_if = "Option::is_none")]
@@ -70,10 +70,10 @@ pub struct ProfileView {
 pub struct ProfileViewBasic {
     #[serde(skip_serializing_if = "Option::is_none")]
     pub avatar: Option<String>,
-    pub did: String,
+    pub did: crate::types::string::Did,
     #[serde(skip_serializing_if = "Option::is_none")]
     pub display_name: Option<String>,
-    pub handle: String,
+    pub handle: crate::types::string::Handle,
     #[serde(skip_serializing_if = "Option::is_none")]
     pub labels: Option<Vec<crate::com::atproto::label::defs::Label>>,
     #[serde(skip_serializing_if = "Option::is_none")]
@@ -88,14 +88,14 @@ pub struct ProfileViewDetailed {
     pub banner: Option<String>,
     #[serde(skip_serializing_if = "Option::is_none")]
     pub description: Option<String>,
-    pub did: String,
+    pub did: crate::types::string::Did,
     #[serde(skip_serializing_if = "Option::is_none")]
     pub display_name: Option<String>,
     #[serde(skip_serializing_if = "Option::is_none")]
     pub followers_count: Option<i64>,
     #[serde(skip_serializing_if = "Option::is_none")]
     pub follows_count: Option<i64>,
-    pub handle: String,
+    pub handle: crate::types::string::Handle,
     #[serde(skip_serializing_if = "Option::is_none")]
     pub indexed_at: Option<String>,
     #[serde(skip_serializing_if = "Option::is_none")]

diff --git a/atrium-api/src/app/bsky/actor/get_profile.rs b/atrium-api/src/app/bsky/actor/get_profile.rs
@@ -3,7 +3,7 @@
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
 #[serde(rename_all = "camelCase")]
 pub struct Parameters {
-    pub actor: String,
+    pub actor: crate::types::string::AtIdentifier,
 }
 pub type Output = crate::app::bsky::actor::defs::ProfileViewDetailed;
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]

diff --git a/atrium-api/src/app/bsky/actor/get_profiles.rs b/atrium-api/src/app/bsky/actor/get_profiles.rs
@@ -3,7 +3,7 @@
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
 #[serde(rename_all = "camelCase")]
 pub struct Parameters {
-    pub actors: Vec<String>,
+    pub actors: Vec<crate::types::string::AtIdentifier>,
 }
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
 #[serde(rename_all = "camelCase")]

diff --git a/atrium-api/src/app/bsky/feed/defs.rs b/atrium-api/src/app/bsky/feed/defs.rs
@@ -3,7 +3,7 @@
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
 #[serde(rename_all = "camelCase")]
 pub struct BlockedAuthor {
-    pub did: String,
+    pub did: crate::types::string::Did,
     #[serde(skip_serializing_if = "Option::is_none")]
     pub viewer: Option<crate::app::bsky::actor::defs::ViewerState>,
 }
@@ -34,7 +34,7 @@ pub struct GeneratorView {
     pub description: Option<String>,
     #[serde(skip_serializing_if = "Option::is_none")]
     pub description_facets: Option<Vec<crate::app::bsky::richtext::facet::Main>>,
-    pub did: String,
+    pub did: crate::types::string::Did,
     pub display_name: String,
     pub indexed_at: String,
     #[serde(skip_serializing_if = "Option::is_none")]

diff --git a/atrium-api/src/app/bsky/feed/describe_feed_generator.rs b/atrium-api/src/app/bsky/feed/describe_feed_generator.rs
@@ -3,7 +3,7 @@
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
 #[serde(rename_all = "camelCase")]
 pub struct Output {
-    pub did: String,
+    pub did: crate::types::string::Did,
     pub feeds: Vec<Feed>,
     #[serde(skip_serializing_if = "Option::is_none")]
     pub links: Option<Links>,

diff --git a/atrium-api/src/app/bsky/feed/generator.rs b/atrium-api/src/app/bsky/feed/generator.rs
@@ -10,7 +10,7 @@ pub struct Record {
     pub description: Option<String>,
     #[serde(skip_serializing_if = "Option::is_none")]
     pub description_facets: Option<Vec<crate::app::bsky::richtext::facet::Main>>,
-    pub did: String,
+    pub did: crate::types::string::Did,
     pub display_name: String,
     #[serde(skip_serializing_if = "Option::is_none")]
     pub labels: Option<RecordLabelsEnum>,

diff --git a/atrium-api/src/app/bsky/feed/get_actor_feeds.rs b/atrium-api/src/app/bsky/feed/get_actor_feeds.rs
@@ -3,7 +3,7 @@
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
 #[serde(rename_all = "camelCase")]
 pub struct Parameters {
-    pub actor: String,
+    pub actor: crate::types::string::AtIdentifier,
     #[serde(skip_serializing_if = "Option::is_none")]
     pub cursor: Option<String>,
     #[serde(skip_serializing_if = "Option::is_none")]

diff --git a/atrium-api/src/app/bsky/feed/get_actor_likes.rs b/atrium-api/src/app/bsky/feed/get_actor_likes.rs
@@ -3,7 +3,7 @@
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
 #[serde(rename_all = "camelCase")]
 pub struct Parameters {
-    pub actor: String,
+    pub actor: crate::types::string::AtIdentifier,
     #[serde(skip_serializing_if = "Option::is_none")]
     pub cursor: Option<String>,
     #[serde(skip_serializing_if = "Option::is_none")]

diff --git a/atrium-api/src/app/bsky/feed/get_author_feed.rs b/atrium-api/src/app/bsky/feed/get_author_feed.rs
@@ -3,7 +3,7 @@
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
 #[serde(rename_all = "camelCase")]
 pub struct Parameters {
-    pub actor: String,
+    pub actor: crate::types::string::AtIdentifier,
     #[serde(skip_serializing_if = "Option::is_none")]
     pub cursor: Option<String>,
     #[serde(skip_serializing_if = "Option::is_none")]

diff --git a/atrium-api/src/app/bsky/graph/block.rs b/atrium-api/src/app/bsky/graph/block.rs
@@ -4,5 +4,5 @@
 #[serde(rename_all = "camelCase")]
 pub struct Record {
     pub created_at: String,
-    pub subject: String,
+    pub subject: crate::types::string::Did,
 }
diff --git a/atrium-api/src/app/bsky/graph/defs.rs b/atrium-api/src/app/bsky/graph/defs.rs
@@ -55,14 +55,14 @@ pub struct Modlist;
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
 #[serde(rename_all = "camelCase")]
 pub struct NotFoundActor {
-    pub actor: String,
+    pub actor: crate::types::string::AtIdentifier,
     pub not_found: bool,
 }
 ///lists the bi-directional graph relationships between one actor (not indicated in the object), and the target actors (the DID included in the object)
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
 #[serde(rename_all = "camelCase")]
 pub struct Relationship {
-    pub did: String,
+    pub did: crate::types::string::Did,
     ///if the actor is followed by this DID, contains the AT-URI of the follow record
     #[serde(skip_serializing_if = "Option::is_none")]
     pub followed_by: Option<String>,

diff --git a/atrium-api/src/app/bsky/graph/follow.rs b/atrium-api/src/app/bsky/graph/follow.rs
@@ -4,5 +4,5 @@
 #[serde(rename_all = "camelCase")]
 pub struct Record {
     pub created_at: String,
-    pub subject: String,
+    pub subject: crate::types::string::Did,
 }
diff --git a/atrium-api/src/app/bsky/graph/get_followers.rs b/atrium-api/src/app/bsky/graph/get_followers.rs
@@ -3,7 +3,7 @@
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
 #[serde(rename_all = "camelCase")]
 pub struct Parameters {
-    pub actor: String,
+    pub actor: crate::types::string::AtIdentifier,
     #[serde(skip_serializing_if = "Option::is_none")]
     pub cursor: Option<String>,
     #[serde(skip_serializing_if = "Option::is_none")]

diff --git a/atrium-api/src/app/bsky/graph/get_follows.rs b/atrium-api/src/app/bsky/graph/get_follows.rs
@@ -3,7 +3,7 @@
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
 #[serde(rename_all = "camelCase")]
 pub struct Parameters {
-    pub actor: String,
+    pub actor: crate::types::string::AtIdentifier,
     #[serde(skip_serializing_if = "Option::is_none")]
     pub cursor: Option<String>,
     #[serde(skip_serializing_if = "Option::is_none")]

diff --git a/atrium-api/src/app/bsky/graph/get_lists.rs b/atrium-api/src/app/bsky/graph/get_lists.rs
@@ -3,7 +3,7 @@
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
 #[serde(rename_all = "camelCase")]
 pub struct Parameters {
-    pub actor: String,
+    pub actor: crate::types::string::AtIdentifier,
     #[serde(skip_serializing_if = "Option::is_none")]
     pub cursor: Option<String>,
     #[serde(skip_serializing_if = "Option::is_none")]

diff --git a/atrium-api/src/app/bsky/graph/get_relationships.rs b/atrium-api/src/app/bsky/graph/get_relationships.rs
@@ -3,15 +3,15 @@
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
 #[serde(rename_all = "camelCase")]
 pub struct Parameters {
-    pub actor: String,
+    pub actor: crate::types::string::AtIdentifier,
     #[serde(skip_serializing_if = "Option::is_none")]
-    pub others: Option<Vec<String>>,
+    pub others: Option<Vec<crate::types::string::AtIdentifier>>,
 }
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
 #[serde(rename_all = "camelCase")]
 pub struct Output {
     #[serde(skip_serializing_if = "Option::is_none")]
-    pub actor: Option<String>,
+    pub actor: Option<crate::types::string::Did>,
     pub relationships: Vec<OutputRelationshipsItem>,
 }
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]

diff --git a/atrium-api/src/app/bsky/graph/get_suggested_follows_by_actor.rs b/atrium-api/src/app/bsky/graph/get_suggested_follows_by_actor.rs
@@ -3,7 +3,7 @@
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
 #[serde(rename_all = "camelCase")]
 pub struct Parameters {
-    pub actor: String,
+    pub actor: crate::types::string::AtIdentifier,
 }
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
 #[serde(rename_all = "camelCase")]

diff --git a/atrium-api/src/app/bsky/graph/listitem.rs b/atrium-api/src/app/bsky/graph/listitem.rs
@@ -5,5 +5,5 @@
 pub struct Record {
     pub created_at: String,
     pub list: String,
-    pub subject: String,
+    pub subject: crate::types::string::Did,
 }
diff --git a/atrium-api/src/app/bsky/graph/mute_actor.rs b/atrium-api/src/app/bsky/graph/mute_actor.rs
@@ -3,7 +3,7 @@
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
 #[serde(rename_all = "camelCase")]
 pub struct Input {
-    pub actor: String,
+    pub actor: crate::types::string::AtIdentifier,
 }
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
 #[serde(tag = "error", content = "message")]

diff --git a/atrium-api/src/app/bsky/graph/unmute_actor.rs b/atrium-api/src/app/bsky/graph/unmute_actor.rs
@@ -3,7 +3,7 @@
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
 #[serde(rename_all = "camelCase")]
 pub struct Input {
-    pub actor: String,
+    pub actor: crate::types::string::AtIdentifier,
 }
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
 #[serde(tag = "error", content = "message")]

diff --git a/atrium-api/src/app/bsky/notification/register_push.rs b/atrium-api/src/app/bsky/notification/register_push.rs
@@ -5,7 +5,7 @@
 pub struct Input {
     pub app_id: String,
     pub platform: String,
-    pub service_did: String,
+    pub service_did: crate::types::string::Did,
     pub token: String,
 }
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]

diff --git a/atrium-api/src/app/bsky/richtext/facet.rs b/atrium-api/src/app/bsky/richtext/facet.rs
@@ -23,7 +23,7 @@ pub struct Link {
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
 #[serde(rename_all = "camelCase")]
 pub struct Mention {
-    pub did: String,
+    pub did: crate::types::string::Did,
 }
 ///A hashtag.
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]

diff --git a/atrium-api/src/app/bsky/unspecced/defs.rs b/atrium-api/src/app/bsky/unspecced/defs.rs
@@ -3,7 +3,7 @@
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
 #[serde(rename_all = "camelCase")]
 pub struct SkeletonSearchActor {
-    pub did: String,
+    pub did: crate::types::string::Did,
 }
 #[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
 #[serde(rename_all = "camelCase")]

diff --git a/atrium-api/src/com/atproto/admin/create_communication_template.rs b/atrium-api/src/com/atproto/admin/create_communication_template.rs
@@ -7,7 +7,7 @@ pub struct Input {
     pub content_markdown: String,
     ///DID of the user who is creating the template.
     #[serde(skip_serializing_if = "Option::is_none")]
-    pub created_by: Option<String>,
+    pub created_by: Option<crate::types::string::Did>,
     ///Name of the template.
     pub name: String,
     ///Subject of the message, used in emails.