gcollections 1.6.0

Generic traits over Rust collections library.
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

// Copyright 2016 Pierre Talbot (IRCAM)

// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.

use num_traits::{One, Zero, Unsigned};
use num_integer::{Integer};

pub trait Cardinality
{
  type Size: Unsigned + Integer;
  fn size(&self) -> Self::Size;
}

pub trait IsSingleton
{
  fn is_singleton(&self) -> bool;
}

pub trait IsEmpty
{
  fn is_empty(&self) -> bool;
}

/// For an explanation on the macros, see `lib.rs`.

macro_rules! is_singleton_impl
{
  ( $( $keyword:tt ),*) =>
  {
    impl<R> IsSingleton for R where
     R: Cardinality
    {
      $($keyword)* fn is_singleton(&self) -> bool {
        self.size() == <<Self as Cardinality>::Size as One>::one()
      }
    }
  }
}

#[cfg(feature = "nightly")]
is_singleton_impl!(default);
#[cfg(not(feature = "nightly"))]
is_singleton_impl!();

macro_rules! is_empty_impl
{
  ( $( $keyword:tt ),*) =>
  {
    impl <R> IsEmpty for R where
     R: Cardinality
    {
      $($keyword)* fn is_empty(&self) -> bool {
        self.size().is_zero()
      }
    }
  }
}

#[cfg(feature = "nightly")]
is_empty_impl!(default);
#[cfg(not(feature = "nightly"))]
is_empty_impl!();