qryxip / cargo-expand-mods Goto Github PK

#[path = "../ｎｏｎ－ａｓｃｉｉ/empty.rs"] /* iiiiiiiiii */ mod empty;

// src/znz/constant.rs

//! Represents _ℤ/nℤ_ where _n_ is a **constant value**.

use crate::pseudo_num_traits::PrimInt;
use crate::znz::implementation;

use std::marker::PhantomData;
use std::ops::{Add, Deref};

#[macro_export]
macro_rules! decl_znz(($name:ident = Znz<$ty:ty, $modulus:literal>) => {
    type $name = crate::znz::constant::Znz<$ty, __Modulus>;

    enum __Modulus {}

    impl crate::znz::constant::PseudoConst for __Modulus {
        type Value = $ty;
        const VALUE: $ty = $modulus;
    }
});

pub(crate) trait PseudoConst {
    type Value: Copy;
    const VALUE: Self::Value;
}

/// Represents _ℤ/nℤ_ where _n_ is a **constant value**.
pub(crate) struct Znz<R, M> {
    repr: R,
    phantom: PhantomData<fn() -> M>,
}

impl<R: PrimInt, M: PseudoConst<Value = R>> Znz<R, M> {
    pub(crate) fn new(val: R) -> Self {
        Self {
            repr: val % M::VALUE,
            phantom: PhantomData,
        }
    }
}

impl<R, M> Deref for Znz<R, M> {
    type Target = R;

    fn deref(&self) -> &R {
        &self.repr
    }
}

impl<R: PrimInt, M: PseudoConst<Value = R>> Add for Znz<R, M> {
    type Output = Self;

    fn add(self, rhs: Self) -> Self {
        Self::new(implementation::mod_add(*self, *rhs, M::VALUE))
    }
}

#![doc = " Represents _\u{2124}/n\u{2124}_ where _n_ is a **constant value**."]
use crate::pseudo_num_traits::PrimInt;
use crate::znz::implementation;
use std::marker::PhantomData;
use std::ops::{Add, Deref};
#[macro_export]
macro_rules ! decl_znz ( ( $ name : ident = Znz <$ ty : ty , $ modulus : literal > ) => { type $ name = crate :: znz :: constant :: Znz <$ ty , __Modulus >; enum __Modulus { } impl crate :: znz :: constant :: PseudoConst for __Modulus { type Value = $ ty ; const VALUE : $ ty = $ modulus ; } } ) ;
pub(crate) trait PseudoConst {
    type Value: Copy;
    const VALUE: Self::Value;
}
#[doc = " Represents _\u{2124}/n\u{2124}_ where _n_ is a **constant value**."]
pub(crate) struct Znz<R, M> {
    repr: R,
    phantom: PhantomData<fn() -> M>,
}
impl<R: PrimInt, M: PseudoConst<Value = R>> Znz<R, M> {
    pub(crate) fn new(val: R) -> Self {
        Self {
            repr: val % M::VALUE,
            phantom: PhantomData,
        }
    }
}
impl<R, M> Deref for Znz<R, M> {
    type Target = R;
    fn deref(&self) -> &R {
        &self.repr
    }
}
impl<R: PrimInt, M: PseudoConst<Value = R>> Add for Znz<R, M> {
    type Output = Self;
    fn add(self, rhs: Self) -> Self {
        Self::new(implementation::mod_add(*self, *rhs, M::VALUE))
    }
}