Struct PolyProcedure

pub struct PolyProcedure { /* private fields */ }

A polymorphic procedure of LIR code which can be applied to a list of arguments with type arguments. This is mono-morphed into a Procedure when it is called with a list of type arguments. A procedure is compiled down to a label in the assembly code.

Implementations

impl PolyProcedure

pub fn new( name: String, ty_params: Vec<(String, Option<Type>)>, args: Vec<(String, Mutability, Type)>, ret: Type, body: impl Into<Expr>, ) -> Self

Construct a new polymorphic procedure with type parameters, a list of arguments + their types, a return type, and the body of the procedure.

pub fn with(&self, decls: impl Into<Declaration>) -> Self

pub fn get_type_params(&self) -> &Vec<(String, Option<Type>)>

pub fn from_mono( mono: Procedure, ty_params: Vec<(String, Option<Type>)>, ) -> Self

pub fn get_name(&self) -> &str

Get the name of this polymorphic procedure. This is not the mangled name, but the name known to the LIR front-end. The mangled name is unique for each monomorph of the procedure.

pub fn monomorphize( &self, ty_args: Vec<Type>, env: &Env, ) -> Result<Procedure, Error>

Take some type arguments and produce a monomorphized version of the procedure. This monomorphized version can then be compiled directly. Additionally, the mono version of the procedure is memoized, so that it is only compiled once.

Trait Implementations

impl Clone for PolyProcedure

fn clone(&self) -> PolyProcedure

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PolyProcedure

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for PolyProcedure

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for PolyProcedure

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

Formats the value using the given formatter.

impl From<PolyProcedure> for ConstExpr

fn from(value: PolyProcedure) -> Self

Converts to this type from the input type.

impl GetType for PolyProcedure

fn get_type_checked(&self, _env: &Env, _i: usize) -> Result<Type, Error>

Get the type of a value under a given environment and check recursion depth to prevent a possible stack overflow.

fn substitute(&mut self, name: &str, ty: &Type)

Substitute a type for a given name in the environment.

fn get_type(&self, env: &Env) -> Result<Type, Error>

Get the type associated with a value under a given environment.

fn substitute_types(&mut self, names: &[String], types: &[Type])

impl Hash for PolyProcedure

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 PolyProcedure

fn eq(&self, other: &Self) -> 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 Serialize for PolyProcedure

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TypeCheck for PolyProcedure

fn type_check(&self, env: &Env) -> Result<(), Error>

Type check the expression.

impl Eq for PolyProcedure