<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>Thanks a lot. I want to get the full list of built-in types spec, while as dict() is missed in official document but is used anywhere. So another question is where is the built-in types specs declared, specially, the dict() type.</div><div><blockquote type="cite"><blockquote class="webkit-indent-blockquote" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 40px; border-top-style: none; border-right-style: none; border-bottom-style: none; border-left-style: none; border-width: initial; border-color: initial; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div><font class="Apple-style-span" face="'courier new', monospace">./lib/compiler/src/rec_env.erl:-type mapping() :: {'map', <font class="Apple-style-span" color="#7e0905">dict</font>()} | {'rec', <font class="Apple-style-span" color="#af1209">dict</font>(), <font class="Apple-style-span" color="#f93a20">dict</font>()}.</font></div></blockquote></blockquote></div><br><div><div>On Oct 26, 2011, at 12:30 PM, Michael Richter wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><blockquote class="webkit-indent-blockquote" style="margin: 0 0 0 40px; border: none; padding: 0px;"><div><b><font class="Apple-style-span" face="'courier new', monospace">michael@isolde:~/Development/Erlang/otp_src_R14B04$ for a in type spec ; do grep "^-$a" $(find . -name *.erl -or -name *.hrl) ; done</font></b></div>
<div><font class="Apple-style-span" face="'courier new', monospace">./bootstrap/lib/parsetools/include/yeccpre.hrl:-type yecc_ret() :: {'error', _} | {'ok', _}.</font></div><div><font class="Apple-style-span" face="'courier new', monospace">./bootstrap/lib/stdlib/include/erl_bits.hrl:-type bt_endian():: 'big' | 'little' | 'native'.</font></div>
<div><font class="Apple-style-span" face="'courier new', monospace">./bootstrap/lib/stdlib/include/erl_bits.hrl:-type bt_sign() :: 'signed' | 'unsigned'.</font></div><div><font class="Apple-style-span" face="'courier new', monospace">./bootstrap/lib/stdlib/include/erl_bits.hrl:-type bt_type() :: 'integer' | 'float' | 'binary' | 'utf8' | 'utf16' | 'utf32'.</font></div>
<div><font class="Apple-style-span" face="'courier new', monospace">./bootstrap/lib/stdlib/include/erl_bits.hrl:-type bt_unit() :: 1..256.</font></div><div><font class="Apple-style-span" face="'courier new', monospace">./lib/compiler/test/compile_SUITE.erl:-type all_return_type() :: [atom()].</font></div>
<div><font class="Apple-style-span" face="'courier new', monospace">./lib/compiler/src/rec_env.erl:-type mapping() :: {'map', dict()} | {'rec', dict(), dict()}.</font></div><div><font class="Apple-style-span" face="'courier new', monospace">./lib/compiler/src/rec_env.erl:-type environment() :: [mapping(),...].</font></div>
<div><font class="Apple-style-span" face="'courier new', monospace">./lib/compiler/src/v3_core.erl:-type iapply() :: #iapply{}.</font></div><div><font class="Apple-style-span" face="'courier new', monospace">./lib/compiler/src/v3_core.erl:-type ibinary() :: #ibinary{}.</font></div>
<div><font class="Apple-style-span" face="'courier new', monospace">./lib/compiler/src/v3_core.erl:-type icall() :: #icall{}.</font></div><div><font class="Apple-style-span" face="'courier new', monospace">./lib/compiler/src/v3_core.erl:-type icase() :: #icase{}.</font></div>
<div><font class="Apple-style-span" face="'courier new', monospace">./lib/compiler/src/v3_core.erl:-type icatch() :: #icatch{}.</font></div><div><font class="Apple-style-span" face="'courier new', monospace">./lib/compiler/src/v3_core.erl:-type iclause() :: #iclause{}.</font></div>
<div><font class="Apple-style-span" face="'courier new', monospace">./lib/compiler/src/v3_core.erl:-type ifun() :: #ifun{}.</font></div><div><font class="Apple-style-span" face="'courier new', monospace">./lib/compiler/src/v3_core.erl:-type iletrec() :: #iletrec{}.</font></div>
<div><font class="Apple-style-span" face="'courier new', monospace">./lib/compiler/src/v3_core.erl:-type imatch() :: #imatch{}.</font></div><div><font class="Apple-style-span" face="'courier new', monospace">…</font></div>
</blockquote><div><br></div><div>From there redirect to a file or run it for further processing through an awk script and you've got a list of all types and function specifications in the entire distribution arranged however you like it.</div>
<br><div class="gmail_quote">On 26 October 2011 10:31, Gary Hai <span dir="ltr"><<a href="mailto:gary@xl59.com">gary@xl59.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div style="word-wrap:break-word"><div>Hi all,</div><div><br></div><div>I am eager for a full list of all built-in types and function specifications as reference manual for erlang coding. The erlang reference manual ( <a href="http://www.erlang.org/doc/reference_manual/typespec.html" target="_blank">http://www.erlang.org/doc/reference_manual/typespec.html</a>) of type specs page does not include OTP module, so I think it is not a full list.</div>
<br>Thanks,<div><br><font color="#888888"><div>Gary</div></font></div></div><br>_______________________________________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/listinfo/erlang-questions</a><br>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br>"Perhaps people don't believe this, but throughout all of the discussions of entering China our focus has really been what's best for the Chinese people. It's not been about our revenue or profit or whatnot."<br>
--Sergey Brin, demonstrating the emptiness of the "don't be evil" mantra.<br>
</blockquote></div><br></body></html>