Trait moore_vhdl::ty2::FloatingType

source · [−]
pub trait FloatingType: Type {
    fn as_type(&self) -> &dyn Type;

    fn range(&self) -> Option<&Range<f64>>;

    fn base_type(&self) -> &dyn Type;

    fn is_equal(&self, other: &dyn FloatingType) -> bool;

    fn resolution_func(&self) -> Option<usize> { ... }

    fn as_basetype(&self) -> Option<&FloatingBasetype> { ... }

    fn as_subtype(&self) -> Option<&FloatingSubtype<'_>> { ... }

    fn is_universal(&self) -> bool { ... }

    fn unwrap_basetype(&self) -> &FloatingBasetype { ... }

    fn unwrap_subtype(&self) -> &FloatingSubtype<'_> { ... }
}
Expand description

A real type.

This can either be an FloatingBasetype or an FloatingSubtype.

Required methods

Convert to a type.

The range of values this real can assume.

Universal integers return None here, as they do not have a value range associated with them.

The base type of this real.

Check if two real types are equal.

Provided methods

The resolution function associated with this type.

Returns Some if self is an FloatingBasetype, None otherwise.

Returns Some if self is an FloatingSubtype, None otherwise.

Checks whether this is a universal real type.

Returns an &FloatingBasetype or panics if the type is not a basetype.

Returns an &FloatingSubtype or panics if the type is not a subtype.

Trait Implementations

This method tests for self and other values to be equal, and is used by ==. Read more

This method tests for !=.

Implementors