elixir - 如何通过 iex 显示命名函数的类型规范

Question

您可以通过 iex 上的命令从模块显示类型规范，即：

iex(1)> t Enum
@type t() :: Enumerable.t()
@type acc() :: any()
@type element() :: any()
@type index() :: integer()
@type default() :: any()

但是我如何从例如 Enum.reverse 中查看类型规范？

如果我转到源代码，那么我会看到

  @spec reverse(t) :: list
  def reverse(enumerable)

我认为t代表 Enum 本身@type t() :: Enumerable.t()并期望返回一个list

例如，在 python 中，你可以通过 shell 获取一个方法文档??（python 没有实现 typespecs，但你明白了）

In [1]: from urllib2 import urlparse
In [2]: urlparse??
def urlparse(url, scheme='', allow_fragments=True):
    """Parse a URL into 6 components:
    <scheme>://<netloc>/<path>;<params>?<query>#<fragment>
    Return a 6-tuple: (scheme, netloc, path, params, query, fragment).
    Note that we don't break the components up in smaller bits
    (e.g. netloc is a single string) and we don't expand % escapes."""

Answer 1

IEx.Helpers.h/1打印 typespec 以及函数的文档：

iex(1)> h Enum.reverse/1

                            def reverse(enumerable)

    @spec reverse(t()) :: list()

Returns a list of elements in enumerable in reverse order.

## Examples

    iex> Enum.reverse([1, 2, 3])
    [3, 2, 1]

快速阅读该IEx.Helpers模块后，我认为没有仅打印函数的 typespec 的内置辅助函数。

编辑：@spec在 Elixir (1.5.3) 的当前稳定版本中没有打印。此功能将出现在 Elixir 1.6 中。