Enum kailua_types::ty::Strings

pub enum Strings {
    One(Str),
    Some(BTreeSet<Str>),
    All,
}

String types.

Variants

One(Str)

A single string literal.

Some(BTreeSet<Str>)

Multiple string literals.

All

Any string.

Trait Implementations

impl Clone for Strings

fn clone(&self) -> Strings

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Union for Strings

type Output = Strings

A type of the resulting type.

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

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

impl Lattice for Strings

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 Strings

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

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 Strings

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

Formats the value using the given formatter.