hexga_core 0.0.11-beta.48

Basic set of functionalities common to all hexga crate
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
95
96
97
98
99


/// A trait for borrowing a stable, read-only view of a container.
///
/// The view allows access to elements **without taking ownership** and
/// **without permitting mutation, insertion, or deletion**.
///
/// # Examples
///
/// ```rust
/// use hexga_core::prelude::*;
///
/// let vec = vec![1, 2, 3];
/// let view = vec.view(); // returns &[i32]
/// assert_eq!(view[0], 1);
///
/// let arr = [10, 20, 30];
/// let view = arr.view(); // returns &[i32]
/// assert_eq!(view[2], 30);
/// ```
pub trait View
{
    type View<'a>: View where Self: 'a;
    fn as_view<'a>(&'a self) -> Self::View<'a>;
}

impl<T> View for [T] {
    type View<'a> = &'a [T] where Self: 'a;
    fn as_view<'a>(&'a self) -> Self::View<'a> { self }
}

impl<T> View for &[T] {
    type View<'a> = &'a [T] where Self: 'a;
    fn as_view<'a>(&'a self) -> Self::View<'a> { self }
}

impl<T> View for &mut [T] {
    type View<'a> = &'a [T] where Self: 'a;
    fn as_view<'a>(&'a self) -> Self::View<'a> { self }
}

impl<T> View for Vec<T> {
    type View<'a> = &'a [T] where Self: 'a;
    fn as_view<'a>(&'a self) -> Self::View<'a> { self }
}

impl<T, const N: usize> View for [T; N] {
    type View<'a> = &'a [T] where Self: 'a;
    fn as_view<'a>(&'a self) -> Self::View<'a> { self }
}

impl<T: View> View for &T {
    type View<'a> = T::View<'a> where Self: 'a;
    fn as_view<'a>(&'a self) -> Self::View<'a> { (*self).as_view() }
}

impl<T: View> View for &mut T {
    type View<'a> = T::View<'a> where Self: 'a;
    fn as_view<'a>(&'a self) -> Self::View<'a> { (**self).as_view() }
}
/*
impl<'s,T> View<'s> for [T] where Self: 's
{
    type View<'v> = &'v [T] where Self: 'v;
    fn as_view(&'s self) -> Self::View<'s> { self }
}
impl<'s,T> View<'s> for &'s[T] where Self: 's
{
    type View<'v> = &'v [T] where Self: 'v;
    fn as_view(&'s self) -> Self::View<'s> { self }
}
impl<'s,T> View<'s> for &'s mut [T] where Self: 's
{
    type View<'v> = &'v [T] where Self: 'v;
    fn as_view(&'s self) -> Self::View<'s> { self }
}
impl<'s,T> View<'s> for Vec<T> where Self: 's
{
    type View<'v> = &'v [T] where Self: 'v;
    fn as_view(&'s self) -> Self::View<'s> { self }
}
impl<'s,T,const N:usize> View<'s> for [T;N] where Self: 's
{
    type View<'v> = &'v [T] where Self: 'v;
    fn as_view(&'s self) -> Self::View<'s> { self }
}



impl<'s,T> View<'s> for &T where Self: 's, T: View<'s>
{
    type View<'v> = T::View<'v> where Self: 'v;
    fn as_view(&'s self) -> Self::View<'s> { (*self).as_view() }
}
impl<'s,T> View<'s> for &mut T where Self: 's, T: View<'s>
{
    type View<'v> = T::View<'v> where Self: 'v;
    fn as_view(&'s self) -> Self::View<'s> { (**self).as_view() }
}
*/