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指令;我不知道知道实际导出哪些类型的任何其他方式。