reflect_tools 0.8.0

Collection of mechanisms for reflection.
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
100
101
102
103
104
105
106
107
108
109
110
111

//!
//! Implement fields for hash map.
//!

use crate :: *;
use std ::borrow ::Cow;
use collection_tools ::HashMap;

impl< K, V, Borrowed > Fields< K, &'_ Borrowed > for HashMap< K, V >
where
  K: core ::hash ::Hash + core ::cmp ::Eq,
  Borrowed: std ::borrow ::ToOwned + 'static + ?Sized,
  V: std ::borrow ::Borrow< Borrowed >,
{

  type Key< 'k > = &'k K
  where Self: 'k, K: 'k;

  type Val< 'v > = &'v Borrowed
  where Self: 'v, V: 'v;

  fn fields< 's >( &'s self ) -> impl IteratorTrait< Item = ( Self ::Key< 's >, Self ::Val< 's > ) >
  {
  self.iter().map( move | ( key, val ) | ( key, val.borrow() ) )
 }

}

impl< K, V, Borrowed > Fields< K, Option< Cow< '_, Borrowed > > > for HashMap< K, V >
where
  K: core ::hash ::Hash + core ::cmp ::Eq,
  Borrowed: std ::borrow ::ToOwned + 'static + ?Sized,
  V: std ::borrow ::Borrow< Borrowed >,
{

  type Key< 'k > = &'k K
  where Self: 'k, K: 'k;

  type Val< 'v > = Option< Cow< 'v, Borrowed > >
  where Self: 'v, V: 'v;

  fn fields< 's >( &'s self ) -> impl IteratorTrait< Item = ( Self ::Key< 's >, Self ::Val< 's > ) >
  {
  self.iter().map( move | ( key, val ) | ( key, Some( Cow ::Borrowed( val.borrow() ) ) ) )
 }

}

impl< K, V, Borrowed, Marker > Fields< K, OptionalCow< '_, Borrowed, Marker > > for HashMap< K, V >
where
  K: core ::hash ::Hash + core ::cmp ::Eq,
  Borrowed: std ::borrow ::ToOwned + 'static + ?Sized,
  V: std ::borrow ::Borrow< Borrowed >,
  Marker: Clone + Copy + 'static,
{

  type Key< 'k > = &'k K
  where Self: 'k, K: 'k;

  type Val< 'v > = OptionalCow< 'v, Borrowed, Marker >
  where Self: 'v, V: 'v;

  fn fields< 's >( &'s self ) -> impl IteratorTrait< Item = ( Self ::Key< 's >, Self ::Val< 's > ) >
  {
  self.iter().map( move | ( key, val ) | ( key, OptionalCow ::from( val.borrow() ) ) )
 }

}

// Implementation for HashMap< String, V > to be queried with &str keys
impl< V, Borrowed > Fields< &'_ str, Option< Cow< '_, Borrowed > > > for HashMap< String, V >
where
  V: std ::borrow ::Borrow< Borrowed >,
  Borrowed: std ::borrow ::ToOwned + 'static + ?Sized,
{

  type Key< 'k > = &'k str
  where Self: 'k;

  type Val< 'v > = Option< Cow< 'v, Borrowed > >
  where Self: 'v, V: 'v;

  fn fields< 's >( &'s self ) -> impl IteratorTrait< Item = ( Self ::Key< 's >, Self ::Val< 's > ) >
  {
  self.iter().map( move | ( key, val ) | ( key.as_str(), Some( Cow ::Borrowed( val.borrow() ) ) ) )
 }

}

// impl< K, V, Marker > Fields< K, OptionalCow< '_, V, Marker > > for HashMap< K, V >
// where
//   K: core ::hash ::Hash + core ::cmp ::Eq,
//   Marker: Clone + Copy + 'static,
//   V: std ::borrow ::ToOwned,
// {
//
//   type Key< 'k > = &'k K
//   where Self: 'k, K: 'k;
//
//   type Val< 'v > = OptionalCow< 'v, V, Marker >
//   where Self: 'v, V: 'v;
//
//   fn fields< 's >( &'s self ) -> impl IteratorTrait< Item = ( Self ::Key< 's >, Self ::Val< 's > ) >
//   {
//     self.iter().map( move | ( key, val ) : ( _, &V ) | -> ( &K, OptionalCow< '_, V, Marker > )
//     {
//       ( key, OptionalCow ::from( val ) )
// })
// }
//
// }