doc/option-types: Move nullOr to Union types
This commit is contained in:
parent
1ad30772ea
commit
6949bc21ce
|
@ -299,6 +299,11 @@ If some values are instances of more than one of the types, it is not possible t
|
||||||
`with types; oneOf [ int str bool ]`. Multiple definitions cannot be
|
`with types; oneOf [ int str bool ]`. Multiple definitions cannot be
|
||||||
merged.
|
merged.
|
||||||
|
|
||||||
|
`types.nullOr` *`t`*
|
||||||
|
|
||||||
|
: `null` or type *`t`*. Multiple definitions are merged according to
|
||||||
|
type *`t`*.
|
||||||
|
|
||||||
|
|
||||||
## Sum types {#sec-option-types-sums}
|
## Sum types {#sec-option-types-sums}
|
||||||
|
|
||||||
|
@ -353,11 +358,6 @@ Composed types are types that take a type as parameter. `listOf
|
||||||
returned instead for the same `mkIf false` definition.
|
returned instead for the same `mkIf false` definition.
|
||||||
:::
|
:::
|
||||||
|
|
||||||
`types.nullOr` *`t`*
|
|
||||||
|
|
||||||
: `null` or type *`t`*. Multiple definitions are merged according to
|
|
||||||
type *`t`*.
|
|
||||||
|
|
||||||
`types.uniq` *`t`*
|
`types.uniq` *`t`*
|
||||||
|
|
||||||
: Ensures that type *`t`* cannot be merged. It is used to ensure option
|
: Ensures that type *`t`* cannot be merged. It is used to ensure option
|
||||||
|
|
Loading…
Reference in New Issue
Block a user