Description Usage Arguments Value Examples
Using function_
is an alternative way to define a function where
arguments are type-safe. Arguments are specified as name ~ type
or as
type:name ~ value
. The last argument to function_
is the body
of the function. If no type is specified, it will default to
some
, which is true for anything.
1 |
... |
Arguments for the function and the function body as the last argument. |
a type-safe function
1 2 3 |
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.