Syntax Lookup
Enter some language construct you want to know more about.
This is a labeled argument.
When declaring a function, arguments can be prefixed with ~
which means that they can and need to be called by their name, not the argument position. This is especially useful to differentiate them more easily if they are of the same type.
Example
Labeled arguments can be provided in any order:
This also works together with partial application: