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

#![allow(unused)]
#![deny(unused_imports)]

#[cfg(feature = "linear")]
pub use algebra::linear;

#[cfg(feature = "specialized")]
pub use specialized::algebra::vec::*;

pub mod algebra;
pub mod group_theory;
pub mod number_theory;
pub mod numeric;
pub mod specialized;

pub mod impls;
#[macro_use]
pub mod util;
// this allows syntax like:
// impl<T, const N: usize> Vector<T, { N }> where Assert::<N > 3>: IsTrue { }
// TODO: wait for 76560 => restrict ops impls so manual impls can also use ops
// enum Assert<const Check: bool> {}
//
// trait IsTrue {}
//
// impl IsTrue for Assert<true> {}