Documentation

Endpoint for SQL procedure.

Example, stored function that returns current time in seconds:

>>> type SelectTime = Procedure "time" Integer

Example, stored function that squares given Int:

>>> type SquareProcedure = Arg "a" Int :> Procedure "square" Int