aboutsummaryrefslogtreecommitdiffstats
path: root/system/doc/reference_manual/typespec.xml
AgeCommit message (Collapse)Author
2018-09-21Update copyright yearHenrik Nord
2018-08-24Document allowed integer ops in typesPéter Gömöri
2017-09-12Dialyzer: Rewrite some of the docs of map typesHans Bolinder
Use "association" instead of "pair" as in Data Types and The Abstract Format.
2016-12-12doc: Enchance map pair optional/mandatory notesBjörn-Egil Dahlberg
2016-12-12doc: Change "stands for" to "denotes" in typespecBjörn-Egil Dahlberg
2016-12-12Remove whitespace errorsBjörn-Egil Dahlberg
2016-10-05Update per review comments.Doug Rohrer
2016-10-04Fix reference to automatic `undefined` field declared types.Doug Rohrer
In 8ce35b287fb50a6845fccf6a13c672aae303dc91 automatic insertion of `undefined` for record fields without initializers was removed, but this was not noted in the documentation. Add a warning about this change using similar verbiage as the original docs.
2016-09-01doc: Correct errors introduced by Editorial changesHans Bolinder
Fix some older errors as well.
2016-06-09Remove support for '...' in Maps typesHans Bolinder
It is possible that '...' is added later (OTP 20.0), but for now we are not sure of all details.
2016-04-28doc: Correct shorthand typoBjörn-Egil Dahlberg
2016-04-28erl_parse: Add parsing for new map type syntaxMagnus Lång
erl_types typesets mandatory keys with :=, and uses "..." as a shorthand for "any() => any()". Add these to erl_parse so that all representable types can be written in type-specs.
2016-03-04erts: Use 'bit string' in The Abstract Format documentHans Bolinder
2016-01-26Delete a couple of leftover chars in Dialyzer docLuca Favatella
2015-12-15doc: Remove 'is_subtype' from Types and Function SpecificationsHans Bolinder
It is harder to remove is_subtype from the parser since the abstract format does not separate is_subtype from the '::' syntax.
2015-12-07doc: Fix some minor issues in Types and Function SpecificationsHans Bolinder
2015-06-18Change license text to APLv2Bruce Yinhe
2015-05-08dialyzer: document the type identifier()Hans Bolinder
2015-03-26doc: Use module() in the definition of the built-in type mfa()Hans Bolinder
2015-03-12Update Erlang Reference ManualHans Bolinder
Language cleaned up by the technical writers xsipewe and tmanevik from Combitech. Proofreading and corrections by Hans Bolinder.
2015-01-14dialyzer: Introduce module local suppression of warningsHans Bolinder
The -dialyzer() attribute can be used for suppressing warnings in a module by specifying functions or warning options. It can also be used for requesting warnings in a module.
2014-11-27Merge branch 'mururu/typespec-doc-about-function/OTP-12327' into maintMarcus Arendt
* mururu/typespec-doc-about-function/OTP-12327: Add infometion about function()
2014-11-21Add infometion about function()Yuki Ito
2014-11-05Section reference number incorrectjmrepetti
2014-04-01doc: Descripe Maps type syntaxBjörn-Egil Dahlberg
2014-02-12[refmanual] Fix List in definition of pre-defined typesHans Bolinder
improper_list(Type1, Type2) has been replaced by nonempty_improper_list(Type1, Type2).
2013-09-12Merge branch 'maint'Hans Bolinder
* maint: Correct documentation of predefined types crypto: Add ticket for 5d8a13bb6a180e0a
2013-09-12Correct documentation of predefined typesHans Bolinder
The documentation of predefined types has been corrected Thanks to Kostis Sagonas.
2013-09-10Merge branch 'maint'Hans Bolinder
* maint: Correct documentation of predefined and built-in types
2013-09-06Correct documentation of predefined and built-in typesHans Bolinder
iodata/0, arity/0, and nonempty_list/0,1 have been added; nonempty_maybe_improper_list/1 and maybe_improper_list/1 removed.
2013-04-19Convert XML files to UTF-8Hans Bolinder
2013-02-11Clean up of documentation of type languageKostis Sagonas
Prompted by noticing that the type language description was a bit vague in its explanation of the syntax and semantics of bitstring types, I decided to add this information. While at it, a general clean up and rephrasing was performed. The binary() type is now described as an alias, as it should be, and a bitstring() type is also described as a built-in alias.
2013-01-25Extend char() to Unicode charactersHans Bolinder
The code related to the introduction of unicode_string() and unicode_char() has been removed. The types char() and string() have been extended to include Unicode characters. In fact char() was changed some time ago; this commit is about cleaning up the documentation and introduce better names for some functions.
2011-12-09Update copyright yearsBjörn-Egil Dahlberg
2011-11-10Remove exec bit from: erl, hrl, xml, html, asn, gif, xpmRicardo Catalinas Jiménez
2010-09-07Update the Types and Function Specifications chapter in the Reference Manual.Hans Bolinder
The latest additions to the extension of Erlang used for describing types and specifications have been documented. There are new compiler attributes such as -opaque and -export_all as well as an alternative syntax for subtype constraints ('::' instead of is_subtype/2).
2010-09-07Up-to-date additions and changes to type reference manual.Kostis Sagonas
2010-09-07Up-to-date additions and changes to type reference manual.Kostis Sagonas
2010-07-08reference() substituted for ref() in docsHans Bolinder
2010-01-13OTP-8366 Type specifications (-type and -spec) are now described in theKenneth Lundin
reference manual.<br/>Note!, they are still preliminary.
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 00:41:57 +0000