From 4f3858aaafbf12588e90d33851235a27f5497deb Mon Sep 17 00:00:00 2001 From: Daniel Chao Date: Mon, 4 Mar 2024 07:49:44 -0800 Subject: [PATCH] Docs fix: Container is not a type, add more types (#282) Adjusts documentation to remove legacy `Container` type, and add the rest of the generic types in the stdlib. --- docs/modules/language-reference/pages/index.adoc | 16 ++++++++++++---- 1 file changed, 12 insertions(+), 4 deletions(-) diff --git a/docs/modules/language-reference/pages/index.adoc b/docs/modules/language-reference/pages/index.adoc index be75e2dc..8b329227 100644 --- a/docs/modules/language-reference/pages/index.adoc +++ b/docs/modules/language-reference/pages/index.adoc @@ -3713,10 +3713,18 @@ The following class types are _generic types_: * `Pair` * `Collection` +* `Listing` * `List` +* `Mapping` * `Set` * `Map` -* `Container` +* `Function0` +* `Function1` +* `Function2` +* `Function3` +* `Function4` +* `Function5` +* `Class` A generic type has constituent types written in angle brackets (`<>`): @@ -3727,7 +3735,7 @@ coll: Collection // <2> list: List // <3> set: Set // <4> map: Map // <5> -cont: Mapping // <6> +mapping: Mapping // <6> ---- <1> a pair with first element of type `String` and second element of type `Bird` @@ -3735,7 +3743,7 @@ cont: Mapping // <6> <3> a list of `Bird` elements <4> a set of `Bird` elements <5> a map with `String` keys and `Bird` values -<6> a container of `Bird` elements +<6> a mapping of `String` keys and `Bird` values Omitting the constituent types is equivalent to declaring them as `unknown`: @@ -3746,7 +3754,7 @@ coll: Collection // equivalent to `Collection` list: List // equivalent to `List` set: Set // equivalent to `Set` map: Map // equivalent to `Map` -cont: Mapping // equivalent to `Mapping` +mapping: Mapping // equivalent to `Mapping` ---- The `unknown` type is both a top and a bottom type.