Struct CreateFunction 

pub struct CreateFunction<X: Extension = NoExt> {
    pub or_replace: bool,
    pub definer: Option<Box<Definer>>,
    pub if_not_exists: bool,
    pub name: ObjectName,
    pub params: ThinVec<FunctionParam<X>>,
    pub returns: Option<DataType<X>>,
    pub options: ThinVec<FunctionOption<X>>,
    pub body: Option<Box<FunctionBody<X>>>,
    pub meta: Meta,
}

CREATE [OR REPLACE] FUNCTION <name> ( [<param> [, ...]] ) [RETURNS <type>] [<option> ...].

The routine body has two disjoint grammatical homes on the FunctionBody axis. An opaque source string is introduced by the order-independent AS option, spelled either single-quoted (AS 'SELECT 1') or dollar-quoted (AS $$ … $$ / AS $tag$ … $tag$) where the dialect enables dollar_quoted_strings; the delimiter and verbatim body text round-trip from the body Literal’s span. A live SQL body — a SQL-standard RETURN <expr> (PostgreSQL 14+ / standard opt_routine_body) — is the trailing body slot, which strictly follows the whole option list (proven against the PG oracle: LANGUAGE sql RETURN 1 accepts, RETURN 1 LANGUAGE sql rejects), so it is a distinct parse position from AS, not another order-independent option. The two homes share the FunctionBody type (the axis vocabulary the dollar-body sibling staged) but not a grammatical slot.

The node is generic over X because a parameter or RETURNS type can be a host-owned DataType::Other under a custom dialect, and the live body carries an Expr<X> (stock builtins pin X = NoExt). The M1 surface is the parameter list, an optional RETURNS <type>, the FunctionOption cluster the corpus exercises (LANGUAGE / AS / null-call behaviour), and the trailing RETURN body; the fuller volatility, security, parallelism, and SET option matrix — and the statement-list BEGIN ATOMIC … END body that shares the trailing slot — are deliberate follow-ups the open option list and the FunctionBody axis extend without a shape change.

Fields

or_replace: bool

Whether the or replace form was present in the source.

definer: Option<Box<Definer>>

The optional MySQL DEFINER = <user> clause; None when omitted (always None for the PostgreSQL string-body routine, which has no definer prefix). Boxed because a Definer is comparatively large and the clause is rare, so a definer-less routine pays only a null pointer (the FunctionParam::default precedent).

if_not_exists: bool

Whether the MySQL IF NOT EXISTS guard was written (MySQL 8.0.29+); always false for PostgreSQL, which spells the intent CREATE OR REPLACE.

name: ObjectName

Name referenced by this syntax.

params: ThinVec<FunctionParam<X>>

params in source order.

returns: Option<DataType<X>>

Optional returns for this syntax.

options: ThinVec<FunctionOption<X>>

Options supplied in source order.

body: Option<Box<FunctionBody<X>>>

The trailing SQL-standard routine body (opt_routine_body) — a RETURN <expr> live SQL expression that follows the entire option list. Boxed and optional because it is usually absent (an AS-string routine leaves it unset, paying one null pointer — the FunctionParam::default precedent); a FunctionBody::Definition string body never lands here (it rides the AS option instead).

meta: Meta

Source location and node identity.

Trait Implementations

impl<X: Clone + Extension> Clone for CreateFunction<X>

fn clone(&self) -> CreateFunction<X>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<X: Debug + Extension> Debug for CreateFunction<X>

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

Formats the value using the given formatter.

impl<'de, X> Deserialize<'de> for CreateFunction<X>

where X: Deserialize<'de> + Extension,

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<X: Eq + Extension> Eq for CreateFunction<X>

impl<X: Hash + Extension> Hash for CreateFunction<X>

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<X: PartialEq + Extension> PartialEq for CreateFunction<X>

fn eq(&self, other: &CreateFunction<X>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<X: Extension + Render> Render for CreateFunction<X>

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

Return the render for this value.

fn operand_binding_power(&self) -> Option<BindingPower>

The binding power this node contributes when it appears as an operand, or None (the default) for a self-delimiting node — an atom, call, or constructor — that never needs parentheses.

impl<X> Serialize for CreateFunction<X>

where X: Serialize + Extension,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<X: Extension> Spanned for CreateFunction<X>

fn span(&self) -> Span

Return the span for this value.

impl<X: PartialEq + Extension> StructuralPartialEq for CreateFunction<X>