tcrts 0.1.0

Turing complete rust type system
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

/// Type level function trait
///
/// # Example
/// A type level function to square a number
/// ```rust
/// use tcrts::all::*;
/// 
/// struct SquareFn;
/// impl <N: Num + PeanoMul<N>> TypeFn<N> for SquareFn {
///     type Output = <N as PeanoMul<N>>::Output;
/// }
///
/// // usage
/// type _2 = Next<Next<Zero>>;
/// type _4 = <SquareFn as TypeFn<_2>>::Output;
/// assert_eq!(_4::VALUE, 4);
/// ```
pub trait TypeFn<Input> {
    type Output;
}