Enum Type 

pub enum Type {
    Nominal {
        module: &'static str,
        path: Vec<&'static str>,
        kind: Kind,
    },
    Bound(Box<Type>, Vec<Type>),
    Void,
    Verbatim(String),
    Opt(Box<Type>),
    Pack(Box<Type>, Vec<Type>),
}

A Swift type, as a tree the compressor can walk.

Variants

Nominal

A nominal type: a module, the path to it, and what kind it is.

Fields

module: &'static str

path: Vec<&'static str>

kind: Kind

Bound(Box<Type>, Vec<Type>)

A generic type applied to arguments.

Void

The empty tuple, ().

Verbatim(String)

A type with a mangling of its own, such as Si or s5NeverO.

Opt(Box<Type>)

Optional<T>, which Swift writes as T followed by Sg rather than through the generic form.

Pack(Box<Type>, Vec<Type>)

A generic applied to a parameter pack — Predicate<Pack{URL}>. The arguments are followed by _QP rather than closed directly.

Implementations

impl Type

pub fn of(self, args: Vec<Type>) -> Type

This type applied to generic arguments.

pub fn mangle(&self) -> String

Mangle it, with a fresh substitution state.

Trait Implementations

impl Clone for Type

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.