Types of BIF

[yoshihiro503]

see https://github.com/erlang/otp/blob/OTP-21.1.4/lib/hipe/cerl/erl_bif_types.erl

erlang module

• Binary Operators
  • [x] '+', '-', '*', '/'
  • [ ] 'rem', 'div'
  • [x] '==', '/=', '=:=', '=/=',
  • [x] '>', '>=, '<', '=<'
  • [ ] '++', '--'
  • [x] 'and', 'or', 'xor'
  • [ ] 'band', 'bor', 'bxor'
  • [ ] 'bsr', 'bsl', 'bnot'
  • [ ] '!'
• Unary Operators #225
  • [x] '+', '-'
  • [x] 'not'
  • [x] 'bnot'
• Exiting https://github.com/dwango/fialyzer/issues/196
  • [ ] halt/0, halt/1, halt/2
  • [ ] exit/1
  • [ ] error/1, error/2
  • [ ] throw/1
  • [ ] nif_error/1, nif_error/2
• Arithmetic
  • [ ] abs
  • [ ] ceil/1, floor/1, round/1, trunc/1
  • [ ] float/1
• Binary
  • [ ] binary_part/2, binary_part/3
  • [ ] bit_size/1, byte_size/1
• List
  • [ ] append/2
  • [ ] length/1
  • [ ] hd/1, tl/1
• Map
  • [ ] map_size
  • [ ] map_get
• Function
  • [ ] apply/2, apply/3
  • [ ] make_fun/3
• Tuple
  • [ ] element/2
  • [ ] make_tuple/2, make_tuple/3
  • [ ] setelement/3
  • [ ] size/1
  • [ ] tuple_size/1
  • [ ] tuple_to_list/1
• Guards
  • [ ] is_atom/1, is_binary/1, is_bitstring/1, is_boolean/1, is_float/1, is_integer/1, is_number/1, is_pid, is_port/1, is_reference/1,
  • [ ] is_function/1, is_list/1, is_map/1, is_map_key/2, is_record/2, is_record/3, is_tuple/1
• System
  • [ ] node/0, node/1
  • [ ] self/0
  • [ ] system_info/1
  • [ ] build_stacktrace/0

hipe_bif

https://github.com/dwango/fialyzer/issues/237

lists

https://github.com/dwango/fialyzer/issues/234

maps

https://github.com/dwango/fialyzer/issues/238