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()}

在我的代码中，我想编写一个函数，例如，使用一个 Result 并产生其他东西。但是， 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 导出的。模块。

您可以搜索-export_type Erlang/OTP 源代码树中的指令；我不知道有什么其他方法可以知道实际导出了哪些类型。