檢視原始碼 erl_internal (stdlib v6.2)

-spec add_predefined_functions(Forms) -> UpdatedForms
                                  when
                                      Forms :: [erl_parse:abstract_form() | erl_parse:form_info()],
                                      UpdatedForms ::
                                          [erl_parse:abstract_form() | erl_parse:form_info()].

將標準預先定義函式（例如 module_info/0）的程式碼新增到 Forms，這些函式將包含在每個模組中。

arith_op(OpName, Arity)

-spec arith_op(OpName, Arity) -> boolean() when OpName :: atom(), Arity :: arity().

如果 OpName/Arity 是算術運算子，則傳回 true，否則傳回 false。

bif(Name, Arity)

-spec bif(Name, Arity) -> boolean() when Name :: atom(), Arity :: arity().

如果 Name/Arity 是編譯器自動識別的 Erlang BIF，則傳回 true，否則傳回 false。

bool_op(OpName, Arity)

-spec bool_op(OpName, Arity) -> boolean() when OpName :: atom(), Arity :: arity().

如果 OpName/Arity 是布林運算子，則傳回 true，否則傳回 false。

comp_op(OpName, Arity)

-spec comp_op(OpName, Arity) -> boolean() when OpName :: atom(), Arity :: arity().

如果 OpName/Arity 是比較運算子，則傳回 true，否則傳回 false。

guard_bif(Name, Arity)

-spec guard_bif(Name, Arity) -> boolean() when Name :: atom(), Arity :: arity().

如果 Name/Arity 是允許在 guard 中使用的 Erlang BIF，則傳回 true，否則傳回 false。

list_op(OpName, Arity)

-spec list_op(OpName, Arity) -> boolean() when OpName :: atom(), Arity :: arity().

如果 OpName/Arity 是列表運算子，則傳回 true，否則傳回 false。

op_type(OpName, Arity)

-spec op_type(OpName, Arity) -> Type
                 when OpName :: atom(), Arity :: arity(), Type :: arith | bool | comp | list | send.

傳回 OpName/Arity 所屬的運算子 Type，如果它不是運算子，則產生 function_clause 錯誤。

send_op(OpName, Arity)

-spec send_op(OpName, Arity) -> boolean() when OpName :: atom(), Arity :: arity().

如果 OpName/Arity 是傳送運算子，則傳回 true，否則傳回 false。

type_test(Name, Arity)

-spec type_test(Name, Arity) -> boolean() when Name :: atom(), Arity :: arity().

如果 Name/Arity 是有效的 Erlang 類型測試，則傳回 true，否則傳回 false。