1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73
//! This crate help you check type equality at compile time. //! //! Usage: //! //! ```rust //! use compile_type_eq::*; //! //! assert_types_eq::<i32, i32>(); //! assert_types_not_eq::<i32, u32, _>(); //! ``` //! //! ```compile_fail //! use compile_type_eq::*; //! //! assert_types_eq::<i32, u32>(); //! assert_types_not_eq::<i32, i32, _>(); //! ``` //! //! For more complicated examples see [examples folder](https://github.com/p0lunin/compile_type_eq/tree/master/examples) pub use structs::{CompileEqResult, TypesEq}; pub mod how_it_works; mod structs; use structs::TypesNotEq; /// Trait for compile-time equality checking pub trait CompileEq<U, Result: CompileEqResult> {} impl<T> CompileEq<T, TypesEq> for T {} impl<T, U> CompileEq<U, TypesNotEq> for T {} /// Checks that the types are eq. /// /// Examples: /// ```rust /// use compile_type_eq::*; /// /// assert_types_eq::<i32, i32>(); /// ``` /// /// ```compile_fail /// use compile_type_eq::*; /// /// assert_types_eq::<i32, u32>(); /// ``` pub fn assert_types_eq<T, U>() where T: CompileEq<U, TypesEq>, { } /// Checks that the types are not eq. /// /// Examples: /// ```rust /// use compile_type_eq::*; /// /// assert_types_not_eq::<i32, u32, _>(); /// ``` /// /// ```compile_fail /// use compile_type_eq::*; /// /// assert_types_not_eq::<i32, i32, _>(); /// ``` pub fn assert_types_not_eq<T, U, BecauseTypesMustBeNotEq>() where T: CompileEq<U, BecauseTypesMustBeNotEq>, BecauseTypesMustBeNotEq: CompileEqResult, { }