cantrip 0.3.2

Practical extension methods for standard Rust collections
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

use std::panic::UnwindSafe;

use cantrip::{CollectionInto, Transform, List, Map, SequenceInto, Collection, TransformVec};

use crate::extensions::collection_into::test_collection_into;
use crate::extensions::transform::test_transform;
use crate::extensions::list::test_list;
use crate::extensions::map::test_map;
use crate::extensions::sequence::test_sequence;
use crate::extensions::sequence_into::test_sequence_into;
use crate::extensions::slice::test_slice;
use crate::extensions::collection::test_collection;
use crate::extensions::transform_into::test_transform_into;
use crate::extensions::util::{TestCollectible, TestCollection, TestMap, TestSequence};
use crate::extensions::transform_vec::test_transform_vec;
use crate::extensions::transform_vec_into::test_transform_vec_into;

pub(crate) fn test_set_traits<'a, C, D, G>(a: &C, b: &C, d: &D, g: &G, e: &C)
where
  C: Collection<i64> + Transform<i64> + TransformVec<i64> + TestCollectible<'a, i64>,
  <C as CollectionInto<i64>>::This<i64>: TestCollection<i64>,
  D: TestCollectible<'a, Vec<i64>>,
  D::This<i64>: TestCollection<i64>,
  G: TestCollectible<'a, (i64, i64)>,
{
  test_collection(false, a, b, e);
  test_collection_into(false, a, b, d, e);
  test_transform(false, a, e);
  test_transform_into(false, a, g, e);
  test_transform_vec(false, a, e);
  test_transform_vec_into(false, a.clone().into_iter(), e.clone().into_iter());
}

pub(crate) fn test_slice_traits(a: &[i64], b: &[i64], e: &[i64]) {
  test_collection(true, a, b, e);
  test_sequence(a, b, e);
  test_slice(a, b, e);
}

pub(crate) fn test_sequence_traits<'a, C, D, G, I>(a: &C, b: &C, c: &C, d: &D, g: &G, e: &C)
where
  I: DoubleEndedIterator<Item = i64> + ExactSizeIterator<Item = i64>,
  C: TestSequence<'a, i64, I> + TestCollectible<'a, i64> + UnwindSafe,
  <C as CollectionInto<i64>>::This<i64>: TestCollection<i64>,
  <C as SequenceInto<i64>>::This<i64>: TestCollection<i64>,
  <C as SequenceInto<i64>>::This<(i64, i64)>: TestCollection<(i64, i64)>,
  <C as SequenceInto<i64>>::This<(usize, i64)>: TestCollection<(usize, i64)>,
  D: TestCollectible<'a, Vec<i64>>,
  D::This<i64>: TestCollection<i64>,
  G: SequenceInto<(i64, i64)> + CollectionInto<(i64, i64)> + TestCollectible<'a, (i64, i64)>,
  <G as SequenceInto<(i64, i64)>>::This<i64>: TestCollection<i64>,
  for<'c> &'c C: UnwindSafe,
{
  test_collection(true, a, b, e);
  test_collection_into(true, a, b, d, e);
  test_sequence(a, b, e);
  test_sequence_into(a, b, c, g, e);
  test_transform_into(false, a, g, e);
  test_transform_vec_into(true, a.clone().into_iter(), e.clone().into_iter());
}

pub(crate) fn test_list_traits<'a, C, D, G, I>(a: &C, b: &C, c: &C, d: &D, g: &G, e: &C)
where
  I: DoubleEndedIterator<Item = i64> + ExactSizeIterator<Item = i64>,
  C: List<i64> + Transform<i64> + TransformVec<i64> + TestSequence<'a, i64, I> + TestCollectible<'a, i64> + UnwindSafe,
  <C as CollectionInto<i64>>::This<i64>: TestCollection<i64>,
  <C as SequenceInto<i64>>::This<i64>: TestCollection<i64>,
  <C as SequenceInto<i64>>::This<(i64, i64)>: TestCollection<(i64, i64)>,
  <C as SequenceInto<i64>>::This<(usize, i64)>: TestCollection<(usize, i64)>,
  D: TestCollectible<'a, Vec<i64>>,
  D::This<i64>: TestCollection<i64>,
  G: SequenceInto<(i64, i64)> + CollectionInto<(i64, i64)> + TestCollectible<'a, (i64, i64)>,
  <G as SequenceInto<(i64, i64)>>::This<i64>: TestCollection<i64>,
  for<'c> &'c C: UnwindSafe,
{
  test_collection(true, a, b, e);
  test_collection_into(true, a, b, d, e);
  test_sequence(a, b, e);
  test_sequence_into(a, b, c, g, e);
  test_list(a, e);
  test_transform(true, a, e);
  test_transform_into(false, a, g, e);
  test_transform_vec(true, a, e);
  test_transform_vec_into(true, a.clone().into_iter(), e.clone().into_iter());
}

pub(crate) fn test_map_traits<'a, C>(a: &C, b: &C, e: &C)
where
  C: TestMap<'a, i64, i64>,
  <C as Map<i64, i64>>::This<i64, i64>: TestCollection<(i64, i64)>,
{
  test_map(a, b, e);
}