diff --git a/doc/md/base/_category_.yml b/doc/md/base/_category_.yml index e917c10aec8..21fb706477d 100644 --- a/doc/md/base/_category_.yml +++ b/doc/md/base/_category_.yml @@ -2,3 +2,4 @@ position: 7 label: 'Motoko base library' collapsible: true # make the category collapsible collapsed: true + diff --git a/doc/md/canister-maintenance/_category_.yml b/doc/md/canister-maintenance/_category_.yml index 87b2fc9ea7f..36d0e1cd60f 100644 --- a/doc/md/canister-maintenance/_category_.yml +++ b/doc/md/canister-maintenance/_category_.yml @@ -2,3 +2,4 @@ position: 3 label: 'Canister maintenance' collapsible: true # make the category collapsible collapsed: true + diff --git a/doc/md/reference/language-manual.md b/doc/md/reference/language-manual.md index 6e7e19d2228..3346d8ebab6 100644 --- a/doc/md/reference/language-manual.md +++ b/doc/md/reference/language-manual.md @@ -259,7 +259,7 @@ Equality and inequality are structural and based on the observable content of th | `` | Category | | | --------- | -------- | ---------------------------------------------- | | `&` | B | Bitwise and | -| `\|` | B | Bitwise or | +| `|` | B | Bitwise or | | `^` | B | Exclusive or | | `<<` | B | Shift left | | `␣>>` | B | Shift right (must be preceded by whitespace) | @@ -288,7 +288,7 @@ Equality and inequality are structural and based on the observable content of th | `%=` | A | In place modulo | | `**=` | A | In place exponentiation | | `&=` | B | In place logical and | -| `\|=` | B | In place logical or | +| `|=` | B | In place logical or | | `^=` | B | In place exclusive or | | `<<=` | B | In place shift left | | `>>=` | B | In place shift right | @@ -310,7 +310,7 @@ The following table defines the relative precedence and associativity of operato | ---------- | ------------- | ----------------------------------------------------------------------------------------------------------------------------- | | LOWEST | none | `if _ _` (no `else`), `loop _` (no `while`) | | (higher) | none | `else`, `while` | -| (higher) | right | `:=`, `+=`, `-=`, `*=`, `/=`, `%=`, `**=`, `#=`, `&=`, `\|=`, `^=`, `<<=`, `>>=`, `<<>=`, `<>>=`, `+%=`, `-%=`, `*%=`, `**%=` | +| (higher) | right | `:=`, `+=`, `-=`, `*=`, `/=`, `%=`, `**=`, `#=`, `&=`, `|=`, `^=`, `<<=`, `>>=`, `<<>=`, `<>>=`, `+%=`, `-%=`, `*%=`, `**%=` | | (higher) | left | `:` | | (higher) | left | `|>` | | (higher) | left | `or` | @@ -318,7 +318,7 @@ The following table defines the relative precedence and associativity of operato | (higher) | none | `==`, `!=`, `<`, `>`, `<=`, `>`, `>=` | | (higher) | left | `+`, `-`, `#`, `+%`, `-%` | | (higher) | left | `*`, `/`, `%`, `*%` | -| (higher) | left | `\|` | +| (higher) | left | `|` | | (higher) | left | `&` | | (higher) | left | `^` | | (higher) | none | `<<`, `>>`, `<<>`, `<>>` | diff --git a/doc/md/writing-motoko/actor-classes.md b/doc/md/writing-motoko/actor-classes.md index 4adfda69dec..151fd0a0d9b 100644 --- a/doc/md/writing-motoko/actor-classes.md +++ b/doc/md/writing-motoko/actor-classes.md @@ -7,7 +7,7 @@ sidebar_position: 3 ## Overview -Actor classes enable you to create networks of actors programmatically. Actor classes have to be defined in a separate source file. To illustrate how to define and import actor classes, the following example implements a distributed map of keys of type [[`Nat`](../base/Nat.md)](../base/Nat.md) to values of type [`Text`](../base/Text.md). It provides simple insert and lookup functions, `put(k, v)` and `get(k)`, for working with these keys and values. +Actor classes enable you to create networks of actors programmatically. Actor classes have to be defined in a separate source file. To illustrate how to define and import actor classes, the following example implements a distributed map of keys of type [`Nat`](../base/Nat.md) to values of type [`Text`](../base/Text.md). It provides simple insert and lookup functions, `put(k, v)` and `get(k)`, for working with these keys and values. ## Defining an actor class diff --git a/doc/md/writing-motoko/errors.md b/doc/md/writing-motoko/errors.md index d851765a5c7..0b3061b15fb 100644 --- a/doc/md/writing-motoko/errors.md +++ b/doc/md/writing-motoko/errors.md @@ -2,7 +2,7 @@ sidebar_position: 9 --- -# Errors and options +# Error handling ## Overview diff --git a/doc/md/writing-motoko/integers.md b/doc/md/writing-motoko/integers.md index 9f30661c529..e2c51db0def 100644 --- a/doc/md/writing-motoko/integers.md +++ b/doc/md/writing-motoko/integers.md @@ -15,7 +15,7 @@ The type [`Nat`](../base/Nat.md) is a subtype of [`Int`](../base/Int.md), so you Motoko also provides bounded, or fixed-size integers and naturals, using a suffix to indicate the size of the type, in bits. -Thus [`Int8`](../base/Int8.md), [`Int16`](../base/Int16.md) and [`Int32`](../base/Int32.md) and [[`Int64`](../base/Int64.md)](../base/Int64.md) are 8-, 16-, 32- and 64-bit integer types, while [`Nat8`](../base/Nat8.md), [`Nat16`](../base/Nat16.md), [`Nat32`](../base/Nat32.md), and [`Nat64`](../base/Nat64.md) are 8-, 16-, 32- and 64-bit natural types. +Thus [`Int8`](../base/Int8.md), [`Int16`](../base/Int16.md) and [`Int32`](../base/Int32.md) and [`Int64`](../base/Int64.md) are 8-, 16-, 32- and 64-bit integer types, while [`Nat8`](../base/Nat8.md), [`Nat16`](../base/Nat16.md), [`Nat32`](../base/Nat32.md), and [`Nat64`](../base/Nat64.md) are 8-, 16-, 32- and 64-bit natural types. An arithmetic operation on a value of a fixed-size type will trap if its result exceeds the bounds of the fixed-size type, either due to overflow or underflow. For example, `255 : Nat8 + 3` traps, because 258 is too large for a [`Nat8`](../base/Nat8.md). diff --git a/doc/md/writing-motoko/local-objects-classes.md b/doc/md/writing-motoko/local-objects-classes.md index 6941580132b..43eaf71f8c8 100644 --- a/doc/md/writing-motoko/local-objects-classes.md +++ b/doc/md/writing-motoko/local-objects-classes.md @@ -57,7 +57,7 @@ This object `counter` has the following object type, written as a list of field- } ``` -Each field type consists of an identifier, a colon `:`, and a type for the field content. Here, each field is a function, and thus has an arrow type form (`_ → _`). +Each field type consists of an identifier, a colon `:`, and a type for the field content. Here, each field is a function, and thus has an arrow type form (`_ -> _`). In the declaration of `object`, the variable `count` was explicitly declared neither as `public` nor as `private`.