restd 0.3.0

A re-implementation of various std features
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

use super::{Write, Format, Result};

pub trait Foo {
    type IsModifier: Bool;
    type Style = u32;
}

pub trait Bool: Sealed {}

pub enum True {}
pub enum False {}

impl Sealed for True {}
impl Sealed for False {}
impl Bool for True {}
impl Bool for False {}

pub trait Style: Foo<IsModifier = False> {}
impl<S: Foo<IsModifier = False>> Style for S {}

pub trait Modifier: Foo<IsModifier = True> {
    type Inner: Foo;

    fn apply<T>(&self, f: &mut dyn Write, data: &T) -> Result
    where
        T: Format<Self::Inner> + ?Sized;
}

use private::Sealed;
mod private {
    pub trait Sealed {}
}