encode primitive as list with anchors

to make it consistent with builtins and configuration options
This commit is contained in:
Valentin Gagarin 2022-08-03 11:23:40 +02:00
parent 27138f1ec6
commit ceed4d4142

View file

@ -2,7 +2,7 @@
## Primitives ## Primitives
### String - <a id="#type-string" href="#type-string">String</a>
*Strings* can be written in three ways. *Strings* can be written in three ways.
@ -112,7 +112,7 @@ is*, without quotes. For instance, the string
`"http://example.org/foo.tar.bz2"` can also be written as `"http://example.org/foo.tar.bz2"` can also be written as
`http://example.org/foo.tar.bz2`. `http://example.org/foo.tar.bz2`.
### Number - <a id="#type-number" href="#type-number">Number</a>
Numbers, which can be *integers* (like `123`) or *floating point* Numbers, which can be *integers* (like `123`) or *floating point*
(like `123.43` or `.27e13`). (like `123.43` or `.27e13`).
@ -121,7 +121,7 @@ Numbers are type-compatible: pure integer operations will always
return integers, whereas any operation involving at least one return integers, whereas any operation involving at least one
floating point number will have a floating point number as a result. floating point number will have a floating point number as a result.
### Path - <a id="#type-path" href="#type-path">Path</a>
*Paths*, e.g., `/bin/sh` or `./builder.sh`. A path must contain at *Paths*, e.g., `/bin/sh` or `./builder.sh`. A path must contain at
least one slash to be recognised as such. For instance, `builder.sh` least one slash to be recognised as such. For instance, `builder.sh`
@ -150,11 +150,11 @@ least one slash must appear *before* any antiquotations for this to be
recognized as a path. `a.${foo}/b.${bar}` is a syntactically valid division recognized as a path. `a.${foo}/b.${bar}` is a syntactically valid division
operation. `./a.${foo}/b.${bar}` is a path. operation. `./a.${foo}/b.${bar}` is a path.
### Boolean - <a id="#type-boolean" href="#type-boolean">Boolean</a>
*Booleans* with values `true` and `false`. *Booleans* with values `true` and `false`.
### Null - <a id="#type-null" href="#type-null">Null</a>
The null value, denoted as `null`. The null value, denoted as `null`.