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

use super::*;

/// A trait for borrowing a stable, mutable view of a container.
///
/// The view allows access to elements **without taking ownership** and
/// **without permitting insertion or deletion**, but **mutation of existing elements is allowed**.
///
/// # Examples
///
/// ```rust
/// use hexga_core::prelude::*;
///
/// let mut vec = vec![1, 2, 3];
/// let mut view = vec.view_mut(); // returns &mut [i32]
/// view[0] += 10;
/// assert_eq!(vec[0], 11);
/// ```
// The new trait
pub trait ViewMut: View {
    type ViewMut<'a>: ViewMut where Self: 'a;
    fn as_mut_view<'a, 'b>(&'a mut self) -> Self::ViewMut<'b> where 'a: 'b;
}

// Implementations
impl<T> ViewMut for [T] {
    type ViewMut<'a> = &'a mut [T] where Self: 'a;
    fn as_mut_view<'a, 'b>(&'a mut self) -> Self::ViewMut<'b> where 'a: 'b { self }
}

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

impl<T> ViewMut for Vec<T> {
    type ViewMut<'a> = &'a mut [T] where Self: 'a;
    fn as_mut_view<'a, 'b>(&'a mut self) -> Self::ViewMut<'b> where 'a: 'b { self }
}

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

impl<T: ViewMut> ViewMut for &mut T {
    type ViewMut<'a> = T::ViewMut<'a> where Self: 'a;
    fn as_mut_view<'a, 'b>(&'a mut self) -> Self::ViewMut<'b> where 'a: 'b { (*self).as_mut_view() }
}


/*
pub trait ViewMut<'s> : View<'s> where Self: 's
{
    type ViewMut<'v>: ViewMut<'v> where Self: 'v;
    fn as_mut_view(&'s mut self) -> Self::ViewMut<'s>;
}


impl<'s,T> ViewMut<'s> for [T] where Self: 's
{
    type ViewMut<'v> = &'v mut [T] where Self: 'v;
    fn as_mut_view(&'s mut self) -> Self::ViewMut<'s> { self }
}
impl<'s,T> ViewMut<'s> for &'s mut [T] where Self: 's
{
    type ViewMut<'v> = &'v mut [T] where Self: 'v;
    fn as_mut_view(&'s mut self) -> Self::ViewMut<'s> { self }
}
impl<'s,T> ViewMut<'s> for Vec<T> where Self: 's
{
    type ViewMut<'v> = &'v mut [T] where Self: 'v;
    fn as_mut_view(&'s mut self) -> Self::ViewMut<'s> { self }
}
impl<'s,T,const N:usize> ViewMut<'s> for [T;N] where Self: 's
{
    type ViewMut<'v> = &'v mut [T] where Self: 'v;
    fn as_mut_view(&'s mut self) -> Self::ViewMut<'s> { self }
}

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