core: Add a Zero and One trait to num

I believe these are the last traits we need in order
to start grouping our numerical types into mathematical
groups and rings.

1 files changed, 8 insertions, 0 deletions

diff --git a/src/libcore/uint-template.rs b/src/libcore/uint-template.rs
index 1a9bca92d1f..80b393a813c 100644
--- a/src/libcore/uint-template.rs
+++ b/src/libcore/uint-template.rs
@@ -85,6 +85,14 @@ impl T: num::Num {
     static pure fn from_int(n: int) -> T   { return n as T;      }
 }
 
+impl T: num::Zero {
+    static pure fn zero() -> T { 0 }
+}
+
+impl T: num::One {
+    static pure fn one() -> T { 1 }
+}
+
 impl T: iter::Times {
     #[inline(always)]
     #[doc = "A convenience form for basic iteration. Given a variable `x` \