Enum Constant

pub enum Constant {
    Int(BigInt),
    Real(Real),
    Bool(bool),
    Str(Symbol),
    Char(char),
}

Variants

Int(BigInt)

Real(Real)

Bool(bool)

Str(Symbol)

Char(char)

Implementations

impl Constant

pub const ZERO: Constant = _

pub const ONE: Constant = _

pub const TRUE: Constant = _

fn to_bool(self) -> Option<bool>

fn to_int(self) -> Option<BigInt>

pub fn iff(&self, other: &Constant) -> Option<Constant>

pub fn imp(&self, other: &Constant) -> Option<Constant>

pub fn or(&self, other: &Constant) -> Option<Constant>

pub fn and(&self, other: &Constant) -> Option<Constant>

pub fn eq(&self, other: &Constant) -> Constant

pub fn ne(&self, other: &Constant) -> Constant

pub fn gt(&self, other: &Constant) -> Option<Constant>

pub fn ge(&self, other: &Constant) -> Option<Constant>

pub fn from_scalar_int<'tcx, T>( tcx: TyCtxt<'tcx>, scalar: ScalarInt, t: &T, ) -> Option<Self>

where T: ToRustc<'tcx, T = Ty<'tcx>>,

pub fn int_min(bit_width: u32) -> Constant

See BigInt::int_min

pub fn int_max(bit_width: u32) -> Constant

See BigInt::int_max

pub fn uint_max(bit_width: u32) -> Constant

See BigInt::uint_max

Trait Implementations

impl Clone for Constant

fn clone(&self) -> Constant

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Constant

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

Formats the value using the given formatter.

impl<__D: SpanDecoder> Decodable<__D> for Constant

fn decode(__decoder: &mut __D) -> Self

impl<__E: SpanEncoder> Encodable<__E> for Constant

fn encode(&self, __encoder: &mut __E)

impl From<Symbol> for Constant

fn from(s: Symbol) -> Self

Converts to this type from the input type.

impl From<bool> for Constant

fn from(b: bool) -> Self

Converts to this type from the input type.

impl From<char> for Constant

fn from(c: char) -> Self

Converts to this type from the input type.

impl From<i128> for Constant

fn from(c: i128) -> Self

Converts to this type from the input type.

impl From<i32> for Constant

fn from(c: i32) -> Self

Converts to this type from the input type.

impl From<u128> for Constant

fn from(c: u128) -> Self

Converts to this type from the input type.

impl From<usize> for Constant

fn from(u: usize) -> Self

Converts to this type from the input type.

impl Hash for Constant

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 Constant

fn eq(&self, other: &Constant) -> 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 Pretty for Constant

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

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

impl Copy for Constant

impl Eq for Constant

impl StructuralPartialEq for Constant