Struct type_safe_id::TypeSafeId
source · pub struct TypeSafeId<T> { /* private fields */ }
Expand description
A typed UUID.
use type_safe_id::{StaticType, TypeSafeId};
#[derive(Default)]
struct User;
impl StaticType for User {
// must be lowercase ascii [a-z] only
const TYPE: &'static str = "user";
}
// type alias for your custom typed id
type UserId = TypeSafeId<User>;
let user_id1 = UserId::new();
let user_id2 = UserId::new();
let uid1 = user_id1.to_string();
let uid2 = user_id2.to_string();
dbg!(&uid1, &uid2);
assert!(uid2 > uid1, "type safe IDs are ordered");
let user_id3: UserId = uid1.parse().expect("invalid user id");
let user_id4: UserId = uid2.parse().expect("invalid user id");
assert_eq!(user_id1.uuid(), user_id3.uuid(), "round trip works");
assert_eq!(user_id2.uuid(), user_id4.uuid(), "round trip works");
Implementations§
source§impl<T: StaticType> TypeSafeId<T>
impl<T: StaticType> TypeSafeId<T>
source§impl<T: Type> TypeSafeId<T>
impl<T: Type> TypeSafeId<T>
sourcepub fn new_with_type(type_prefix: T) -> Self
pub fn new_with_type(type_prefix: T) -> Self
Create a new type-id with the given type prefix
sourcepub fn from_type_and_uuid(type_prefix: T, data: Uuid) -> Self
pub fn from_type_and_uuid(type_prefix: T, data: Uuid) -> Self
Create a new type-id with the given type prefix and uuid data
pub fn type_prefix(&self) -> &str
pub fn uuid(&self) -> Uuid
Trait Implementations§
source§impl<'a> Arbitrary<'a> for TypeSafeId<DynamicType>
Available on crate feature arbitrary
only.
impl<'a> Arbitrary<'a> for TypeSafeId<DynamicType>
Available on crate feature
arbitrary
only.source§fn arbitrary(u: &mut Unstructured<'a>) -> Result<Self>
fn arbitrary(u: &mut Unstructured<'a>) -> Result<Self>
Generate an arbitrary value of
Self
from the given unstructured data. Read moresource§fn arbitrary_take_rest(u: Unstructured<'a>) -> Result<Self, Error>
fn arbitrary_take_rest(u: Unstructured<'a>) -> Result<Self, Error>
Generate an arbitrary value of
Self
from the entirety of the given
unstructured data. Read moresource§impl<'a, T: StaticType> Arbitrary<'a> for TypeSafeId<T>
Available on crate feature arbitrary
only.
impl<'a, T: StaticType> Arbitrary<'a> for TypeSafeId<T>
Available on crate feature
arbitrary
only.source§fn arbitrary(u: &mut Unstructured<'a>) -> Result<Self>
fn arbitrary(u: &mut Unstructured<'a>) -> Result<Self>
Generate an arbitrary value of
Self
from the given unstructured data. Read moresource§fn arbitrary_take_rest(u: Unstructured<'a>) -> Result<Self, Error>
fn arbitrary_take_rest(u: Unstructured<'a>) -> Result<Self, Error>
Generate an arbitrary value of
Self
from the entirety of the given
unstructured data. Read moresource§impl<T: Clone> Clone for TypeSafeId<T>
impl<T: Clone> Clone for TypeSafeId<T>
source§fn clone(&self) -> TypeSafeId<T>
fn clone(&self) -> TypeSafeId<T>
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl<T: Type> Debug for TypeSafeId<T>
impl<T: Type> Debug for TypeSafeId<T>
source§impl<'de> Deserialize<'de> for TypeSafeId<DynamicType>
Available on crate feature serde
only.
impl<'de> Deserialize<'de> for TypeSafeId<DynamicType>
Available on crate feature
serde
only.source§fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>where
D: Deserializer<'de>,
fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>where
D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl<'de, T: StaticType> Deserialize<'de> for TypeSafeId<T>
Available on crate feature serde
only.
impl<'de, T: StaticType> Deserialize<'de> for TypeSafeId<T>
Available on crate feature
serde
only.source§fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>where
D: Deserializer<'de>,
fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>where
D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl<T: Type> Display for TypeSafeId<T>
impl<T: Type> Display for TypeSafeId<T>
source§impl<T: Type> FromStr for TypeSafeId<T>
impl<T: Type> FromStr for TypeSafeId<T>
source§impl<T: Type> Hash for TypeSafeId<T>
impl<T: Type> Hash for TypeSafeId<T>
source§impl<T: Ord> Ord for TypeSafeId<T>
impl<T: Ord> Ord for TypeSafeId<T>
source§fn cmp(&self, other: &TypeSafeId<T>) -> Ordering
fn cmp(&self, other: &TypeSafeId<T>) -> Ordering
1.21.0 · source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the maximum of two values. Read more
source§impl<T: PartialEq> PartialEq for TypeSafeId<T>
impl<T: PartialEq> PartialEq for TypeSafeId<T>
source§fn eq(&self, other: &TypeSafeId<T>) -> bool
fn eq(&self, other: &TypeSafeId<T>) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl<T: PartialOrd> PartialOrd for TypeSafeId<T>
impl<T: PartialOrd> PartialOrd for TypeSafeId<T>
source§fn partial_cmp(&self, other: &TypeSafeId<T>) -> Option<Ordering>
fn partial_cmp(&self, other: &TypeSafeId<T>) -> Option<Ordering>
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moresource§impl<T: Type> Serialize for TypeSafeId<T>
Available on crate feature serde
only.
impl<T: Type> Serialize for TypeSafeId<T>
Available on crate feature
serde
only.impl<T: Copy> Copy for TypeSafeId<T>
impl<T: Eq> Eq for TypeSafeId<T>
impl<T> StructuralPartialEq for TypeSafeId<T>
Auto Trait Implementations§
impl<T> Freeze for TypeSafeId<T>where
T: Freeze,
impl<T> RefUnwindSafe for TypeSafeId<T>where
T: RefUnwindSafe,
impl<T> Send for TypeSafeId<T>where
T: Send,
impl<T> Sync for TypeSafeId<T>where
T: Sync,
impl<T> Unpin for TypeSafeId<T>where
T: Unpin,
impl<T> UnwindSafe for TypeSafeId<T>where
T: UnwindSafe,
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more