tcrts 0.1.0

Turing complete rust type system
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

use crate::boolean::*;

pub trait Conditional<TrueTy, FalseTy> {
    type Output;
}

impl<TrueTy, FalseTy> Conditional<TrueTy, FalseTy> for True {
    type Output = TrueTy;
}

impl<TrueTy, FalseTy> Conditional<TrueTy, FalseTy> for False {
    type Output = FalseTy;
}