Home
last modified time | relevance | path

Searched defs:t_unopaque (Results 1 – 14 of 14) sorted by relevance

/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/hipe/cerl/
H A Derl_types.erl4065 t_unopaque(T) -> function
4070 t_unopaque(?opaque(_) = T, Opaques) -> function
4075 t_unopaque(?list(ElemT, Termination, Sz), Opaques) -> function
4077 t_unopaque(?tuple(?any, _, _) = T, _) -> T; function
4078 t_unopaque(?tuple(ArgTs, Sz, Tag), Opaques) when is_list(ArgTs) -> function
4081 t_unopaque(?tuple_set(Set), Opaques) -> function
4085 t_unopaque(?product(Types), Opaques) -> function
4087 t_unopaque(?function(Domain, Range), Opaques) -> function
4089 t_unopaque(?union([A,B,F,I,L,N,T,M,O,Map]), Opaques) -> function
4100 t_unopaque(?map(Pairs,DefK,DefV), Opaques) -> function
[all …]
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/dialyzer/test/opaque_SUITE_data/src/recrec/
H A Derl_types.erl3978 t_unopaque(T) -> function
3983 t_unopaque(?opaque(_) = T, Opaques) -> function
3988 t_unopaque(?list(ElemT, Termination, Sz), Opaques) -> function
3990 t_unopaque(?tuple(?any, _, _) = T, _) -> T; function
3991 t_unopaque(?tuple(ArgTs, Sz, Tag), Opaques) when is_list(ArgTs) -> function
3994 t_unopaque(?tuple_set(Set), Opaques) -> function
3998 t_unopaque(?product(Types), Opaques) -> function
4000 t_unopaque(?function(Domain, Range), Opaques) -> function
4002 t_unopaque(?union([A,B,F,I,L,N,T,M,O,Map]), Opaques) -> function
4013 t_unopaque(?map(Pairs,DefK,DefV), Opaques) -> function
[all …]
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/hipe/cerl/
H A Derl_types.erl4087 t_unopaque(T) -> function
4092 t_unopaque(?opaque(_) = T, Opaques) -> function
4097 t_unopaque(?list(ElemT, Termination, Sz), Opaques) -> function
4099 t_unopaque(?tuple(?any, _, _) = T, _) -> T; function
4100 t_unopaque(?tuple(ArgTs, Sz, Tag), Opaques) when is_list(ArgTs) -> function
4103 t_unopaque(?tuple_set(Set), Opaques) -> function
4107 t_unopaque(?product(Types), Opaques) -> function
4109 t_unopaque(?function(Domain, Range), Opaques) -> function
4111 t_unopaque(?union([A,B,F,I,L,N,T,M,O,Map]), Opaques) -> function
4122 t_unopaque(?map(Pairs,DefK,DefV), Opaques) -> function
[all …]
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/dialyzer/test/opaque_SUITE_data/src/recrec/
H A Derl_types.erl3978 t_unopaque(T) -> function
3983 t_unopaque(?opaque(_) = T, Opaques) -> function
3988 t_unopaque(?list(ElemT, Termination, Sz), Opaques) -> function
3990 t_unopaque(?tuple(?any, _, _) = T, _) -> T; function
3991 t_unopaque(?tuple(ArgTs, Sz, Tag), Opaques) when is_list(ArgTs) -> function
3994 t_unopaque(?tuple_set(Set), Opaques) -> function
3998 t_unopaque(?product(Types), Opaques) -> function
4000 t_unopaque(?function(Domain, Range), Opaques) -> function
4002 t_unopaque(?union([A,B,F,I,L,N,T,M,O,Map]), Opaques) -> function
4013 t_unopaque(?map(Pairs,DefK,DefV), Opaques) -> function
[all …]
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/dialyzer/src/
H A Derl_types.erl4151 t_unopaque(T) -> function
4156 t_unopaque(?opaque(_) = T, Opaques) -> function
4161 t_unopaque(?list(ElemT, Termination, Sz), Opaques) -> function
4163 t_unopaque(?tuple(?any, _, _) = T, _) -> T; function
4164 t_unopaque(?tuple(ArgTs, Sz, Tag), Opaques) when is_list(ArgTs) -> function
4167 t_unopaque(?tuple_set(Set), Opaques) -> function
4171 t_unopaque(?product(Types), Opaques) -> function
4173 t_unopaque(?function(Domain, Range), Opaques) -> function
4175 t_unopaque(?union([A,B,F,I,L,N,T,M,O,Map]), Opaques) -> function
4186 t_unopaque(?map(Pairs,DefK,DefV), Opaques) -> function
[all …]
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/dialyzer/test/opaque_SUITE_data/src/recrec/
H A Derl_types.erl3978 t_unopaque(T) -> function
3983 t_unopaque(?opaque(_) = T, Opaques) -> function
3988 t_unopaque(?list(ElemT, Termination, Sz), Opaques) -> function
3990 t_unopaque(?tuple(?any, _, _) = T, _) -> T; function
3991 t_unopaque(?tuple(ArgTs, Sz, Tag), Opaques) when is_list(ArgTs) -> function
3994 t_unopaque(?tuple_set(Set), Opaques) -> function
3998 t_unopaque(?product(Types), Opaques) -> function
4000 t_unopaque(?function(Domain, Range), Opaques) -> function
4002 t_unopaque(?union([A,B,F,I,L,N,T,M,O,Map]), Opaques) -> function
4013 t_unopaque(?map(Pairs,DefK,DefV), Opaques) -> function
[all …]
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/dialyzer/src/
H A Derl_types.erl4151 t_unopaque(T) -> function
4156 t_unopaque(?opaque(_) = T, Opaques) -> function
4161 t_unopaque(?list(ElemT, Termination, Sz), Opaques) -> function
4163 t_unopaque(?tuple(?any, _, _) = T, _) -> T; function
4164 t_unopaque(?tuple(ArgTs, Sz, Tag), Opaques) when is_list(ArgTs) -> function
4167 t_unopaque(?tuple_set(Set), Opaques) -> function
4171 t_unopaque(?product(Types), Opaques) -> function
4173 t_unopaque(?function(Domain, Range), Opaques) -> function
4175 t_unopaque(?union([A,B,F,I,L,N,T,M,O,Map]), Opaques) -> function
4186 t_unopaque(?map(Pairs,DefK,DefV), Opaques) -> function
[all …]
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/dialyzer/test/opaque_SUITE_data/src/recrec/
H A Derl_types.erl3978 t_unopaque(T) -> function
3983 t_unopaque(?opaque(_) = T, Opaques) -> function
3988 t_unopaque(?list(ElemT, Termination, Sz), Opaques) -> function
3990 t_unopaque(?tuple(?any, _, _) = T, _) -> T; function
3991 t_unopaque(?tuple(ArgTs, Sz, Tag), Opaques) when is_list(ArgTs) -> function
3994 t_unopaque(?tuple_set(Set), Opaques) -> function
3998 t_unopaque(?product(Types), Opaques) -> function
4000 t_unopaque(?function(Domain, Range), Opaques) -> function
4002 t_unopaque(?union([A,B,F,I,L,N,T,M,O,Map]), Opaques) -> function
4013 t_unopaque(?map(Pairs,DefK,DefV), Opaques) -> function
[all …]
/dports/lang/erlang/otp-OTP-24.1.7/lib/dialyzer/test/opaque_SUITE_data/src/recrec/
H A Derl_types.erl3978 t_unopaque(T) -> function
3983 t_unopaque(?opaque(_) = T, Opaques) -> function
3988 t_unopaque(?list(ElemT, Termination, Sz), Opaques) -> function
3990 t_unopaque(?tuple(?any, _, _) = T, _) -> T; function
3991 t_unopaque(?tuple(ArgTs, Sz, Tag), Opaques) when is_list(ArgTs) -> function
3994 t_unopaque(?tuple_set(Set), Opaques) -> function
3998 t_unopaque(?product(Types), Opaques) -> function
4000 t_unopaque(?function(Domain, Range), Opaques) -> function
4002 t_unopaque(?union([A,B,F,I,L,N,T,M,O,Map]), Opaques) -> function
4013 t_unopaque(?map(Pairs,DefK,DefV), Opaques) -> function
[all …]
/dports/lang/erlang/otp-OTP-24.1.7/lib/dialyzer/src/
H A Derl_types.erl4151 t_unopaque(T) -> function
4156 t_unopaque(?opaque(_) = T, Opaques) -> function
4161 t_unopaque(?list(ElemT, Termination, Sz), Opaques) -> function
4163 t_unopaque(?tuple(?any, _, _) = T, _) -> T; function
4164 t_unopaque(?tuple(ArgTs, Sz, Tag), Opaques) when is_list(ArgTs) -> function
4167 t_unopaque(?tuple_set(Set), Opaques) -> function
4171 t_unopaque(?product(Types), Opaques) -> function
4173 t_unopaque(?function(Domain, Range), Opaques) -> function
4175 t_unopaque(?union([A,B,F,I,L,N,T,M,O,Map]), Opaques) -> function
4186 t_unopaque(?map(Pairs,DefK,DefV), Opaques) -> function
[all …]
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/hipe/cerl/
H A Derl_types.erl4065 t_unopaque(T) -> function
4070 t_unopaque(?opaque(_) = T, Opaques) -> function
4075 t_unopaque(?list(ElemT, Termination, Sz), Opaques) -> function
4077 t_unopaque(?tuple(?any, _, _) = T, _) -> T; function
4078 t_unopaque(?tuple(ArgTs, Sz, Tag), Opaques) when is_list(ArgTs) -> function
4081 t_unopaque(?tuple_set(Set), Opaques) -> function
4085 t_unopaque(?product(Types), Opaques) -> function
4087 t_unopaque(?function(Domain, Range), Opaques) -> function
4089 t_unopaque(?union([A,B,F,I,L,N,T,M,O,Map]), Opaques) -> function
4100 t_unopaque(?map(Pairs,DefK,DefV), Opaques) -> function
[all …]
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/dialyzer/src/
H A Derl_types.erl4151 t_unopaque(T) -> function
4156 t_unopaque(?opaque(_) = T, Opaques) -> function
4161 t_unopaque(?list(ElemT, Termination, Sz), Opaques) -> function
4163 t_unopaque(?tuple(?any, _, _) = T, _) -> T; function
4164 t_unopaque(?tuple(ArgTs, Sz, Tag), Opaques) when is_list(ArgTs) -> function
4167 t_unopaque(?tuple_set(Set), Opaques) -> function
4171 t_unopaque(?product(Types), Opaques) -> function
4173 t_unopaque(?function(Domain, Range), Opaques) -> function
4175 t_unopaque(?union([A,B,F,I,L,N,T,M,O,Map]), Opaques) -> function
4186 t_unopaque(?map(Pairs,DefK,DefV), Opaques) -> function
[all …]
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/dialyzer/test/opaque_SUITE_data/src/recrec/
H A Derl_types.erl3978 t_unopaque(T) -> function
3983 t_unopaque(?opaque(_) = T, Opaques) -> function
3988 t_unopaque(?list(ElemT, Termination, Sz), Opaques) -> function
3990 t_unopaque(?tuple(?any, _, _) = T, _) -> T; function
3991 t_unopaque(?tuple(ArgTs, Sz, Tag), Opaques) when is_list(ArgTs) -> function
3994 t_unopaque(?tuple_set(Set), Opaques) -> function
3998 t_unopaque(?product(Types), Opaques) -> function
4000 t_unopaque(?function(Domain, Range), Opaques) -> function
4002 t_unopaque(?union([A,B,F,I,L,N,T,M,O,Map]), Opaques) -> function
4013 t_unopaque(?map(Pairs,DefK,DefV), Opaques) -> function
[all …]
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/test/opaque_SUITE_data/src/recrec/
H A Derl_types.erl3978 t_unopaque(T) -> function
3983 t_unopaque(?opaque(_) = T, Opaques) -> function
3988 t_unopaque(?list(ElemT, Termination, Sz), Opaques) -> function
3990 t_unopaque(?tuple(?any, _, _) = T, _) -> T; function
3991 t_unopaque(?tuple(ArgTs, Sz, Tag), Opaques) when is_list(ArgTs) -> function
3994 t_unopaque(?tuple_set(Set), Opaques) -> function
3998 t_unopaque(?product(Types), Opaques) -> function
4000 t_unopaque(?function(Domain, Range), Opaques) -> function
4002 t_unopaque(?union([A,B,F,I,L,N,T,M,O,Map]), Opaques) -> function
4013 t_unopaque(?map(Pairs,DefK,DefV), Opaques) -> function
[all …]