Doc: minor grammar fixes and improvements
This commit is contained in:
parent
e7ff5910bd
commit
49bb35cc09
@ -29,13 +29,13 @@ The source code of Tezos is placed under the MIT Open Source License.
|
|||||||
The Community
|
The Community
|
||||||
-------------
|
-------------
|
||||||
|
|
||||||
- Several community built block explorers are available:
|
- Several community-built block explorers are available:
|
||||||
|
|
||||||
- http://tzscan.io
|
- http://tzscan.io
|
||||||
- https://tezos.id
|
- https://tezos.id
|
||||||
- https://tezex.info
|
- https://tezex.info
|
||||||
|
|
||||||
- A few community run websites collect useful Tezos links:
|
- A few community-run websites collect useful Tezos links:
|
||||||
|
|
||||||
- https://www.tezos.help
|
- https://www.tezos.help
|
||||||
- https://tezos.rocks
|
- https://tezos.rocks
|
||||||
|
@ -37,7 +37,7 @@ For example, an encoding that represents a 31 bit integer has type
|
|||||||
Encoding an object
|
Encoding an object
|
||||||
~~~~~~~~~~~~~~~~~~
|
~~~~~~~~~~~~~~~~~~
|
||||||
|
|
||||||
Encoding a single integer is fairly uninteresting. The `Dataencoding`
|
Encoding a single integer is fairly uninteresting. The `Data_encoding`
|
||||||
library provides a number of combinators that can be used to build more
|
library provides a number of combinators that can be used to build more
|
||||||
complicated objects. Consider the type that represents an interval from
|
complicated objects. Consider the type that represents an interval from
|
||||||
the first number to the second:
|
the first number to the second:
|
||||||
@ -54,7 +54,8 @@ We can define an encoding for this type as:
|
|||||||
Data_encoding.(obj2 (req "min" int64) (req "max" int64))
|
Data_encoding.(obj2 (req "min" int64) (req "max" int64))
|
||||||
|
|
||||||
In the example above we construct a new value ``interval_encoding`` by
|
In the example above we construct a new value ``interval_encoding`` by
|
||||||
combining two `int64` integers using the ``obj2`` constructor.
|
combining two `int64` integers using the ``obj2`` (object with two fields)
|
||||||
|
constructor.
|
||||||
|
|
||||||
The library provides different constructors, i.e. for objects that have
|
The library provides different constructors, i.e. for objects that have
|
||||||
no data (``Data_encoding.empty``), constructors for object up to 10
|
no data (``Data_encoding.empty``), constructors for object up to 10
|
||||||
@ -67,7 +68,7 @@ as a JSON object with field names.
|
|||||||
Lists, arrays, and options
|
Lists, arrays, and options
|
||||||
~~~~~~~~~~~~~~~~~~~~~~~~~~
|
~~~~~~~~~~~~~~~~~~~~~~~~~~
|
||||||
|
|
||||||
List, Arrays and options types can by built on top of ground data types.
|
List, arrays and options types can by built on top of ground data types.
|
||||||
|
|
||||||
.. code:: ocaml
|
.. code:: ocaml
|
||||||
|
|
||||||
@ -112,7 +113,7 @@ Encoding for this types can be expressed as:
|
|||||||
(fun s -> S s) ])
|
(fun s -> S s) ])
|
||||||
|
|
||||||
This variant encoding is a bit more complicated. Let’s look at the parts
|
This variant encoding is a bit more complicated. Let’s look at the parts
|
||||||
of the type:
|
of the encoding:
|
||||||
|
|
||||||
- We include an optimization hint to the binary encoding to inform it
|
- We include an optimization hint to the binary encoding to inform it
|
||||||
of the number of elements we expect in the tag. In most cases, we can
|
of the number of elements we expect in the tag. In most cases, we can
|
||||||
@ -150,7 +151,7 @@ First we define an untyped JSON AST:
|
|||||||
| `Null
|
| `Null
|
||||||
| `String of string ]
|
| `String of string ]
|
||||||
|
|
||||||
This is then parsed into a typed AST ( we eliminate several cases for
|
This is then parsed into a typed AST (we eliminate several cases for
|
||||||
clarity):
|
clarity):
|
||||||
|
|
||||||
.. code:: ocaml
|
.. code:: ocaml
|
||||||
@ -183,9 +184,9 @@ clarity):
|
|||||||
| Def : { name : string ;
|
| Def : { name : string ;
|
||||||
encoding : 'a t } -> 'a desc
|
encoding : 'a t } -> 'a desc
|
||||||
|
|
||||||
- The first set of constructors define all ground types.
|
- The first few constructors define all ground types.
|
||||||
- The constructors for ``Bytes``, ``String`` and ``String_enum``
|
- The constructors for ``Bytes``, ``String`` and ``String_enum``
|
||||||
includes a length fields in order to provide safe binary
|
include a length field in order to provide safe binary
|
||||||
serialization.
|
serialization.
|
||||||
- The constructors for ``Array`` and ``List`` are used by the
|
- The constructors for ``Array`` and ``List`` are used by the
|
||||||
combinators we saw earlier.
|
combinators we saw earlier.
|
||||||
@ -203,4 +204,4 @@ The library also provides various wrappers and convenience functions to
|
|||||||
make constructing these objects easier. Reading the documentation in the
|
make constructing these objects easier. Reading the documentation in the
|
||||||
`mli file
|
`mli file
|
||||||
<../api/odoc/tezos-data-encoding/Tezos_data_encoding/Data_encoding/index.html>`__
|
<../api/odoc/tezos-data-encoding/Tezos_data_encoding/Data_encoding/index.html>`__
|
||||||
should orient you on how to use these functions and their purposes.
|
should orient you on how to use these functions.
|
||||||
|
Loading…
Reference in New Issue
Block a user