Skip to content

Commit 2e751bf

Browse files
committed
Derive Float for newtypes
1 parent a2887ac commit 2e751bf

File tree

2 files changed

+204
-2
lines changed

2 files changed

+204
-2
lines changed

src/lib.rs

Lines changed: 189 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@
1010

1111
#![crate_type = "proc-macro"]
1212
#![doc(html_root_url = "https://docs.rs/num-derive/0.2")]
13-
#![recursion_limit="256"]
13+
#![recursion_limit="512"]
1414

1515
//! Procedural macros to derive numeric traits in Rust.
1616
//!
@@ -576,3 +576,191 @@ pub fn num(input: TokenStream) -> TokenStream {
576576
}
577577
}).into()
578578
}
579+
580+
/// Derives [`num_traits::Float`][float] for newtypes. The inner type must already implement
581+
/// `Float`.
582+
///
583+
/// [float]: https://docs.rs/num-traits/0.2/num_traits/float/trait.Float.html
584+
#[proc_macro_derive(Float)]
585+
pub fn float(input: TokenStream) -> TokenStream {
586+
let ast: syn::DeriveInput = syn::parse(input).unwrap();
587+
let name = &ast.ident;
588+
let inner_ty = newtype_inner(&ast.data).expect(NEWTYPE_ONLY);
589+
dummy_const_trick("Float", &name, quote! {
590+
extern crate num_traits as _num_traits;
591+
impl _num_traits::Float for #name {
592+
fn nan() -> Self {
593+
#name(<#inner_ty as _num_traits::Float>::nan())
594+
}
595+
fn infinity() -> Self {
596+
#name(<#inner_ty as _num_traits::Float>::infinity())
597+
}
598+
fn neg_infinity() -> Self {
599+
#name(<#inner_ty as _num_traits::Float>::neg_infinity())
600+
}
601+
fn neg_zero() -> Self {
602+
#name(<#inner_ty as _num_traits::Float>::neg_zero())
603+
}
604+
fn min_value() -> Self {
605+
#name(<#inner_ty as _num_traits::Float>::min_value())
606+
}
607+
fn min_positive_value() -> Self {
608+
#name(<#inner_ty as _num_traits::Float>::min_positive_value())
609+
}
610+
fn max_value() -> Self {
611+
#name(<#inner_ty as _num_traits::Float>::max_value())
612+
}
613+
fn is_nan(self) -> bool {
614+
<#inner_ty as _num_traits::Float>::is_nan(self.0)
615+
}
616+
fn is_infinite(self) -> bool {
617+
<#inner_ty as _num_traits::Float>::is_infinite(self.0)
618+
}
619+
fn is_finite(self) -> bool {
620+
<#inner_ty as _num_traits::Float>::is_finite(self.0)
621+
}
622+
fn is_normal(self) -> bool {
623+
<#inner_ty as _num_traits::Float>::is_normal(self.0)
624+
}
625+
fn classify(self) -> ::std::num::FpCategory {
626+
<#inner_ty as _num_traits::Float>::classify(self.0)
627+
}
628+
fn floor(self) -> Self {
629+
#name(<#inner_ty as _num_traits::Float>::floor(self.0))
630+
}
631+
fn ceil(self) -> Self {
632+
#name(<#inner_ty as _num_traits::Float>::ceil(self.0))
633+
}
634+
fn round(self) -> Self {
635+
#name(<#inner_ty as _num_traits::Float>::round(self.0))
636+
}
637+
fn trunc(self) -> Self {
638+
#name(<#inner_ty as _num_traits::Float>::trunc(self.0))
639+
}
640+
fn fract(self) -> Self {
641+
#name(<#inner_ty as _num_traits::Float>::fract(self.0))
642+
}
643+
fn abs(self) -> Self {
644+
#name(<#inner_ty as _num_traits::Float>::abs(self.0))
645+
}
646+
fn signum(self) -> Self {
647+
#name(<#inner_ty as _num_traits::Float>::signum(self.0))
648+
}
649+
fn is_sign_positive(self) -> bool {
650+
<#inner_ty as _num_traits::Float>::is_sign_positive(self.0)
651+
}
652+
fn is_sign_negative(self) -> bool {
653+
<#inner_ty as _num_traits::Float>::is_sign_negative(self.0)
654+
}
655+
fn mul_add(self, a: Self, b: Self) -> Self {
656+
#name(<#inner_ty as _num_traits::Float>::mul_add(self.0, a.0, b.0))
657+
}
658+
fn recip(self) -> Self {
659+
#name(<#inner_ty as _num_traits::Float>::recip(self.0))
660+
}
661+
fn powi(self, n: i32) -> Self {
662+
#name(<#inner_ty as _num_traits::Float>::powi(self.0, n))
663+
}
664+
fn powf(self, n: Self) -> Self {
665+
#name(<#inner_ty as _num_traits::Float>::powf(self.0, n.0))
666+
}
667+
fn sqrt(self) -> Self {
668+
#name(<#inner_ty as _num_traits::Float>::sqrt(self.0))
669+
}
670+
fn exp(self) -> Self {
671+
#name(<#inner_ty as _num_traits::Float>::exp(self.0))
672+
}
673+
fn exp2(self) -> Self {
674+
#name(<#inner_ty as _num_traits::Float>::exp2(self.0))
675+
}
676+
fn ln(self) -> Self {
677+
#name(<#inner_ty as _num_traits::Float>::ln(self.0))
678+
}
679+
fn log(self, base: Self) -> Self {
680+
#name(<#inner_ty as _num_traits::Float>::log(self.0, base.0))
681+
}
682+
fn log2(self) -> Self {
683+
#name(<#inner_ty as _num_traits::Float>::log2(self.0))
684+
}
685+
fn log10(self) -> Self {
686+
#name(<#inner_ty as _num_traits::Float>::log10(self.0))
687+
}
688+
fn max(self, other: Self) -> Self {
689+
#name(<#inner_ty as _num_traits::Float>::max(self.0, other.0))
690+
}
691+
fn min(self, other: Self) -> Self {
692+
#name(<#inner_ty as _num_traits::Float>::min(self.0, other.0))
693+
}
694+
fn abs_sub(self, other: Self) -> Self {
695+
#name(<#inner_ty as _num_traits::Float>::abs_sub(self.0, other.0))
696+
}
697+
fn cbrt(self) -> Self {
698+
#name(<#inner_ty as _num_traits::Float>::cbrt(self.0))
699+
}
700+
fn hypot(self, other: Self) -> Self {
701+
#name(<#inner_ty as _num_traits::Float>::hypot(self.0, other.0))
702+
}
703+
fn sin(self) -> Self {
704+
#name(<#inner_ty as _num_traits::Float>::sin(self.0))
705+
}
706+
fn cos(self) -> Self {
707+
#name(<#inner_ty as _num_traits::Float>::cos(self.0))
708+
}
709+
fn tan(self) -> Self {
710+
#name(<#inner_ty as _num_traits::Float>::tan(self.0))
711+
}
712+
fn asin(self) -> Self {
713+
#name(<#inner_ty as _num_traits::Float>::asin(self.0))
714+
}
715+
fn acos(self) -> Self {
716+
#name(<#inner_ty as _num_traits::Float>::acos(self.0))
717+
}
718+
fn atan(self) -> Self {
719+
#name(<#inner_ty as _num_traits::Float>::atan(self.0))
720+
}
721+
fn atan2(self, other: Self) -> Self {
722+
#name(<#inner_ty as _num_traits::Float>::atan2(self.0, other.0))
723+
}
724+
fn sin_cos(self) -> (Self, Self) {
725+
let (x, y) = <#inner_ty as _num_traits::Float>::sin_cos(self.0);
726+
(#name(x), #name(y))
727+
}
728+
fn exp_m1(self) -> Self {
729+
#name(<#inner_ty as _num_traits::Float>::exp_m1(self.0))
730+
}
731+
fn ln_1p(self) -> Self {
732+
#name(<#inner_ty as _num_traits::Float>::ln_1p(self.0))
733+
}
734+
fn sinh(self) -> Self {
735+
#name(<#inner_ty as _num_traits::Float>::sinh(self.0))
736+
}
737+
fn cosh(self) -> Self {
738+
#name(<#inner_ty as _num_traits::Float>::cosh(self.0))
739+
}
740+
fn tanh(self) -> Self {
741+
#name(<#inner_ty as _num_traits::Float>::tanh(self.0))
742+
}
743+
fn asinh(self) -> Self {
744+
#name(<#inner_ty as _num_traits::Float>::asinh(self.0))
745+
}
746+
fn acosh(self) -> Self {
747+
#name(<#inner_ty as _num_traits::Float>::acosh(self.0))
748+
}
749+
fn atanh(self) -> Self {
750+
#name(<#inner_ty as _num_traits::Float>::atanh(self.0))
751+
}
752+
fn integer_decode(self) -> (u64, i16, i8) {
753+
<#inner_ty as _num_traits::Float>::integer_decode(self.0)
754+
}
755+
fn epsilon() -> Self {
756+
#name(<#inner_ty as _num_traits::Float>::epsilon())
757+
}
758+
fn to_degrees(self) -> Self {
759+
#name(<#inner_ty as _num_traits::Float>::to_degrees(self.0))
760+
}
761+
fn to_radians(self) -> Self {
762+
#name(<#inner_ty as _num_traits::Float>::to_radians(self.0))
763+
}
764+
}
765+
}).into()
766+
}

tests/newtype.rs

Lines changed: 15 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,8 @@ extern crate num as num_renamed;
22
#[macro_use]
33
extern crate num_derive;
44

5-
use num_renamed::{FromPrimitive, ToPrimitive, NumCast, One, Zero, Num};
5+
use num_renamed::{FromPrimitive, ToPrimitive, NumCast, One, Zero, Num, Float};
6+
use std::ops::Neg;
67

78
#[derive(
89
Debug,
@@ -17,9 +18,17 @@ use num_renamed::{FromPrimitive, ToPrimitive, NumCast, One, Zero, Num};
1718
One,
1819
Zero,
1920
Num,
21+
Float,
2022
)]
2123
struct MyFloat(f64);
2224

25+
impl Neg for MyFloat {
26+
type Output = MyFloat;
27+
fn neg(self) -> Self {
28+
MyFloat(self.0.neg())
29+
}
30+
}
31+
2332
#[test]
2433
fn test_from_primitive() {
2534
assert_eq!(MyFloat::from_u32(25), Some(MyFloat(25.0)));
@@ -58,3 +67,8 @@ fn test_one() {
5867
fn test_num() {
5968
assert_eq!(MyFloat::from_str_radix("25", 10).ok(), Some(MyFloat(25.0)));
6069
}
70+
71+
#[test]
72+
fn test_float() {
73+
assert_eq!(MyFloat(4.0).log(MyFloat(2.0)), MyFloat(2.0));
74+
}

0 commit comments

Comments
 (0)