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
31
32
33

mod append;
mod enumerate;
mod filter;
mod index;
mod length;
mod map;
mod pop;
mod remove;
mod replace;
mod array;
mod reverse;

pub use append::*;
pub use enumerate::*;
pub use filter::*;
pub use index::*;
pub use length::*;
pub use map::*;
pub use pop::*;
pub use remove::*;
pub use replace::*;
pub use array::*;
pub use reverse::*;

use crate::all::*;

pub trait List {}

pub struct Cons<H, T>(std::marker::PhantomData<(H, T)>);
pub struct Nil;

impl<H, T> List for Cons<H, T> {}
impl List for Nil {}