Create and implement IntConsts and FloatConsts traits

This commit is contained in:
Brendan Zabarauskas 2012-11-14 15:45:01 +10:00
parent 5f8b30d993
commit f22c261b65
3 changed files with 128 additions and 42 deletions

View file

@ -8,9 +8,6 @@ trait NumCast {
static pure fn from<T:NumCast>(n: T) -> self;
pure fn cast<T:NumCast>() -> T;
static pure fn zero() -> self;
static pure fn one() -> self;
pure fn to_u8() -> u8;
pure fn to_u16() -> u16;
pure fn to_u32() -> u32;
@ -35,9 +32,6 @@ pub impl u8: NumCast {
#[inline(always)] static pure fn from<T:NumCast>(n: T) -> u8 { move n.to_u8() }
#[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
#[inline(always)] static pure fn zero() -> u8 { 0u8 }
#[inline(always)] static pure fn one() -> u8 { 1u8 }
#[inline(always)] pure fn to_u8() -> u8 { self }
#[inline(always)] pure fn to_u16() -> u16 { self as u16 }
#[inline(always)] pure fn to_u32() -> u32 { self as u32 }
@ -59,9 +53,6 @@ pub impl u16: NumCast {
#[inline(always)] static pure fn from<T:NumCast>(n: T) -> u16 { move n.to_u16() }
#[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
#[inline(always)] static pure fn zero() -> u16 { 0u16 }
#[inline(always)] static pure fn one() -> u16 { 1u16 }
#[inline(always)] pure fn to_u8() -> u8 { self as u8 }
#[inline(always)] pure fn to_u16() -> u16 { self }
#[inline(always)] pure fn to_u32() -> u32 { self as u32 }
@ -83,9 +74,6 @@ pub impl u32: NumCast {
#[inline(always)] static pure fn from<T:NumCast>(n: T) -> u32 { move n.to_u32() }
#[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
#[inline(always)] static pure fn zero() -> u32 { 0u32 }
#[inline(always)] static pure fn one() -> u32 { 1u32 }
#[inline(always)] pure fn to_u8() -> u8 { self as u8 }
#[inline(always)] pure fn to_u16() -> u16 { self as u16 }
#[inline(always)] pure fn to_u32() -> u32 { self }
@ -107,9 +95,6 @@ pub impl u64: NumCast {
#[inline(always)] static pure fn from<T:NumCast>(n: T) -> u64 { move n.to_u64() }
#[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
#[inline(always)] static pure fn zero() -> u64 { 0u64 }
#[inline(always)] static pure fn one() -> u64 { 1u64 }
#[inline(always)] pure fn to_u8() -> u8 { self as u8 }
#[inline(always)] pure fn to_u16() -> u16 { self as u16 }
#[inline(always)] pure fn to_u32() -> u32 { self as u32 }
@ -131,9 +116,6 @@ pub impl uint: NumCast {
#[inline(always)] static pure fn from<T:NumCast>(n: T) -> uint { move n.to_uint() }
#[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
#[inline(always)] static pure fn zero() -> uint { 0u }
#[inline(always)] static pure fn one() -> uint { 1u }
#[inline(always)] pure fn to_u8() -> u8 { self as u8 }
#[inline(always)] pure fn to_u16() -> u16 { self as u16 }
#[inline(always)] pure fn to_u32() -> u32 { self as u32 }
@ -155,9 +137,6 @@ pub impl i8: NumCast {
#[inline(always)] static pure fn from<T:NumCast>(n: T) -> i8 { move n.to_i8() }
#[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
#[inline(always)] static pure fn zero() -> i8 { 0i8 }
#[inline(always)] static pure fn one() -> i8 { 1i8 }
#[inline(always)] pure fn to_u8() -> u8 { self as u8 }
#[inline(always)] pure fn to_u16() -> u16 { self as u16 }
#[inline(always)] pure fn to_u32() -> u32 { self as u32 }
@ -179,9 +158,6 @@ pub impl i16: NumCast {
#[inline(always)] static pure fn from<T:NumCast>(n: T) -> i16 { move n.to_i16() }
#[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
#[inline(always)] static pure fn zero() -> i16 { 0i16 }
#[inline(always)] static pure fn one() -> i16 { 1i16 }
#[inline(always)] pure fn to_u8() -> u8 { self as u8 }
#[inline(always)] pure fn to_u16() -> u16 { self as u16 }
#[inline(always)] pure fn to_u32() -> u32 { self as u32 }
@ -203,9 +179,6 @@ pub impl i32: NumCast {
#[inline(always)] static pure fn from<T:NumCast>(n: T) -> i32 { move n.to_i32() }
#[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
#[inline(always)] static pure fn zero() -> i32 { 0i32 }
#[inline(always)] static pure fn one() -> i32 { 1i32 }
#[inline(always)] pure fn to_u8() -> u8 { self as u8 }
#[inline(always)] pure fn to_u16() -> u16 { self as u16 }
#[inline(always)] pure fn to_u32() -> u32 { self as u32 }
@ -227,9 +200,6 @@ pub impl i64: NumCast {
#[inline(always)] static pure fn from<T:NumCast>(n: T) -> i64 { move n.to_i64() }
#[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
#[inline(always)] static pure fn zero() -> i64 { 0i64 }
#[inline(always)] static pure fn one() -> i64 { 1i64 }
#[inline(always)] pure fn to_u8() -> u8 { self as u8 }
#[inline(always)] pure fn to_u16() -> u16 { self as u16 }
#[inline(always)] pure fn to_u32() -> u32 { self as u32 }
@ -251,9 +221,6 @@ pub impl int: NumCast {
#[inline(always)] static pure fn from<T:NumCast>(n: T) -> int { move n.to_int() }
#[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
#[inline(always)] static pure fn zero() -> int { 0 }
#[inline(always)] static pure fn one() -> int { 1 }
#[inline(always)] pure fn to_u8() -> u8 { self as u8 }
#[inline(always)] pure fn to_u16() -> u16 { self as u16 }
#[inline(always)] pure fn to_u32() -> u32 { self as u32 }
@ -275,9 +242,6 @@ pub impl f32: NumCast {
#[inline(always)] static pure fn from<T:NumCast>(n: T) -> f32 { move n.to_f32() }
#[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
#[inline(always)] static pure fn zero() -> f32 { 0f32 }
#[inline(always)] static pure fn one() -> f32 { 1f32 }
#[inline(always)] pure fn to_u8() -> u8 { self as u8 }
#[inline(always)] pure fn to_u16() -> u16 { self as u16 }
#[inline(always)] pure fn to_u32() -> u32 { self as u32 }
@ -299,9 +263,6 @@ pub impl f64: NumCast {
#[inline(always)] static pure fn from<T:NumCast>(n: T) -> f64 { move n.to_f64() }
#[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
#[inline(always)] static pure fn zero() -> f64 { 0f64 }
#[inline(always)] static pure fn one() -> f64 { 1f64 }
#[inline(always)] pure fn to_u8() -> u8 { self as u8 }
#[inline(always)] pure fn to_u16() -> u16 { self as u16 }
#[inline(always)] pure fn to_u32() -> u32 { self as u32 }
@ -323,9 +284,6 @@ pub impl float: NumCast {
#[inline(always)] static pure fn from<T:NumCast>(n: T) -> float { move n.to_float() }
#[inline(always)] pure fn cast<T:NumCast>() -> T { move from(self) }
#[inline(always)] static pure fn zero() -> float { 0f }
#[inline(always)] static pure fn one() -> float { 1f }
#[inline(always)] pure fn to_u8() -> u8 { self as u8 }
#[inline(always)] pure fn to_u16() -> u16 { self as u16 }
#[inline(always)] pure fn to_u32() -> u32 { self as u32 }

127
src/common/nconsts.rs Normal file
View file

@ -0,0 +1,127 @@
trait IntConsts {
static pure fn zero() -> self;
static pure fn one() -> self;
}
trait FloatConsts: IntConsts {
static pure fn pi() -> self;
static pure fn frac_pi_2() -> self;
static pure fn frac_pi_4() -> self;
static pure fn frac_1_pi() -> self;
static pure fn frac_2_pi() -> self;
static pure fn frac_2_sqrtpi() -> self;
static pure fn sqrt2() -> self;
static pure fn frac_1_sqrt2() -> self;
static pure fn e() -> self;
static pure fn log2_e() -> self;
static pure fn log10_e() -> self;
static pure fn ln_2() -> self;
static pure fn ln_10() -> self;
}
pub impl u8: IntConsts {
#[inline(always)] static pure fn zero() -> u8 { 0u8 }
#[inline(always)] static pure fn one() -> u8 { 1u8 }
}
pub impl u16: IntConsts {
#[inline(always)] static pure fn zero() -> u16 { 0u16 }
#[inline(always)] static pure fn one() -> u16 { 1u16 }
}
pub impl u32: IntConsts {
#[inline(always)] static pure fn zero() -> u32 { 0u32 }
#[inline(always)] static pure fn one() -> u32 { 1u32 }
}
pub impl u64: IntConsts {
#[inline(always)] static pure fn zero() -> u64 { 0u64 }
#[inline(always)] static pure fn one() -> u64 { 1u64 }
}
pub impl uint: IntConsts {
#[inline(always)] static pure fn zero() -> uint { 0u }
#[inline(always)] static pure fn one() -> uint { 1u }
}
pub impl i8: IntConsts {
#[inline(always)] static pure fn zero() -> i8 { 0i8 }
#[inline(always)] static pure fn one() -> i8 { 1i8 }
}
pub impl i16: IntConsts {
#[inline(always)] static pure fn zero() -> i16 { 0i16 }
#[inline(always)] static pure fn one() -> i16 { 1i16 }
}
pub impl i32: IntConsts {
#[inline(always)] static pure fn zero() -> i32 { 0i32 }
#[inline(always)] static pure fn one() -> i32 { 1i32 }
}
pub impl i64: IntConsts {
#[inline(always)] static pure fn zero() -> i64 { 0i64 }
#[inline(always)] static pure fn one() -> i64 { 1i64 }
}
pub impl int: IntConsts {
#[inline(always)] static pure fn zero() -> int { 0 }
#[inline(always)] static pure fn one() -> int { 1 }
}
pub impl f32: FloatConsts {
#[inline(always)] static pure fn zero() -> f32 { 0f32 }
#[inline(always)] static pure fn one() -> f32 { 1f32 }
#[inline(always)] static pure fn pi() -> f32 { 3.14159265358979323846264338327950288_f32 }
#[inline(always)] static pure fn frac_pi_2() -> f32 { 1.57079632679489661923132169163975144_f32 }
#[inline(always)] static pure fn frac_pi_4() -> f32 { 0.785398163397448309615660845819875721_f32 }
#[inline(always)] static pure fn frac_1_pi() -> f32 { 0.318309886183790671537767526745028724_f32 }
#[inline(always)] static pure fn frac_2_pi() -> f32 { 0.636619772367581343075535053490057448_f32 }
#[inline(always)] static pure fn frac_2_sqrtpi() -> f32 { 1.12837916709551257389615890312154517_f32 }
#[inline(always)] static pure fn sqrt2() -> f32 { 1.41421356237309504880168872420969808_f32 }
#[inline(always)] static pure fn frac_1_sqrt2() -> f32 { 0.707106781186547524400844362104849039_f32 }
#[inline(always)] static pure fn e() -> f32 { 2.71828182845904523536028747135266250_f32 }
#[inline(always)] static pure fn log2_e() -> f32 { 1.44269504088896340735992468100189214_f32 }
#[inline(always)] static pure fn log10_e() -> f32 { 0.434294481903251827651128918916605082_f32 }
#[inline(always)] static pure fn ln_2() -> f32 { 0.693147180559945309417232121458176568_f32 }
#[inline(always)] static pure fn ln_10() -> f32 { 2.30258509299404568401799145468436421_f32 }
}
pub impl f64: FloatConsts {
#[inline(always)] static pure fn zero() -> f64 { 0f64 }
#[inline(always)] static pure fn one() -> f64 { 1f64 }
#[inline(always)] static pure fn pi() -> f64 { 3.14159265358979323846264338327950288_f64 }
#[inline(always)] static pure fn frac_pi_2() -> f64 { 1.57079632679489661923132169163975144_f64 }
#[inline(always)] static pure fn frac_pi_4() -> f64 { 0.785398163397448309615660845819875721_f64 }
#[inline(always)] static pure fn frac_1_pi() -> f64 { 0.318309886183790671537767526745028724_f64 }
#[inline(always)] static pure fn frac_2_pi() -> f64 { 0.636619772367581343075535053490057448_f64 }
#[inline(always)] static pure fn frac_2_sqrtpi() -> f64 { 1.12837916709551257389615890312154517_f64 }
#[inline(always)] static pure fn sqrt2() -> f64 { 1.41421356237309504880168872420969808_f64 }
#[inline(always)] static pure fn frac_1_sqrt2() -> f64 { 0.707106781186547524400844362104849039_f64 }
#[inline(always)] static pure fn e() -> f64 { 2.71828182845904523536028747135266250_f64 }
#[inline(always)] static pure fn log2_e() -> f64 { 1.44269504088896340735992468100189214_f64 }
#[inline(always)] static pure fn log10_e() -> f64 { 0.434294481903251827651128918916605082_f64 }
#[inline(always)] static pure fn ln_2() -> f64 { 0.693147180559945309417232121458176568_f64 }
#[inline(always)] static pure fn ln_10() -> f64 { 2.30258509299404568401799145468436421_f64 }
}
pub impl float: FloatConsts {
#[inline(always)] static pure fn zero() -> float { 0f }
#[inline(always)] static pure fn one() -> float { 1f }
#[inline(always)] static pure fn pi() -> float { 3.14159265358979323846264338327950288 }
#[inline(always)] static pure fn frac_pi_2() -> float { 1.57079632679489661923132169163975144 }
#[inline(always)] static pure fn frac_pi_4() -> float { 0.785398163397448309615660845819875721 }
#[inline(always)] static pure fn frac_1_pi() -> float { 0.318309886183790671537767526745028724 }
#[inline(always)] static pure fn frac_2_pi() -> float { 0.636619772367581343075535053490057448 }
#[inline(always)] static pure fn frac_2_sqrtpi() -> float { 1.12837916709551257389615890312154517 }
#[inline(always)] static pure fn sqrt2() -> float { 1.41421356237309504880168872420969808 }
#[inline(always)] static pure fn frac_1_sqrt2() -> float { 0.707106781186547524400844362104849039 }
#[inline(always)] static pure fn e() -> float { 2.71828182845904523536028747135266250 }
#[inline(always)] static pure fn log2_e() -> float { 1.44269504088896340735992468100189214 }
#[inline(always)] static pure fn log10_e() -> float { 0.434294481903251827651128918916605082 }
#[inline(always)] static pure fn ln_2() -> float { 0.693147180559945309417232121458176568 }
#[inline(always)] static pure fn ln_10() -> float { 2.30258509299404568401799145468436421 }
}

View file

@ -25,6 +25,7 @@ use common::*;
pub mod common {
pub mod math;
pub mod ncast;
pub mod nconsts;
pub mod ntrait;
}