penum 0.1.30

Make enum conform to a given pattern
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

#![allow(dead_code)]
extern crate penum;
use penum::penum;
use std::ops::Add;

pub trait AbcTrait {
    fn a(&self) -> Option<i32>;
    fn b(&self) -> &Option<i32>;
    fn c(&self) -> (Option<i32>, &Option<&String>);
    fn d(&self) -> &String;
}

impl AbcTrait for String {
    fn a(&self) -> Option<i32> {
        Some(10)
    }

    fn b(&self) -> &Option<i32> {
        &Some(20)
    }

    fn c(&self) -> (Option<i32>, &Option<&String>) {
        (Some(30), &None)
    }

    fn d(&self) -> &String {
        self
    }
}

#[penum( (T) where T: ^AsRef<str> )]
enum Foo {
    Bar(String),
}

#[penum( unit | (T, ..) | () where T: ^AbcTrait )]
enum Foo1 {
    Ber(String),
    Bar(String),
    Bor,
    Bur(),
}

#[penum((T) where T:  ^Add<i32, Output = i32>)]
enum Foo2 {
    Bar(i32),
    Bor(i32),
}

fn main() {
    let foot = Foo::Bar("Word".to_owned());
    assert_eq!("word", foot.as_ref());

    let foot1 = Foo1::Bar("Word".to_owned());
    assert_eq!(Some(10), foot1.a());
    assert_eq!(&Some(20), foot1.b());
    assert_eq!((Some(30), &None), foot1.c());
    assert_eq!(foot1.d(), foot1.d());

    let foot2 = Foo2::Bar(100);
    assert_eq!(300, foot2 + 200);
}