Primitive type FunctionDefinition

A compile-time type which represents a function definition in this source program.

A FunctionDefinition is passed as the first argument to a macro attribute on top of a function:

#[attr]
fn foo() {}

comptime fn attr(function: FunctionDefinition) {
    println(function.name()); // prints "quote { foo }"
}

Implementations

`impl FunctionDefinition`

pub comptime fn as_typed_expr(self) -> TypedExpr pub comptime fn body(self) -> Expr pub comptime fn disable(self, error_message: CtString) pub comptime fn has_named_attribute<let N: u32>(self, name: str<N>) -> bool pub comptime fn is_unconstrained(self) -> bool pub comptime fn module(self) -> Module pub comptime fn name(self) -> Quoted pub comptime fn parameters(self) -> [(Quoted, Type)] pub comptime fn return_type(self) -> Type pub comptime fn visibility(self) -> Quoted

Trait implementations

`impl Eq for FunctionDefinition`

pub comptime fn eq(self, other: Self) -> bool

`impl Hash for FunctionDefinition`

pub comptime fn hash<H>(self, state: &mut H)
where
    H: Hasher