Enum Type

pub enum Type {
    Bool,
    U8,
    U16,
    U32,
    U64,
    S8,
    S16,
    S32,
    S64,
    F32,
    F64,
    Char,
    String,
    List(Arc<Type>),
    Record(Arc<[Type]>),
    Tuple(Arc<[Type]>),
    Variant(Arc<[Option<Type>]>),
    Enum,
    Option(Arc<Type>),
    Result {
        ok: Option<Arc<Type>>,
        err: Option<Arc<Type>>,
    },
    Flags,
    Future(Option<Arc<Type>>),
    Stream(Option<Arc<Type>>),
    Resource(Resource),
}

Value type

Variants

Bool

U8

U16

U32

U64

S8

S16

S32

S64

F32

F64

Char

String

List(Arc<Type>)

Record(Arc<[Type]>)

Tuple(Arc<[Type]>)

Variant(Arc<[Option<Type>]>)

Enum

Option(Arc<Type>)

Result

Fields

ok: Option<Arc<Type>>

err: Option<Arc<Type>>

Flags

Future(Option<Arc<Type>>)

Stream(Option<Arc<Type>>)

Resource(Resource)

Implementations

impl Type

pub fn resolve_def(resolve: &Resolve, ty: &TypeDef) -> Result<Self>

pub fn resolve(resolve: &Resolve, ty: &Type) -> Result<Self>

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

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.

impl Hash for Type

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Type

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Type

impl StructuralPartialEq for Type