Enum LiteralValue 

pub enum LiteralValue {
    Bool(bool),
    Int(i64),
    Float(f64),
    Char(char),
    String(String),
}

The concrete value a TermPatternKind::Literal pattern tests for.

The pattern’s own tpe cannot tell 1 from 2, or 'a' from 'b': both share one type, and only this says which value the scrutinee has to equal. A Float is equal to a scrutinee as IEEE 754 compares them (What structural equality computes), so 0.0 equals -0.0. The compiler accepts no negative pattern literal, so no pattern holds -0.0; no literal is nan, so a nan scrutinee equals none. A Bool is tested by its value too: Basics’ own True/False constructors arrive here as a Bool(..), never as a TermPatternKind::Constructor (typer::translate_pattern does the normalising).

Variants

Bool(bool)

Int(i64)

Float(f64)

Char(char)

String(String)

Trait Implementations

impl Clone for LiteralValue

fn clone(&self) -> LiteralValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LiteralValue

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

Formats the value using the given formatter.

impl PartialEq for LiteralValue

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for LiteralValue