Erlang：モジュールの型宣言をインポートするにはどうすればいいですか？例えば

Question

は、HTTPCライブラリ（http://erlang.org/doc/man/httpc.html#request-4）は、いくつかのタイプを定義しています。私のコードでは

status_line() = {http_version(), status_code(), reason_phrase()} 
http_version() = string(), for example, "HTTP/1.1" 
status_code() = integer() 
reason_phrase() = string() 
content_type() = string() 
headers() = [header()] 
header() = {field(), value()} 

が、私は例えば、はの検索結果を消費し、何か他のものを生産する、機能を書きたいです。しかし、rebar3 dialyzerは文句を言う：私はそれらを再使用できるように

===> Verifying dependencies... 
===> Compiling xxx 
===> Compiling src/httpabs.erl failed 
src/httpabs.erl:35: type headers() undefined 
src/httpabs.erl:35: type status_code() undefined 
src/httpabs.erl:35: type status_line() undefined 

は、どのように私はそれらの型宣言をインポートしていますか？

Answer 1

一般に、エクスポートされた関数の使用方法と同様に、モジュール名の前に別のモジュールからエクスポートされた型を使用します。module:type_name()。

ただし、あなたが言及している種類はドキュメントでのみ使用されています。実際にはhttpcモジュールからエクスポートされません。

Erlang/OTPソースツリーで-export_typeディレクティブを検索できます。どのタイプが実際にエクスポートされているかを知る方法は他にありません。