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
21
22
23
24
25
26
27
28
29
30

use crate::number::*;
use crate::value::ToVal;

/// A trait to represent a boolean value at the type level.
/// This is implemented by the `True` and `False` types
pub trait Boolean {
    type Value: Num;
}

/// A type to represent the boolean value `true` at the type level.
pub struct True;

/// A type to represent the boolean value `false` at the type level.
pub struct False;

impl Boolean for True {
    type Value = Next<Zero>;
}

impl Boolean for False {
    type Value = Zero;
}

impl<B> ToVal for B
where
    B: Boolean,
    B::Value: ToVal,
{
    const VALUE: usize = B::Value::VALUE;
}