From 0a32a8eeb98d5f3507edf5e303ae655f4b923c74 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Thu, 2 Dec 2021 22:24:21 +0100 Subject: Updating the documentation to match changes in Fate. --- content/fate_v1/computations/conditionals/_index.md | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) (limited to 'content/fate_v1/computations/conditionals/_index.md') diff --git a/content/fate_v1/computations/conditionals/_index.md b/content/fate_v1/computations/conditionals/_index.md index 7b65294..ee86b80 100644 --- a/content/fate_v1/computations/conditionals/_index.md +++ b/content/fate_v1/computations/conditionals/_index.md @@ -10,13 +10,22 @@ some condition. All possible returned values must be of the same type. Returns `C0` is `[BOOL]` yields true, `C1` otherwise. ### COND -{{< fatecode >}}(cond ([B0 = BOOL] [C0 = COMPUTATION]) ... ([BN = BOOL] [CN = COMPUTATION])){{< /fatecode >}} +{{< fatecode >}}(cond + ([B0 = BOOL] [C0 = COMPUTATION]) + ... + ([BN = BOOL] [CN = COMPUTATION]) +){{< /fatecode >}} Returns `[CI]`, such that `[BI]` is the first to hold true. If there is not such `Bi`, returns `[CN]`. ### SWITCH -{{< fatecode >}}(switch [T = COMPUTATION] ([V0 = COMPUTATION] [C0 = COMPUTATION]) ... ([VN = BOOL] [CN = COMPUTATION]) [D = COMPUTATION]){{< /fatecode >}}a +{{< fatecode >}}(switch [T = COMPUTATION] + ([V0 = COMPUTATION] [C0 = COMPUTATION]) + ... + ([VN = BOOL] [CN = COMPUTATION]) + [D = COMPUTATION] +){{< /fatecode >}}a Returns the first `CI` such that `VI` is equal to `T`. If there is not such `VI`, returns `[D]`. -- cgit v1.2.3-70-g09d2