Add IntervalKind marker to avoid selecting StrictShrinkLeft or Right …

…on Option type.
ptal · May 27, 2015 · 69540de · 69540de
1 parent 7d05d4d
commit 69540de
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/src/libinterval/ncollections/mod.rs b/src/libinterval/ncollections/mod.rs
@@ -46,6 +46,8 @@ pub mod btree_set;
 pub mod enum_set;
 pub mod bit_set;
 pub mod ops;
+pub mod option;
+pub mod primitives;
 
 pub use ncollections::hash_set::HashSet;
 pub use ncollections::btree_set::BTreeSet;

diff --git a/src/libinterval/ncollections/ops.rs b/src/libinterval/ncollections/ops.rs
@@ -26,6 +26,10 @@ use std::ops::Deref;
 use num::{One, Zero, Unsigned};
 use num;
 
+// Markers
+
+pub trait IntervalKind {}
+
 // Basic set operations
 
 pub trait Intersection<RHS = Self> {
@@ -186,7 +190,7 @@ pub trait StrictShrinkRight<Bound> {
 
 impl<Bound, R> StrictShrinkLeft<Bound> for R where
   Bound: num::PrimInt,
-  R: ShrinkLeft<Bound> + Empty
+  R: ShrinkLeft<Bound> + Empty + IntervalKind
 {
   fn strict_shrink_left(&self, lb: Bound) -> R {
     if lb == Bound::max_value() {
@@ -199,7 +203,7 @@ impl<Bound, R> StrictShrinkLeft<Bound> for R where
 
 impl<Bound, R> StrictShrinkRight<Bound> for R where
   Bound: num::PrimInt,
-  R: ShrinkRight<Bound> + Empty
+  R: ShrinkRight<Bound> + Empty + IntervalKind
 {
   fn strict_shrink_right(&self, ub: Bound) -> R {
     if ub == Bound::min_value() {