Differences
This shows you the differences between two versions of the page.
|
base_table_type [2026/07/31 02:57] hermann created |
base_table_type [2026/08/17 20:56] (current) hermann [Base Table Type] |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Base Table Type ====== | ====== Base Table Type ====== | ||
| - | A **Base Table** is the common supertype shared by [[Table Type|Table]] and [[Lookup Table Type|Lookup Table]]: both are subtypes of Base Table Type, so a Table or a Lookup Table can be connected directly to any port declared as Base Table Type, with no conversion involved. It exists purely to let a functor accept either shape generically — [[Number Table]], [[Name Table]], [[Get Table Info]], and [[Get Table Keys]] all take a Base Table Type input specifically so they work the same way whether they're given a Table or a Lookup Table. | + | A **Base Table** is the common supertype shared by [[Table Type|Table]] and [[Lookup Table Type|Lookup Table]]: both are subtypes of Base Table Type, so a Table or a Lookup Table can be connected directly to any port declared as Base Table Type, with no conversion involved. It exists purely to let a functor accept either shape generically — [[Number Table]], [[Get Table Info]], and [[Get Table Keys]] all take a Base Table Type input specifically so they work the same way whether they're given a Table or a Lookup Table. |
| There is no dedicated carrier functor for Base Table Type, and no way to hold one as a standalone value — a Base Table always begins life as an actual Table or Lookup Table; "Base Table" is only ever the port's declared type, not something separately constructed. | There is no dedicated carrier functor for Base Table Type, and no way to hold one as a standalone value — a Base Table always begins life as an actual Table or Lookup Table; "Base Table" is only ever the port's declared type, not something separately constructed. | ||