Enum Literal

pub enum Literal {
    Type,
    Help(Ident),
    NumTypeU60,
    NumTypeF60,
    Char(char),
    NumU60(u64),
    NumU120(u128),
    NumF60(u64),
    Nat(u128),
    String(String),
}

Variants

Type

The universe of types (e.g. Type)

Help(Ident)

The help operator that prints the context and the goal (e.g. ?)

NumTypeU60

The type literal of 60 bit numbers (e.g. 2 : U60)

NumTypeF60

Char(char)

NumU60(u64)

A 60 bit number literal (e.g 32132)

NumU120(u128)

NumF60(u64)

Nat(u128)

String(String)

Trait Implementations

impl Clone for Literal

fn clone(&self) -> Literal

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Literal

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

Formats the value using the given formatter.

impl Display for Literal

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

Formats the value using the given formatter.