Struct ezno_checker::types::functions::FunctionType
source · pub struct FunctionType {
pub id: FunctionId,
pub type_parameters: Option<GenericTypeParameters>,
pub parameters: SynthesisedParameters,
pub return_type: TypeId,
pub behavior: FunctionBehavior,
pub effect: FunctionEffect,
}
Expand description
This is a mesh of annotation and actually defined functions
Fields§
§id: FunctionId
Syntax defined pointer
type_parameters: Option<GenericTypeParameters>
TODO unsure about this field and how it tails with Pi Types
parameters: SynthesisedParameters
§return_type: TypeId
This is just aesthetic TODO also throw
behavior: FunctionBehavior
If async, generator and what to do with this
effect: FunctionEffect
See FunctionEffect
Trait Implementations§
source§impl Clone for FunctionType
impl Clone for FunctionType
source§fn clone(&self) -> FunctionType
fn clone(&self) -> FunctionType
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreAuto Trait Implementations§
impl Freeze for FunctionType
impl RefUnwindSafe for FunctionType
impl Send for FunctionType
impl Sync for FunctionType
impl Unpin for FunctionType
impl UnwindSafe for FunctionType
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more