Struct FunctionType 

pub struct FunctionType {
    pub abi: CallConv,
    pub params: SmallVec<[Type; 4]>,
    pub results: SmallVec<[Type; 1]>,
}

This represents the type of a function, i.e. it’s parameters and results, and expected calling convention.

Function types are reference types, i.e. they are always implicitly a handle/pointer to a function, not a function value.

Fields

abi: CallConv

The calling convention/ABI of the function represented by this type

params: SmallVec<[Type; 4]>

The parameter types of this function

results: SmallVec<[Type; 1]>

The result types of this function

Implementations

impl FunctionType

pub fn new<P, R>(abi: CallConv, params: P, results: R) -> FunctionType

where P: IntoIterator<Item = Type>, R: IntoIterator<Item = Type>,

Create a new function type with the given calling/convention ABI

pub fn with_calling_convention(self, abi: CallConv) -> FunctionType

Set the calling convention/ABI for this function type

pub fn calling_convention(&self) -> CallConv

The calling convention/ABI represented by this function type

pub fn arity(&self) -> usize

The number of parameters expected by the function

pub fn params(&self) -> &[Type]

The types of the function parameters as a slice

pub fn results(&self) -> &[Type]

The types of the function results as a slice

Trait Implementations

impl Clone for FunctionType

fn clone(&self) -> FunctionType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionType

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

Formats the value using the given formatter.

impl Deserializable for FunctionType

Provides FunctionType deserialization support via the miden-serde-utils serializer.

This is a temporary implementation to allow type information to be serialized with libraries, but in a future release we’ll either rely on the serde serialization for these types, or provide the serialization implementation in midenc-hir-type instead

fn read_from<R>(source: &mut R) -> Result<FunctionType, DeserializationError>

where R: ByteReader,

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into Self, and returns the result.

fn min_serialized_size() -> usize

Returns the minimum serialized size for one instance of this type.

fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

Attempts to deserialize the provided bytes into Self and returns the result.

fn read_from_bytes_with_budget( bytes: &[u8], budget: usize, ) -> Result<Self, DeserializationError>

Deserializes Self from bytes with a byte budget limit.

impl<'de> Deserialize<'de> for FunctionType

fn deserialize<__D>( __deserializer: __D, ) -> Result<FunctionType, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for FunctionType

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

Formats the value using the given formatter.

impl Eq for FunctionType

impl From<Box<FunctionType>> for Type

fn from(ty: Box<FunctionType>) -> Type

Converts to this type from the input type.

impl From<FunctionType> for Type

fn from(ty: FunctionType) -> Type

Converts to this type from the input type.

impl Hash for FunctionType

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

where __H: Hasher,

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 FunctionType

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

Equality operator ==.

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

Inequality operator !=.

impl PrettyPrint for FunctionType

fn render(&self) -> Document

The core of the PrettyPrint functionality.

fn to_pretty_string(&self) -> String

Produce a String containing the results of pretty-printing this object.

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

Pretty-print this object to the given core::fmt::Formatter.

impl Serializable for FunctionType

Provides FunctionType serialization support via the miden-serde-utils serializer.

This is a temporary implementation to allow type information to be serialized with libraries, but in a future release we’ll either rely on the serde serialization for these types, or provide the serialization implementation in midenc-hir-type instead

fn write_into<W>(&self, target: &mut W)

where W: ByteWriter,

Serializes self into bytes and writes these bytes into the target.

fn to_bytes(&self) -> Vec<u8>

Serializes self into a vector of bytes.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl Serialize for FunctionType

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for FunctionType