type_val 0.1.0

Type-level values.
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

# type_val
This project allows for the creation
of type-level values. Any value can
be type-level as long as it can be
initialized as a constant. All
type-level values implement the
TypeVal trait, and so can be provided
as type parameters.

## TypeVal
A trait implemented by type-level
values. The value of a TypeVal can
be extracted through the `VAL`
associated constant.

## def_type_val
A macro is used to implement the
TypeVal trait. Any number of values
can be initialized with a single
invocation, but every value in a
single invocation must be either
public or private. Attributes to
be applied to items in a block,
including doc comments, should go
above their targets.

#### Example
 
```rust
// Private
def_type_val! {
    type One: i32 = 1;
    #[derive(Clone, Copy)]
    type True: bool = true;
}

// Public
def_type_val! {
    /// Negative one
    pub type NegOne: i32 = -1;
    pub type False: bool = false;
}
```