Trait InfinityEncoding 

pub trait InfinityEncoding: Copy {
    const INFINITY: Self;
    const NEG_INFINITY: Self;

    // Required methods
    fn is_infinite(self) -> bool;
    fn is_finite(self) -> bool;
}

A type with an IEEE 754 floating-point representation that supports infinities.

InfinityEncoding types have -INF and +INF inhabitants.

Required Associated Constants

const INFINITY: Self

const NEG_INFINITY: Self

Required Methods

fn is_infinite(self) -> bool

fn is_finite(self) -> bool

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

impl InfinityEncoding for f32

const INFINITY: Self = +Inf_f32

const NEG_INFINITY: Self = -Inf_f32

fn is_infinite(self) -> bool

fn is_finite(self) -> bool

impl InfinityEncoding for f64

const INFINITY: Self = +Inf_f64

const NEG_INFINITY: Self = -Inf_f64

fn is_infinite(self) -> bool

fn is_finite(self) -> bool

Implementors

impl<T, C> InfinityEncoding for Constrained<T, C>

where T: Primitive, C: Constraint + Member<InfinitySet>,

const INFINITY: Self

const NEG_INFINITY: Self

impl<T, C> InfinityEncoding for ExpressionFor<Constrained<T, C>>

where ErrorFor<Constrained<T, C>>: Copy, Constrained<T, C>: InfinityEncoding, T: Primitive, C: Constraint, C::Divergence: Divergence<Continue = AsExpression>,

const INFINITY: Self

const NEG_INFINITY: Self