| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2021-12-02 22:24:21 +0100 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2021-12-02 22:24:21 +0100 |
| commit | 0a32a8eeb98d5f3507edf5e303ae655f4b923c74 (patch) | |
| tree | 772d1793d7d1cdd323d598d144e1624699abcf36 /content/fate_v1/extensions | |
| parent | 0d2736d22ced1f9bf566192f8604f869e0f5c6b9 (diff) | |
Updating the documentation to match changes in Fate.
Diffstat (limited to 'content/fate_v1/extensions')
| -rw-r--r-- | content/fate_v1/extensions/_index.md | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/content/fate_v1/extensions/_index.md b/content/fate_v1/extensions/_index.md new file mode 100644 index 0000000..e9a04ee --- /dev/null +++ b/content/fate_v1/extensions/_index.md @@ -0,0 +1,15 @@ +--- +title: Extensions +weight: 9 +--- + +{{< fatecode >}}(declare_extra_instruction {Identifier} [T0 = TYPE] ... [TN = TYPE]){{< /fatecode >}} +Declares an external instruction `{Identifier}` with parameters of type `[T0]` +... `[TN]`. + +{{< fatecode >}}(declare_extra_computation [R = TYPE] {Identifier} [T0 = TYPE] ... [TN = TYPE]){{< /fatecode >}} +Declares an external computation `{Identifier}` with parameters of type `[T0]` +... `[TN]` and returning a value of type `[R]`. + +{{< fatecode >}}(declare_extra_type {Identifier}){{< /fatecode >}} +Declares an external type. |