compiler/src/beam_call_types.erl

172     sub_unsafe(Bool, [Bool, Bool]);
175     sub_unsafe(Bool, [Bool, Bool]);
178     sub_unsafe(Bool, [Bool, Bool]);
182     sub_unsafe(erlang_band_type(Args), [#t_integer{}, #t_integer{}]);
184     sub_unsafe(#t_integer{}, [#t_integer{}, #t_integer{}]);
186     sub_unsafe(#t_integer{}, [#t_integer{}, #t_integer{}]);
188     sub_unsafe(#t_integer{}, [#t_integer{}, #t_integer{}]);
190     sub_unsafe(#t_integer{}, [#t_integer{}, #t_integer{}]);
192     sub_unsafe(#t_integer{}, [#t_integer{}]);
196     sub_unsafe(#t_float{}, [number]);
198     sub_unsafe(#t_integer{}, [number]);
200     sub_unsafe(#t_integer{}, [number]);
202     sub_unsafe(#t_integer{}, [number]);
204     sub_unsafe(#t_integer{}, [number]);
206     sub_unsafe(#t_float{}, [number, number]);
208     sub_unsafe(#t_integer{}, [#t_integer{}, #t_integer{}]);
210     sub_unsafe(#t_integer{}, [#t_integer{}, #t_integer{}]);
222     sub_unsafe(RetType, [proper_list(), any]);
225     sub_unsafe(RetType, [proper_list(), proper_list()]);
230     sub_unsafe(#t_bitstring{size_unit=8}, [ArgType]);
233     sub_unsafe(#t_bitstring{size_unit=8}, [#t_list{}]);
236     sub_unsafe(#t_bitstring{}, [proper_list()]);
242     sub_unsafe(Binary, [Binary, PosLen]);
245     sub_unsafe(Binary, [Binary, #t_integer{}, #t_integer{}]);
251     sub_unsafe(RetType, [any, #t_map{}]);
254     sub_unsafe(RetType, [any, #t_map{}]);
256     sub_unsafe(#t_atom{}, [any]);
258     sub_unsafe(#t_atom{}, []);
261     sub_unsafe(#t_integer{}, [ArgType]);
280     sub_unsafe(RetType, [#t_integer{}, #t_tuple{size=Index}]);
319     sub_unsafe(RetType, [#t_integer{}, #t_tuple{}, any]);
328     sub_unsafe(Type, [#t_atom{}, #t_atom{}, #t_integer{}]);
350                     sub_unsafe(RetType, duplicate(Arity, any))
359     sub_unsafe(#t_float{}, [number]);
361     sub_unsafe(#t_float{}, [number]);
363     sub_unsafe(#t_float{}, [number]);
365     sub_unsafe(#t_float{}, [number]);
367     sub_unsafe(#t_float{}, [number]);
369     sub_unsafe(#t_float{}, [number]);
371     sub_unsafe(#t_float{}, [number]);
373     sub_unsafe(#t_float{}, [number]);
375     sub_unsafe(#t_float{}, [number]);
377     sub_unsafe(#t_float{}, [number]);
379     sub_unsafe(#t_float{}, [number]);
381     sub_unsafe(#t_float{}, [number]);
383     sub_unsafe(#t_float{}, [number]);
385     sub_unsafe(#t_float{}, [number]);
387     sub_unsafe(#t_float{}, [number]);
389     sub_unsafe(#t_float{}, [number]);
391     sub_unsafe(#t_float{}, [number]);
393     sub_unsafe(#t_float{}, [number]);
395     sub_unsafe(#t_float{}, [number]);
397     sub_unsafe(#t_float{}, [number, number]);
399     sub_unsafe(#t_float{}, [number, number]);
401     sub_unsafe(#t_float{}, [number]);
403     sub_unsafe(#t_float{}, [number]);
405     sub_unsafe(#t_float{}, [number, number]);
407     sub_unsafe(#t_float{}, []);
426     sub_unsafe(any, [proper_list()]);
434     sub_unsafe(beam_types:make_boolean(), [#t_fun{arity=1}, #t_list{}]);
437     sub_unsafe(beam_types:make_boolean(), [#t_fun{arity=1}, #t_list{}]);
440     sub_unsafe(beam_types:make_boolean(), [any, #t_integer{}, #t_list{}]);
443     sub_unsafe(beam_types:make_boolean(), [any, #t_list{}]);
447     sub_unsafe(beam_types:make_boolean(), [#t_list{}, #t_list{}]);
451     sub_unsafe(beam_types:make_boolean(), [#t_list{}, #t_list{}]);
456     sub_unsafe(RetType, [#t_fun{arity=2}, any, proper_list()]);
459     sub_unsafe(RetType, [#t_fun{arity=2}, any, proper_list()]);
464     sub_unsafe(RetType, [proper_list()]);
469     sub_unsafe(RetType, [#t_fun{arity=1}, #t_list{}]);
471     sub_unsafe(proper_list(Element), [#t_integer{}, any]);
474     sub_unsafe(RetType, [#t_fun{arity=1}, proper_list()]);
476     sub_unsafe(proper_list(), [proper_list()]);
479     sub_unsafe(RetType, [#t_fun{arity=1}, proper_list()]);
482     sub_unsafe(RetType, [proper_list()]);
485     sub_unsafe(RetType, [proper_list()]);
489     sub_unsafe(RetType, [#t_fun{arity=1}, #t_list{}]);
494     sub_unsafe(RetType, [proper_list()]);
497     sub_unsafe(RetType, [ArgType, ArgType]);
500     sub_unsafe(RetType, [#t_fun{arity=2}, ArgType, ArgType]);
514     sub_unsafe(RetType, [any, #t_integer{}, #t_list{}]);
518     sub_unsafe(RetType, [#t_fun{arity=2}, any, proper_list()]);
522     sub_unsafe(RetType, [#t_fun{arity=1}, proper_list()]);
527     sub_unsafe(RetType, [#t_fun{arity=1}, #t_list{}]);
533     sub_unsafe(make_two_tuple(Left, Right), [#t_fun{arity=1}, #t_list{}]);
536     sub_unsafe(RetType, [proper_list()]);
548     sub_unsafe(RetType, [#t_fun{arity=2}, #t_map{}]);
558     sub_unsafe(RetType, [any, #t_map{}]);
568     sub_unsafe(RetType, [#t_fun{arity=3}, any, #t_map{}]);
572     sub_unsafe(RetType, [proper_list(), any]);
583     sub_unsafe(RetType, [proper_list()]);
591     sub_unsafe(RetType, [any, #t_map{}, any]);
600     sub_unsafe(RetType, [#t_map{}]);
609     sub_unsafe(RetType, [#t_fun{arity=2}, #t_map{}]);
620     sub_unsafe(RetType, [#t_map{}, #t_map{}]);
623     sub_unsafe(RetType, []);
633     sub_unsafe(RetType, [any, any, #t_map{}]);
636     sub_unsafe(RetType, [any, #t_map{}]);
647     sub_unsafe(RetType, [any, #t_map{}]);
655     sub_unsafe(RetType, [#t_map{}]);
664     sub_unsafe(RetType, [any, #t_fun{arity=1}, #t_map{}]);
671     sub_unsafe(RetType, [#t_map{}]);
683     sub_unsafe(RetType, [proper_list(), #t_map{}]);
686     sub_unsafe(RetType, [proper_list(), #t_map{}]);
691     sub_unsafe(any, [any || _ <- Args]).
710     sub_unsafe(RetType, [number || _ <- Args0]).
928 sub_unsafe(RetType, ArgTypes) ->  function