optimath 0.3.1

Linear Algebra using const generics for no_std and specialization to enable SIMD.
Documentation 
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

#![allow(dead_code)]
use core::marker::PhantomData;

enum One<const N: usize> {}

// would love for this to be an enum, rust issue #32739
struct Multi<T: Dimension, const N: usize> {
	marker: PhantomData<T>,
}

trait Dimension {
	const MUL: usize;
	const DIMS: usize;
}

impl<const N: usize> Dimension for One<N> {
	const MUL: usize = N;
	const DIMS: usize = 1;
}

impl<T: Dimension, const N: usize> Dimension for Multi<T, N> {
	const MUL: usize = N * T::MUL;
	const DIMS: usize = T::DIMS + 1;
}

struct Mathable<T, Dim: Dimension> {
	// cool, so ice fixed, but by removing functionality.
	// I do indeed want to depend on the generic parameter.
	// that is kind of the point.
	inner: [T; Dim::MUL],
	marker: PhantomData<Dim>,
}