typosaurus 0.2.0

Heterogenous lists and other type-level tomfoolery
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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94

use typenum::{B0, B1};

pub struct True;
pub struct False;

pub trait TruthValue {}
impl TruthValue for True {}
impl TruthValue for False {}

pub trait Or {
    type Out;
}
impl Or for (True, True) {
    type Out = True;
}
impl Or for (True, False) {
    type Out = True;
}
impl Or for (False, True) {
    type Out = True;
}
impl Or for (False, False) {
    type Out = False;
}

pub trait And {
    type Out;
}
impl And for (True, True) {
    type Out = True;
}
impl And for (True, False) {
    type Out = False;
}
impl And for (False, True) {
    type Out = False;
}
impl And for (False, False) {
    type Out = False;
}

pub trait Not {
    type Out;
}
impl Not for True {
    type Out = False;
}
impl Not for False {
    type Out = True;
}

pub trait Bool {
    type Out;
}
impl Bool for B1 {
    type Out = True;
}
impl Bool for B0 {
    type Out = False;
}

pub trait Truthy {}
impl Truthy for True {}

pub trait Falsy {}
impl Falsy for False {}

pub mod monoid {
    use super::*;
    use crate::traits::{monoid::Mempty, semigroup::Semigroup};

    pub struct Either;
    pub struct Both;

    impl<Lhs, Rhs> Semigroup<Lhs, Rhs> for Either
    where
        (Lhs, Rhs): Or,
    {
        type Mappend = <(Lhs, Rhs) as Or>::Out;
    }
    impl Mempty for Either {
        type Out = False;
    }

    impl<Lhs, Rhs> Semigroup<Lhs, Rhs> for Both
    where
        (Lhs, Rhs): And,
    {
        type Mappend = <(Lhs, Rhs) as And>::Out;
    }
    impl Mempty for Both {
        type Out = True;
    }
}