From 8fe0bf3f71f696cb94d43d00b1594e28f4dfe5ba Mon Sep 17 00:00:00 2001
From: Eryn Wells <eryn@erynwells.me>
Date: Sun, 9 Apr 2017 14:09:08 -0700
Subject: [PATCH] Add initial number module implementation

---
 types/src/number.rs | 62 ++++++++++-----------------------------------
 1 file changed, 13 insertions(+), 49 deletions(-)

diff --git a/types/src/number.rs b/types/src/number.rs
index 7af0808..69baf07 100644
--- a/types/src/number.rs
+++ b/types/src/number.rs
@@ -6,55 +6,19 @@
 ///
 /// Scheme numbers are complex, literally.
 
-#[derive(PartialEq, Debug)]
-pub struct Number {
-    pub value: f64
+type Int = i64;
+type Flt = f64;
+
+trait Number {
+    fn is_number(&self) -> bool { true }
+    fn is_complex(&self) -> bool { false }
+    fn is_real(&self) -> bool { false }
+    fn is_rational(&self) -> bool { false }
+    fn is_integer(&self) -> bool { false }
 }
 
-impl Number {
-    pub fn from_int(v: i64) -> Number {
-        Number { value: v as f64 }
-    }
+struct Integer(Int);
+struct Rational(Int, Int);
+struct Real(Flt);
+struct Complex<'a>(&'a Number, &'a Number);
 
-    pub fn from_float(v: f64) -> Number {
-        Number { value: v }
-    }
-}
-
-/*
-pub trait Number {
-    fn new() -> Number;
-    fn from_int(v: i64);
-    fn from_float(v: f64);
-}
-
-pub trait Exact {
-    fn exact() -> bool;
-}
-
-type Integer = i64;
-
-impl Exact for Integer {
-    fn exact() -> bool { true }
-}
-
-#[derive(PartialEq, Debug)]
-pub struct Rational { numer: i64, denom: i64 }
-
-impl Exact for Rational {
-    fn exact() -> bool { true }
-}
-
-type Real = f64;
-
-impl Exact for Real {
-    fn exact() -> bool { false }
-}
-
-#[derive(PartialEq, Debug)]
-pub struct Complex { real: f64, imag: f64 }
-
-impl Exact for Complex {
-    fn exact() -> bool { false }
-}
-*/