Enum TypeTemplate 

pub enum TypeTemplate {
    Type(Type),
    Rec(Arc<str>),
    Ptr(AddressSpace, Box<TypeTemplate>),
    Array(Box<TypeTemplate>, usize),
    List(Box<TypeTemplate>),
    Function(Box<FunctionTemplate>),
    Struct(Box<StructTemplate>),
    Enum(Box<EnumTemplate>),
}

A type expression used while describing a recursive definition to RecursiveTypeBuilder.

Variants

Type(Type)

An ordinary, already-completed type.

Rec(Arc<str>)

A reference to a definition being built, by name.

Ptr(AddressSpace, Box<TypeTemplate>)

Array(Box<TypeTemplate>, usize)

List(Box<TypeTemplate>)

Function(Box<FunctionTemplate>)

Struct(Box<StructTemplate>)

Enum(Box<EnumTemplate>)

Implementations

impl TypeTemplate

pub fn rec(name: impl Into<Arc<str>>) -> TypeTemplate

A reference to the definition named name.

pub fn ptr(pointee: impl Into<TypeTemplate>) -> TypeTemplate

A byte-addressable pointer to pointee.

pub fn ptr_in( addrspace: AddressSpace, pointee: impl Into<TypeTemplate>, ) -> TypeTemplate

A pointer to pointee in addrspace.

pub fn array(element: impl Into<TypeTemplate>, len: usize) -> TypeTemplate

A fixed-length array of element.

pub fn list(element: impl Into<TypeTemplate>) -> TypeTemplate

A dynamically sized list of element.

pub fn function( abi: CallConv, params: impl IntoIterator<Item = TypeTemplate>, results: impl IntoIterator<Item = TypeTemplate>, ) -> TypeTemplate

A function reference type.

pub fn struct_type( repr: TypeRepr, fields: impl IntoIterator<Item = FieldTemplate>, ) -> TypeTemplate

An anonymous struct.

Trait Implementations

impl Clone for TypeTemplate

fn clone(&self) -> TypeTemplate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeTemplate

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

Formats the value using the given formatter.

impl From<Type> for TypeTemplate

fn from(ty: Type) -> TypeTemplate

Converts to this type from the input type.

impl From<TypeTemplate> for FieldTemplate

fn from(ty: TypeTemplate) -> FieldTemplate

Converts to this type from the input type.