intid-core 0.3.9

/// Defines a new type [`IntegerIdCounter`],
/// which wraps another [`IntegerIdCounter`]
///
/// This wraps the similar [`define_newtype_id!`] macro,
/// so it also derives [`IntegerId`], [`Copy`], [`Clone`], [`PartialEq`], [`Eq`], [`PartialOrd`], [`Ord`], [`Hash`], and [`Debug`].
///
/// This is more convenient than using `#[derive(IntegerId, IntegerIdCounter)]`,
/// because it also derives the secondary traits.
/// In addition, it reduces build time dependencies by avoiding procedural macros.
///
/// [`IntegerIdCounter`]: crate::IntegerIdCounter
/// [`IntegerId`]: crate::IntegerId
/// [`define_newtype_id!`]: crate::define_newtype_id
/// [`Hash`]: core::hash::Hash
/// [`Debug`]: core::fmt::Debug
#[macro_export]
macro_rules! define_newtype_counter {
    (
        $(#[$ty_attr:meta])*
        $vis:vis struct $name:ident($(#[$field_attr:meta])* $inner_vis:vis $inner:ty);
    ) => {
        $crate::define_newtype_id! {
            $(#[$ty_attr])*
            $vis struct $name($(#[$field_attr])* $inner_vis $inner);
        }
        impl $crate::IntegerIdContiguous for $name {}
        impl $crate::IntegerIdCounter for $name {
            const START: Self = $name(<$inner as $crate::IntegerIdCounter>::START);
            const START_INT: Self::Int = <$inner as $crate::IntegerIdCounter>::START_INT;
        }
    };
}

/// Defines a newtype [`IntegerId`], which wraps another [`IntegerId`].
///
/// Automatically derives implementations of
///  [`Copy`], [`Clone`], [`PartialEq`], [`Eq`], [`PartialOrd`], [`Ord`], [`Hash`], and [`Debug`].
/// These traits are required for to implement [`crate::IntegerId`].
///
/// This is more convenient than using `#[derive(IntegerId)]`,
/// because it also derives the necessary secondary traits.
/// In addition, it reduces build time dependencies by avoiding procedural macros.
///
/// See the similar [`define_newtype_counter!`] if you also wish to derive [`IntegerIdCounter`]
///
/// [`IntegerIdCounter`]: crate::IntegerIdCounter
/// [`IntegerId`]: crate::IntegerId
/// [`define_newtype_id!`]: crate::define_newtype_id
/// [`Hash`]: core::hash::Hash
/// [`Debug`]: core::fmt::Debug
#[macro_export]
macro_rules! define_newtype_id {
    (
        $(#[$ty_attr:meta])*
        $vis:vis struct $name:ident($(#[$field_attr:meta])* $inner_vis:vis $inner:ty);
    ) => {
        $(#[$ty_attr])*
        #[derive(Copy, Clone, PartialEq, Eq, PartialOrd, Ord, Hash, Debug)]
        #[repr(transparent)]
        $vis struct $name($(#[$field_attr])* $inner_vis $inner);
        impl $crate::IntegerId for $name {
            $crate::impl_newtype_id_body!(for $name($inner));
        }
    };
}

/// Implements the body of the [`IntegerId`](crate::IntegerId) trait for a newtype struct.
///
/// This is similar [`define_newtype_id!`],
/// but you have to define the type yourself,
/// declare the `impl IntegerID for `}the
/// and derive/implement the `Copy`, `Eq`, etc. traits.
///
/// The reason this only implements the body of the trait
/// is to avoid having to parse generic parameters.
///
/// # Examples
/// ```
/// # use intid_core::{IntegerId, impl_newtype_id_body};
///
/// #[derive(Copy, Clone, Debug, Eq, PartialEq, PartialOrd, Ord)]
/// struct Example(u32);
/// impl IntegerId for Example {
///     impl_newtype_id_body!(for Example(u32));
/// }
/// ```
#[macro_export]
macro_rules! impl_newtype_id_body {
    (for $name:ident($inner:ty)) => {
        type Int = <$inner as $crate::IntegerId>::Int;
        const MIN_ID: Option<Self> = match <$inner as $crate::IntegerId>::MIN_ID {
            Some(min) => Some($name(min)),
            None => None,
        };
        const MAX_ID: Option<Self> = match <$inner as $crate::IntegerId>::MAX_ID {
            Some(max) => Some($name(max)),
            None => None,
        };
        const MIN_ID_INT: Option<Self::Int> = <$inner as $crate::IntegerId>::MIN_ID_INT;
        const MAX_ID_INT: Option<Self::Int> = <$inner as $crate::IntegerId>::MAX_ID_INT;
        const TRUSTED_RANGE: Option<$crate::trusted::TrustedRangeToken<Self>> = {
            // SAFETY: We simply delegate, so we are safe if $inner is
            unsafe { $crate::trusted::TrustedRangeToken::assume_valid_if::<$inner>() }
        };
        #[inline]
        fn from_int(id: Self::Int) -> Self {
            $name(<$inner as $crate::IntegerId>::from_int(id))
        }
        #[inline]
        fn from_int_checked(id: Self::Int) -> Option<Self> {
            Some($name(<$inner as $crate::IntegerId>::from_int_checked(id)?))
        }
        #[inline]
        unsafe fn from_int_unchecked(id: Self::Int) -> Self {
            $name({
                // SAFETY: Guaranteed by the caller
                unsafe { <$inner as $crate::IntegerId>::from_int_unchecked(id) }
            })
        }
        #[inline]
        fn to_int(self) -> Self::Int {
            $crate::IntegerId::to_int(self.0)
        }
    };
}