Difference between revisions of "Template:Data types"
Jump to navigation
Jump to search
imported>Addbot m (Bot: Migrating 5 interwiki links, now provided by Wikidata on d:q11009956) |
(add basic types of type theory) |
||
| Line 45: | Line 45: | ||
*[[Associative array]] | *[[Associative array]] | ||
*[[class (computer programming)|Class]] | *[[class (computer programming)|Class]] | ||
| + | *[[Dependent type|Dependent]] | ||
| + | *[[Intuitionistic type theory#Equality type|Equality]] | ||
| + | *[[Inductive type|Inductive]] | ||
*[[List (abstract data type)|List]] | *[[List (abstract data type)|List]] | ||
*[[object (computer science)|Object]] | *[[object (computer science)|Object]] | ||
Revision as of 18:52, 26 June 2013
Initial visibility: currently defaults to autocollapse
To set this template's initial visibility, the |state= parameter may be used:
|state=collapsed:{{Data types|state=collapsed}}to show the template collapsed, i.e., hidden apart from its title bar|state=expanded:{{Data types|state=expanded}}to show the template expanded, i.e., fully visible|state=autocollapse:{{Data types|state=autocollapse}}
If the |state= parameter in the template on this page is not set, the template's initial visibility is taken from the |default= parameter in the Collapsible option template. For the template on this page, that currently evaluates to autocollapse.