Enum kailua_types::ty::Numbers

pub enum Numbers {
    One(i32),
    Some(BTreeSet<i32>),
    Int,
    All,
}

Number types.

Variants

One(i32)

A single integer literal.

Some(BTreeSet<i32>)

Multiple integer literals.

Int

Any integer.

All

Any number.

Trait Implementations

impl Clone for Numbers

fn clone(&self) -> Numbers

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Union for Numbers

type Output = Numbers

A type of the resulting type.

fn union(
    &self,
    other: &Numbers,
    explicit: bool,
    _ctx: &mut TypeContext
) -> TypeResult<Numbers>

Calculates a union type of self and other, explicitly or implicitly.

impl Lattice for Numbers

fn assert_sub(&self, other: &Self, ctx: &mut TypeContext) -> TypeResult<()>

Asserts that self is a consistent subtype of other under the type context.

fn assert_eq(&self, other: &Self, ctx: &mut TypeContext) -> TypeResult<()>

Asserts that self is a consistent type equal to other under the type context.

impl PartialEq for Numbers

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

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

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

This method tests for !=.

impl Display for Numbers

fn fmt_displayed(&self, f: &mut Formatter, _st: &DisplayState) -> Result

fn display<'b, C>(&'b self, ctx: C) -> Displayed<'b, Self, C>

impl Debug for Numbers

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

Formats the value using the given formatter.