Skip to main content

Float

Trait Float 

Source
pub trait Float:
    NumFloat
    + FloatConst
    + FromPrimitive
    + Copy
    + Send
    + Sync
    + Default
    + Debug
    + Display
    + 'static { }
Expand description

Marker trait for floating-point types that can serve as the base of AD computations.

Bundles the numeric and utility traits needed throughout echidna. Implemented by primitive types (f32, f64) and by Dual<F>, which enables nested forward-mode: Dual<Dual<f64>> for second-order derivatives.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types§

Source§

impl Float for f32

Source§

impl Float for f64

Implementors§

Source§

impl<F: Float + BtapeThreadLocal> Float for BReverse<F>

Available on crate feature bytecode only.
Source§

impl<F: Float + TapeThreadLocal> Float for Reverse<F>

Source§

impl<F: Float + TaylorArenaLocal> Float for TaylorDyn<F>

Available on crate feature taylor only.
Source§

impl<F: Float> Float for Dual<F>

Source§

impl<F: Float, const K: usize> Float for Laurent<F, K>

Available on crate feature laurent only.
Source§

impl<F: Float, const K: usize> Float for Taylor<F, K>

Available on crate feature taylor only.
Source§

impl<F: Float, const N: usize> Float for DualVec<F, N>