Enum TyValue 

pub enum TyValue {
    Rational(BigRational),
    Bool(bool),
}

Some constant data and its corresponding type.

Variants

Rational(BigRational)

Bool(bool)

Implementations

impl TyValue

pub fn ty(&self) -> Ty

pub fn to_usize(&self) -> Option<usize>

pub fn to_f32(&self) -> Option<f32>

pub fn to_f64(&self) -> Option<f64>

Trait Implementations

impl Clone for TyValue

fn clone(&self) -> TyValue

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TyValue

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for TyValue

fn default() -> Self

Returns the “default value” for a type.

impl Display for TyValue

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl From<Ratio<BigInt>> for TyValue

fn from(input: BigRational) -> Self

Converts to this type from the input type.

impl From<TyValue> for HN

fn from(v: TyValue) -> Self

Converts to this type from the input type.

impl From<bool> for TyValue

fn from(input: bool) -> Self

Converts to this type from the input type.

impl From<f32> for TyValue

fn from(input: f32) -> Self

Converts to this type from the input type.

impl From<f64> for TyValue

fn from(input: f64) -> Self

Converts to this type from the input type.

impl From<i32> for TyValue

fn from(input: i32) -> Self

Converts to this type from the input type.

impl From<i64> for TyValue

fn from(input: i64) -> Self

Converts to this type from the input type.

impl From<isize> for TyValue

fn from(input: isize) -> Self

Converts to this type from the input type.

impl From<u32> for TyValue

fn from(input: u32) -> Self

Converts to this type from the input type.

impl From<u64> for TyValue

fn from(input: u64) -> Self

Converts to this type from the input type.

impl From<usize> for TyValue

fn from(input: usize) -> Self

Converts to this type from the input type.

impl Hash for TyValue

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for TyValue

fn eq(&self, other: &TyValue) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for TyValue

impl StructuralPartialEq for TyValue