Erlang -- erl_internal

# erl_internal

###
Module

erl_internal

###
Module Summary

Internal Erlang definitions.

###
Description

This module defines Erlang BIFs, guard tests, and operators. This module is only of interest to programmers who manipulate Erlang code.

###
Exports

####
add_predefined_functions(Forms) -> UpdatedForms
OTP 20.0

### Types

Forms = [erl_parse:abstract_form() | erl_parse:form_info()]
UpdatedForms =
[erl_parse:abstract_form() | erl_parse:form_info()]

Adds to Forms the code for the standard pre-defined functions (such as module_info/0) that are to be included in every module.

####
arith_op(OpName, Arity) -> boolean()

### Types

OpName = atom()
Arity = arity()

Returns true if OpName/Arity is an arithmetic operator, otherwise false.

####
bif(Name, Arity) -> boolean()

### Types

Name = atom()
Arity = arity()

Returns true if Name/Arity is an Erlang BIF that is automatically recognized by the compiler, otherwise false.

####
bool_op(OpName, Arity) -> boolean()

### Types

OpName = atom()
Arity = arity()

Returns true if OpName/Arity is a Boolean operator, otherwise false.

####
comp_op(OpName, Arity) -> boolean()

### Types

OpName = atom()
Arity = arity()

Returns true if OpName/Arity is a comparison operator, otherwise false.

####
guard_bif(Name, Arity) -> boolean()

### Types

Name = atom()
Arity = arity()

Returns true if Name/Arity is an Erlang BIF that is allowed in guards, otherwise false.

####
list_op(OpName, Arity) -> boolean()

### Types

OpName = atom()
Arity = arity()

Returns true if OpName/Arity is a list operator, otherwise false.

####
op_type(OpName, Arity) -> Type

### Types

OpName = atom()
Arity = arity()
Type = arith | bool | comp | list | send

Returns the Type of operator that OpName/Arity belongs to, or generates a function_clause error if it is not an operator.

####
send_op(OpName, Arity) -> boolean()

### Types

OpName = atom()
Arity = arity()

Returns true if OpName/Arity is a send operator, otherwise false.

####
type_test(Name, Arity) -> boolean()

### Types

Name = atom()
Arity = arity()

Returns true if Name/Arity is a valid Erlang type test, otherwise false.