这是可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行的命令输入器，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
typer - TypEr，Erlang 代码的类型注释器
商品描述
TypEr 是一个在 Erlang 代码中显示和自动插入类型注释的工具。
它使用 Dialyzer 来推断变量类型。
用法
打字机 [--help] [--version] [--comments] [--plt PltFile]
[--显示 | --show-exported | --注释 | --annotate-inc-files]
[-Ddefine]* [-I include_dir]* [-T 应用程序]* [-r] 文件*
选项：
-r DIR
递归搜索目录以查找它们下面的 .erl 文件。
- 展示
在标准输出上打印所有函数的类型规范（这是默认的
行为; 这个选项不是真的需要）。
--显示导出
与 --show 相同，但仅打印导出函数的规范。 规格是
按函数名称的字母顺序显示。
- 注释
用类型规范注释指定的文件。
--annotate-inc-文件
与 --annotate 相同，但注释所有 -include() 文件以及所有 .erl 文件（使用
谨慎使用此选项，尚未经过太多测试）。
- 注释
使用 Edoc 注释打印类型信息，而不是类型合同。
--plt 文件
使用指定的 Dialyzer PLT 文件而不是默认文件。
-T 文件
该文件 文件 已经包含类型规范，这些规范是为了
被信任以便打印其余文件的规格。 （多个文件或
可以指定以空格分隔的目录。）
-名称 （或 -Dname=值)
将定义的名称传递给 TypeEr。 （定义的语法与使用的相同
by 埃里克，请参阅 埃里克（1）。）
-I 包含目录
将 include_dir 传递给 TypEr。 （includes 的语法与使用的语法相同
by 埃里克，请参阅 埃里克（1）。）
- 版 （或 -v)
打印打字机版本并退出。
- 帮帮我 （或 -h)
打印帮助信息并退出。
请注意：
* 表示这些选项可能多次出现。
使用 onworks.net 服务在线使用打字机
