View Source Matcha.Context.Erlang (Matcha v0.1.10)

Link to this section Summary

Functions

All match specs can call :erlang.*/2.

All match specs can call :erlang.+/1.

All match specs can call :erlang.+/2.

All match specs can call :erlang.-/1.

All match specs can call :erlang.-/2.

All match specs can call :erlang.//2.

All match specs can call :erlang./=/2.

All match specs can call :erlang.</2.

All match specs can call :erlang.=/=/2.

All match specs can call :erlang.=:=/2.

All match specs can call :erlang.=</2.

All match specs can call :erlang.==/2.

All match specs can call :erlang.>/2.

All match specs can call :erlang.>=/2.

All match specs can call :erlang.abs/1.

All match specs can call :erlang.and/2.

All match specs can call :erlang.band/2.

All match specs can call :erlang.bit_size/1.

All match specs can call :erlang.bnot/1.

All match specs can call :erlang.bor/2.

All match specs can call :erlang.bsl/2.

All match specs can call :erlang.bsr/2.

All match specs can call :erlang.bxor/2.

All match specs can call :erlang.byte_size/1.

All match specs can call :erlang.ceil/1.

All match specs can call :erlang.div/2.

All match specs can call :erlang.element/2.

All match specs can call :erlang.floor/1.

All match specs can call :erlang.hd/1.

All match specs can call :erlang.is_atom/1.

All match specs can call :erlang.is_binary/1.

All match specs can call :erlang.is_float/1.

All match specs can call :erlang.is_function/1.

All match specs can call :erlang.is_integer/1.

All match specs can call :erlang.is_list/1.

All match specs can call :erlang.is_map/1.

All match specs can call :erlang.is_map_key/2.

All match specs can call :erlang.is_number/1.

All match specs can call :erlang.is_pid/1.

All match specs can call :erlang.is_port/1.

All match specs can call :erlang.is_reference/1.

All match specs can call :erlang.is_tuple/1.

All match specs can call :erlang.length/1.

All match specs can call :erlang.map_get/2.

All match specs can call :erlang.map_size/1.

All match specs can call :erlang.node/0.

All match specs can call :erlang.node/1.

All match specs can call :erlang.not/1.

All match specs can call :erlang.or/2.

All match specs can call the orelse/2 short-circuit expression.

All match specs can call :erlang.rem/2.

All match specs can call :erlang.round/1.

All match specs can call :erlang.self/0.

All match specs can call :erlang.size/1.

All match specs can call :erlang.tl/1.

All match specs can call :erlang.trunc/1.

All match specs can call :erlang.tuple_size/1.

All match specs can call :erlang.xor/2.

Link to this section Functions

All match specs can call :erlang.*/2.

All match specs can call :erlang.+/1.

All match specs can call :erlang.+/2.

All match specs can call :erlang.-/1.

All match specs can call :erlang.-/2.

All match specs can call :erlang.//2.

All match specs can call :erlang./=/2.

All match specs can call :erlang.</2.

All match specs can call :erlang.=/=/2.

All match specs can call :erlang.=:=/2.

All match specs can call :erlang.=</2.

All match specs can call :erlang.==/2.

All match specs can call :erlang.>/2.

All match specs can call :erlang.>=/2.

All match specs can call :erlang.abs/1.

All match specs can call :erlang.and/2.

All match specs can call the andalso/2 short-circuit expression.

All match specs can call :erlang.band/2.

All match specs can call :erlang.binary_part/2.

Link to this function

binary_part(arg1, arg2, arg3)

View Source

All match specs can call :erlang.binary_part/3.

All match specs can call :erlang.bit_size/1.

All match specs can call :erlang.bnot/1.

All match specs can call :erlang.bor/2.

All match specs can call :erlang.bsl/2.

All match specs can call :erlang.bsr/2.

All match specs can call :erlang.bxor/2.

All match specs can call :erlang.byte_size/1.

All match specs can call :erlang.ceil/1.

All match specs can call :erlang.div/2.

All match specs can call :erlang.element/2.

All match specs can call :erlang.floor/1.

All match specs can call :erlang.hd/1.

All match specs can call :erlang.is_atom/1.

All match specs can call :erlang.is_binary/1.

All match specs can call :erlang.is_float/1.

All match specs can call :erlang.is_function/1.

All match specs can call :erlang.is_function/2.

All match specs can call :erlang.is_integer/1.

All match specs can call :erlang.is_list/1.

All match specs can call :erlang.is_map/1.

All match specs can call :erlang.is_map_key/2.

All match specs can call :erlang.is_number/1.

All match specs can call :erlang.is_pid/1.

All match specs can call :erlang.is_port/1.

Link to this function

is_record(arg1, arg2, arg3)

View Source

All match specs can call :erlang.is_record/3.

All match specs can call :erlang.is_reference/1.

All match specs can call :erlang.is_tuple/1.

All match specs can call :erlang.length/1.

All match specs can call :erlang.map_get/2.

All match specs can call :erlang.map_size/1.

All match specs can call :erlang.node/0.

All match specs can call :erlang.node/1.

All match specs can call :erlang.not/1.

All match specs can call :erlang.or/2.

All match specs can call the orelse/2 short-circuit expression.

All match specs can call :erlang.rem/2.

All match specs can call :erlang.round/1.

All match specs can call :erlang.self/0.

All match specs can call :erlang.size/1.

All match specs can call :erlang.tl/1.

All match specs can call :erlang.trunc/1.

All match specs can call :erlang.tuple_size/1.

All match specs can call :erlang.xor/2.