balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Docs: Michelson: fix typos

Browse Source
This commit is contained in:
bruno 2018-02-07 12:44:33 +01:00
parent 75f4946072
commit 0241ccd8b0
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
docs/whitedoc/michelson.rst
View File

@ -393,7 +393,7 @@ III - Core data types and notations
of type ``(t)`` that we note ``{ Elt key value ; ... }``, with keys of type ``(t)`` that we note ``{ Elt key value ; ... }``, with keys
sorted. sorted.
- ``big_map (k) (t)``: Lazily deserialized maps from keys of type - ``big_map (k) (t)``: Lazily deserialized maps from keys of type
``(k)`` of values of type ``(t)`` that we note ``{ Elt key value ... }``, ``(k)`` of values of type ``(t)`` that we note ``{ Elt key value ; ... }``,
with keys sorted. These maps should be used if you intend to store with keys sorted. These maps should be used if you intend to store
large amounts of data in a map. They have higher gas costs than large amounts of data in a map. They have higher gas costs than
standard maps as data is lazily deserialized. You are limited to a standard maps as data is lazily deserialized. You are limited to a
@ -1055,28 +1055,28 @@ Operations on maps
where SIZE / { <tl> } : S => s : S where SIZE / { <tl> } : S => s : S
Operations on big_maps Operations on ``big_maps``
~~~~~~~~~~~~~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~
The behaviour of these operations is the same as if they were normal The behaviour of these operations is the same as if they were normal
maps, except that under the hood, the elements are loaded and maps, except that under the hood, the elements are loaded and
deserialized on demand. deserialized on demand.
- ``GET``: Access an element in a big_map, returns an optional value to be - ``GET``: Access an element in a ``big_map``, returns an optional value to be
checked with ``IF_SOME``. checked with ``IF_SOME``.
:: ::
:: 'key : big_map 'key 'val : 'S -> option 'val : 'S :: 'key : big_map 'key 'val : 'S -> option 'val : 'S
- ``MEM``: Check for the presence of an element in a big_map. - ``MEM``: Check for the presence of an element in a ``big_map``.
:: ::
:: 'key : big_map 'key 'val : 'S -> bool : 'S :: 'key : big_map 'key 'val : 'S -> bool : 'S
- ``UPDATE``: Assign or remove an element in a map. - ``UPDATE``: Assign or remove an element in a ``big_map``.
:: ::