This section describes the DDL commands pertaining to functions.
Define a new function.
[ WITH with-item [, ...] ]
CREATE FUNCTION name ([ argspec ] [, ... ]) -> returnspec
USING ( expr );
[ WITH with-item [, ...] ]
CREATE FUNCTION name ([ argspec ] [, ... ]) -> returnspec
USING language functionbody ;
[ WITH with-item [, ...] ]
CREATE FUNCTION name ([ argspec ] [, ... ]) -> returnspec
"{" subcommand [, ...] "}" ;
where argspec is:
[ argkind ] argname: [ typequal ] argtype [ = default ]
argkind is:
[ { VARIADIC | NAMED ONLY } ]
typequal is:
[ { SET OF | OPTIONAL } ]
and returnspec is:
[ typequal ] rettype
and subcommand is one of
SET volatility := {'Immutable' | 'Stable' | 'Volatile'} ;
CREATE ANNOTATION annotation-name := value ;
USING ( expr ) ;
USING language functionbody ;CREATE FUNCTION defines a new function. If name is qualified
with a module name, then the function is created in that module,
otherwise it is created in the current module.
The function name must be distinct from that of any existing function with the same argument types in the same module. Functions of different argument types can share a name, in which case the functions are called overloaded functions.
Most sub-commands and options of this command are identical to the SDL function declaration, with some additional features listed below:
Function volatility determines how aggressively the compiler can optimize its invocations. Other than a slight syntactical difference this is the same as the corresponding SDL declaration.
Set the function’s annotation-name to value.
See CREATE ANNOTATION for details.
Define a function returning the sum of its arguments:
CREATE FUNCTION mysum(a: int64, b: int64) -> int64
USING (
SELECT a + b
);The same, but using a variadic argument and an explicit language:
CREATE FUNCTION mysum(VARIADIC argv: int64) -> int64
USING edgeql $$
SELECT sum(array_unpack(argv))
$$;Define a function using the block syntax:
CREATE FUNCTION mysum(a: int64, b: int64) -> int64 {
USING (
SELECT a + b
);
CREATE ANNOTATION title := "My sum function.";
};Change the definition of a function.
[ WITH with-item [, ...] ]
ALTER FUNCTION name ([ argspec ] [, ... ]) "{"
subcommand [, ...]
"}"
where argspec is:
[ argkind ] argname: [ typequal ] argtype [ = default ]
and subcommand is one of
SET volatility := {'Immutable' | 'Stable' | 'Volatile'} ;
RESET volatility ;
RENAME TO newname ;
CREATE ANNOTATION annotation-name := value ;
ALTER ANNOTATION annotation-name := value ;
DROP ANNOTATION annotation-name ;
USING ( expr ) ;
USING language functionbody ;ALTER FUNCTION changes the definition of a function. The command
allows to change annotations, the volatility level, and other attributes.
The following subcommands are allowed in the ALTER FUNCTION block
in addition to the commands common to the CREATE FUNCITON:
Remove explicitly specified volatility in favor of the volatility inferred from the function body.
Change the name of the function to newname.
Alter function annotation-name.
See ALTER ANNOTATION for details.
Remove function annotation-name.
See DROP ANNOTATION for details.
Remove the error message from this abstract constraint. The error message specified in the base abstract constraint will be used instead.
CREATE FUNCTION mysum(a: int64, b: int64) -> int64 {
USING (
SELECT a + b
);
CREATE ANNOTATION title := "My sum function.";
};
ALTER FUNCTION mysum(a: int64, b: int64) {
SET volatility := 'Immutable';
DROP ANNOTATION title;
};
ALTER FUNCTION mysum(a: int64, b: int64) {
USING (
SELECT (a + b) * 100
)
};Remove a function.
[ WITH with-item [, ...] ]
DROP FUNCTION name ([ argspec ] [, ... ]);
where argspec is:
[ argkind ] argname: [ typequal ] argtype [ = default ]DROP FUNCTION removes the definition of an existing function.
The argument types to the function must be specified, since there
can be different functions with the same name.
The name (optionally module-qualified) of an existing function.
The name of an argument used in the function definition.
The mode of an argument: SET OF or OPTIONAL or VARIADIC.
The data type(s) of the function’s arguments (optionally module-qualified), if any.
