tstr 0.3.1

type-level strings on stable
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

use crate::{___, __TStrArgBinary, TStrArg};

use typewit::const_marker::Str;

impl<const S: &'static str> TStrArg for crate::___<S> {
    #[doc(hidden)]
    const __LENGTH: usize = S.len();

    #[doc(hidden)]
    const __BYTES: &[u8] = S.as_bytes();

    #[doc(hidden)]
    const __STR: &str = S;

    #[doc(hidden)]
    type __WithRhs<Rhs: TStrArg> = <Rhs as TStrArg>::__WithLhsArgs<S>;

    type __WithLhsArgs<const LEFT_S: &'static str> = (crate::___<LEFT_S>, crate::___<S>);
}

/// private implementation detail
#[doc(hidden)]
pub trait __TStrRepr {}

impl<const S: &'static str> __TStrRepr for ___<S> {}

////////////////////////////////////////////////////////////////////////////////

impl<const S1: &'static str, const S2: &'static str> __TStrArgBinary
    for (crate::___<S1>, crate::___<S2>)
{
    type Lhs = crate::___<S1>;

    type Rhs = crate::___<S2>;

    #[doc(hidden)]
    const __EQ: bool = crate::utils::str_eq(S1, S2);

    #[doc(hidden)]
    const __CMP: core::cmp::Ordering = crate::utils::str_cmp(S1, S2);

    #[doc(hidden)]
    const __TYPE_CMP: typewit::TypeCmp<crate::TStr<Self::Lhs>, crate::TStr<Self::Rhs>> =
        Str::<S1>.equals(Str::<S2>).map(WithStrFn);
}

typewit::inj_type_fn! {
    struct WithStrFn;

    impl<const S: &'static str> Str<S> => crate::TStr<crate::___<S>>
}