Home
last modified time | relevance | path

Searched defs:get_bif_constr (Results 1 – 7 of 7) sorted by relevance

/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/dialyzer/src/
H A Ddialyzer_typesig.erl1392 get_bif_constr({erlang, is_atom, 1}, Dst, [Arg], State) -> function
1394 get_bif_constr({erlang, is_binary, 1}, Dst, [Arg], State) -> function
1400 get_bif_constr({erlang, is_float, 1}, Dst, [Arg], State) -> function
1423 get_bif_constr({erlang, is_list, 1}, Dst, [Arg], State) -> function
1425 get_bif_constr({erlang, is_map, 1}, Dst, [Arg], State) -> function
1427 get_bif_constr({erlang, is_number, 1}, Dst, [Arg], State) -> function
1429 get_bif_constr({erlang, is_pid, 1}, Dst, [Arg], State) -> function
1431 get_bif_constr({erlang, is_port, 1}, Dst, [Arg], State) -> function
1496 get_bif_constr({erlang, is_tuple, 1}, Dst, [Arg], State) -> function
1698 get_bif_constr({erlang, element, 2} = _BIF, Dst, Args, function
[all …]
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/dialyzer/src/
H A Ddialyzer_typesig.erl1392 get_bif_constr({erlang, is_atom, 1}, Dst, [Arg], State) -> function
1394 get_bif_constr({erlang, is_binary, 1}, Dst, [Arg], State) -> function
1400 get_bif_constr({erlang, is_float, 1}, Dst, [Arg], State) -> function
1423 get_bif_constr({erlang, is_list, 1}, Dst, [Arg], State) -> function
1425 get_bif_constr({erlang, is_map, 1}, Dst, [Arg], State) -> function
1427 get_bif_constr({erlang, is_number, 1}, Dst, [Arg], State) -> function
1429 get_bif_constr({erlang, is_pid, 1}, Dst, [Arg], State) -> function
1431 get_bif_constr({erlang, is_port, 1}, Dst, [Arg], State) -> function
1496 get_bif_constr({erlang, is_tuple, 1}, Dst, [Arg], State) -> function
1698 get_bif_constr({erlang, element, 2} = _BIF, Dst, Args, function
[all …]
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/dialyzer/src/
H A Ddialyzer_typesig.erl1392 get_bif_constr({erlang, is_atom, 1}, Dst, [Arg], State) -> function
1394 get_bif_constr({erlang, is_binary, 1}, Dst, [Arg], State) -> function
1400 get_bif_constr({erlang, is_float, 1}, Dst, [Arg], State) -> function
1423 get_bif_constr({erlang, is_list, 1}, Dst, [Arg], State) -> function
1425 get_bif_constr({erlang, is_map, 1}, Dst, [Arg], State) -> function
1427 get_bif_constr({erlang, is_number, 1}, Dst, [Arg], State) -> function
1429 get_bif_constr({erlang, is_pid, 1}, Dst, [Arg], State) -> function
1431 get_bif_constr({erlang, is_port, 1}, Dst, [Arg], State) -> function
1496 get_bif_constr({erlang, is_tuple, 1}, Dst, [Arg], State) -> function
1698 get_bif_constr({erlang, element, 2} = _BIF, Dst, Args, function
[all …]
/dports/lang/erlang/otp-OTP-24.1.7/lib/dialyzer/src/
H A Ddialyzer_typesig.erl1392 get_bif_constr({erlang, is_atom, 1}, Dst, [Arg], State) -> function
1394 get_bif_constr({erlang, is_binary, 1}, Dst, [Arg], State) -> function
1400 get_bif_constr({erlang, is_float, 1}, Dst, [Arg], State) -> function
1423 get_bif_constr({erlang, is_list, 1}, Dst, [Arg], State) -> function
1425 get_bif_constr({erlang, is_map, 1}, Dst, [Arg], State) -> function
1427 get_bif_constr({erlang, is_number, 1}, Dst, [Arg], State) -> function
1429 get_bif_constr({erlang, is_pid, 1}, Dst, [Arg], State) -> function
1431 get_bif_constr({erlang, is_port, 1}, Dst, [Arg], State) -> function
1496 get_bif_constr({erlang, is_tuple, 1}, Dst, [Arg], State) -> function
1698 get_bif_constr({erlang, element, 2} = _BIF, Dst, Args, function
[all …]
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/dialyzer/src/
H A Ddialyzer_typesig.erl1392 get_bif_constr({erlang, is_atom, 1}, Dst, [Arg], State) -> function
1394 get_bif_constr({erlang, is_binary, 1}, Dst, [Arg], State) -> function
1400 get_bif_constr({erlang, is_float, 1}, Dst, [Arg], State) -> function
1423 get_bif_constr({erlang, is_list, 1}, Dst, [Arg], State) -> function
1425 get_bif_constr({erlang, is_map, 1}, Dst, [Arg], State) -> function
1427 get_bif_constr({erlang, is_number, 1}, Dst, [Arg], State) -> function
1429 get_bif_constr({erlang, is_pid, 1}, Dst, [Arg], State) -> function
1431 get_bif_constr({erlang, is_port, 1}, Dst, [Arg], State) -> function
1496 get_bif_constr({erlang, is_tuple, 1}, Dst, [Arg], State) -> function
1698 get_bif_constr({erlang, element, 2} = _BIF, Dst, Args, function
[all …]
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/dialyzer/src/
H A Ddialyzer_typesig.erl1389 get_bif_constr({erlang, is_atom, 1}, Dst, [Arg], State) -> function
1391 get_bif_constr({erlang, is_binary, 1}, Dst, [Arg], State) -> function
1397 get_bif_constr({erlang, is_float, 1}, Dst, [Arg], State) -> function
1420 get_bif_constr({erlang, is_list, 1}, Dst, [Arg], State) -> function
1422 get_bif_constr({erlang, is_map, 1}, Dst, [Arg], State) -> function
1424 get_bif_constr({erlang, is_number, 1}, Dst, [Arg], State) -> function
1426 get_bif_constr({erlang, is_pid, 1}, Dst, [Arg], State) -> function
1428 get_bif_constr({erlang, is_port, 1}, Dst, [Arg], State) -> function
1493 get_bif_constr({erlang, is_tuple, 1}, Dst, [Arg], State) -> function
1695 get_bif_constr({erlang, element, 2} = _BIF, Dst, Args, function
[all …]
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/src/
H A Ddialyzer_typesig.erl1389 get_bif_constr({erlang, is_atom, 1}, Dst, [Arg], State) -> function
1391 get_bif_constr({erlang, is_binary, 1}, Dst, [Arg], State) -> function
1397 get_bif_constr({erlang, is_float, 1}, Dst, [Arg], State) -> function
1420 get_bif_constr({erlang, is_list, 1}, Dst, [Arg], State) -> function
1422 get_bif_constr({erlang, is_map, 1}, Dst, [Arg], State) -> function
1424 get_bif_constr({erlang, is_number, 1}, Dst, [Arg], State) -> function
1426 get_bif_constr({erlang, is_pid, 1}, Dst, [Arg], State) -> function
1428 get_bif_constr({erlang, is_port, 1}, Dst, [Arg], State) -> function
1493 get_bif_constr({erlang, is_tuple, 1}, Dst, [Arg], State) -> function
1695 get_bif_constr({erlang, element, 2} = _BIF, Dst, Args, function
[all …]