/dports/net/krill/krill-0.9.4/cargo-crates/polar-core-0.12.4/src/ |
H A D | folder.rs | 78 fn fold_list(&mut self, l: TermList) -> TermList { in fold_list() method 79 fold_list(l, self) in fold_list() 110 Value::List(l) => Value::List(fld.fold_list(l)), in fold_value() 177 args: fld.fold_list(args), 191 pub fn fold_list<T: Folder>(l: TermList, fld: &mut T) -> TermList { in fold_list() function 207 args: fld.fold_list(args),
|
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | cerl_trees.erl | 221 fold_list(F, S, tuple_es(T)); 228 fold_list(F, S, values_es(T)); 232 fold_list(F, S, tuple_es(T)); 234 fold(F, fold(F, fold_list(F, S, let_vars(T)), 242 fold_list(F, fold(F, fold(F, S, call_module(T)), 262 fold(F, fold_list(F, fold(F, fold_list(F, fold(F, S, try_arg(T)), 270 fold_list(F, S, binary_segments(T)); 286 fold_list(F, 293 fold_list(F, S, [T | Ts]) -> function 294 fold_list(F, fold(F, S, T), Ts); [all …]
|
H A D | core_lib.erl | 219 F(R, fold_list(F, Acc, Es)); 223 F(R, fold_list(F, Acc, Es)); 229 F(R, fold_list(F, Acc, Defs)); 234 F(R, fold(F, fold_list(F, Acc, Vars), Body)); 238 F(R, fold(F, fold_list(F, Acc, Fs), Body)); 242 F(R, fold_list(F, fold(F, Acc, Arg), Clauses)); 244 F(R, fold(F, fold(F, fold_list(F, Acc, Ps), G), B)); 248 F(R, fold_list(F, fold(F, Acc, Op), Args)); 252 F(R, fold_list(F, fold(F, Acc, Name), Args)); 255 F(R, fold(F, fold_list(F, NewB, Evs), H)); [all …]
|
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | cerl_trees.erl | 221 fold_list(F, S, tuple_es(T)); 228 fold_list(F, S, values_es(T)); 232 fold_list(F, S, tuple_es(T)); 234 fold(F, fold(F, fold_list(F, S, let_vars(T)), 242 fold_list(F, fold(F, fold(F, S, call_module(T)), 262 fold(F, fold_list(F, fold(F, fold_list(F, fold(F, S, try_arg(T)), 270 fold_list(F, S, binary_segments(T)); 286 fold_list(F, 293 fold_list(F, S, [T | Ts]) -> function 294 fold_list(F, fold(F, S, T), Ts); [all …]
|
H A D | core_lib.erl | 219 F(R, fold_list(F, Acc, Es)); 223 F(R, fold_list(F, Acc, Es)); 229 F(R, fold_list(F, Acc, Defs)); 234 F(R, fold(F, fold_list(F, Acc, Vars), Body)); 238 F(R, fold(F, fold_list(F, Acc, Fs), Body)); 242 F(R, fold_list(F, fold(F, Acc, Arg), Clauses)); 244 F(R, fold(F, fold(F, fold_list(F, Acc, Ps), G), B)); 248 F(R, fold_list(F, fold(F, Acc, Op), Args)); 252 F(R, fold_list(F, fold(F, Acc, Name), Args)); 255 F(R, fold(F, fold_list(F, NewB, Evs), H)); [all …]
|
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | cerl_trees.erl | 221 fold_list(F, S, tuple_es(T)); 228 fold_list(F, S, values_es(T)); 232 fold_list(F, S, tuple_es(T)); 234 fold(F, fold(F, fold_list(F, S, let_vars(T)), 242 fold_list(F, fold(F, fold(F, S, call_module(T)), 262 fold(F, fold_list(F, fold(F, fold_list(F, fold(F, S, try_arg(T)), 270 fold_list(F, S, binary_segments(T)); 286 fold_list(F, 293 fold_list(F, S, [T | Ts]) -> function 294 fold_list(F, fold(F, S, T), Ts); [all …]
|
H A D | core_lib.erl | 219 F(R, fold_list(F, Acc, Es)); 223 F(R, fold_list(F, Acc, Es)); 229 F(R, fold_list(F, Acc, Defs)); 234 F(R, fold(F, fold_list(F, Acc, Vars), Body)); 238 F(R, fold(F, fold_list(F, Acc, Fs), Body)); 242 F(R, fold_list(F, fold(F, Acc, Arg), Clauses)); 244 F(R, fold(F, fold(F, fold_list(F, Acc, Ps), G), B)); 248 F(R, fold_list(F, fold(F, Acc, Op), Args)); 252 F(R, fold_list(F, fold(F, Acc, Name), Args)); 255 F(R, fold(F, fold_list(F, NewB, Evs), H)); [all …]
|
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | cerl_trees.erl | 221 fold_list(F, S, tuple_es(T)); 228 fold_list(F, S, values_es(T)); 232 fold_list(F, S, tuple_es(T)); 234 fold(F, fold(F, fold_list(F, S, let_vars(T)), 242 fold_list(F, fold(F, fold(F, S, call_module(T)), 262 fold(F, fold_list(F, fold(F, fold_list(F, fold(F, S, try_arg(T)), 270 fold_list(F, S, binary_segments(T)); 286 fold_list(F, 293 fold_list(F, S, [T | Ts]) -> function 294 fold_list(F, fold(F, S, T), Ts); [all …]
|
H A D | core_lib.erl | 219 F(R, fold_list(F, Acc, Es)); 223 F(R, fold_list(F, Acc, Es)); 229 F(R, fold_list(F, Acc, Defs)); 234 F(R, fold(F, fold_list(F, Acc, Vars), Body)); 238 F(R, fold(F, fold_list(F, Acc, Fs), Body)); 242 F(R, fold_list(F, fold(F, Acc, Arg), Clauses)); 244 F(R, fold(F, fold(F, fold_list(F, Acc, Ps), G), B)); 248 F(R, fold_list(F, fold(F, Acc, Op), Args)); 252 F(R, fold_list(F, fold(F, Acc, Name), Args)); 255 F(R, fold(F, fold_list(F, NewB, Evs), H)); [all …]
|
/dports/lang/erlang/otp-OTP-24.1.7/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | cerl_trees.erl | 221 fold_list(F, S, tuple_es(T)); 228 fold_list(F, S, values_es(T)); 232 fold_list(F, S, tuple_es(T)); 234 fold(F, fold(F, fold_list(F, S, let_vars(T)), 242 fold_list(F, fold(F, fold(F, S, call_module(T)), 262 fold(F, fold_list(F, fold(F, fold_list(F, fold(F, S, try_arg(T)), 270 fold_list(F, S, binary_segments(T)); 286 fold_list(F, 293 fold_list(F, S, [T | Ts]) -> function 294 fold_list(F, fold(F, S, T), Ts); [all …]
|
H A D | core_lib.erl | 219 F(R, fold_list(F, Acc, Es)); 223 F(R, fold_list(F, Acc, Es)); 229 F(R, fold_list(F, Acc, Defs)); 234 F(R, fold(F, fold_list(F, Acc, Vars), Body)); 238 F(R, fold(F, fold_list(F, Acc, Fs), Body)); 242 F(R, fold_list(F, fold(F, Acc, Arg), Clauses)); 244 F(R, fold(F, fold(F, fold_list(F, Acc, Ps), G), B)); 248 F(R, fold_list(F, fold(F, Acc, Op), Args)); 252 F(R, fold_list(F, fold(F, Acc, Name), Args)); 255 F(R, fold(F, fold_list(F, NewB, Evs), H)); [all …]
|
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | cerl_trees.erl | 221 fold_list(F, S, tuple_es(T)); 228 fold_list(F, S, values_es(T)); 232 fold_list(F, S, tuple_es(T)); 234 fold(F, fold(F, fold_list(F, S, let_vars(T)), 242 fold_list(F, fold(F, fold(F, S, call_module(T)), 262 fold(F, fold_list(F, fold(F, fold_list(F, fold(F, S, try_arg(T)), 270 fold_list(F, S, binary_segments(T)); 286 fold_list(F, 293 fold_list(F, S, [T | Ts]) -> function 294 fold_list(F, fold(F, S, T), Ts); [all …]
|
H A D | core_lib.erl | 219 F(R, fold_list(F, Acc, Es)); 223 F(R, fold_list(F, Acc, Es)); 229 F(R, fold_list(F, Acc, Defs)); 234 F(R, fold(F, fold_list(F, Acc, Vars), Body)); 238 F(R, fold(F, fold_list(F, Acc, Fs), Body)); 242 F(R, fold_list(F, fold(F, Acc, Arg), Clauses)); 244 F(R, fold(F, fold(F, fold_list(F, Acc, Ps), G), B)); 248 F(R, fold_list(F, fold(F, Acc, Op), Args)); 252 F(R, fold_list(F, fold(F, Acc, Name), Args)); 255 F(R, fold(F, fold_list(F, NewB, Evs), H)); [all …]
|
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | cerl_trees.erl | 221 fold_list(F, S, tuple_es(T)); 228 fold_list(F, S, values_es(T)); 232 fold_list(F, S, tuple_es(T)); 234 fold(F, fold(F, fold_list(F, S, let_vars(T)), 242 fold_list(F, fold(F, fold(F, S, call_module(T)), 262 fold(F, fold_list(F, fold(F, fold_list(F, fold(F, S, try_arg(T)), 270 fold_list(F, S, binary_segments(T)); 286 fold_list(F, 293 fold_list(F, S, [T | Ts]) -> function 294 fold_list(F, fold(F, S, T), Ts); [all …]
|
H A D | core_lib.erl | 219 F(R, fold_list(F, Acc, Es)); 223 F(R, fold_list(F, Acc, Es)); 229 F(R, fold_list(F, Acc, Defs)); 234 F(R, fold(F, fold_list(F, Acc, Vars), Body)); 238 F(R, fold(F, fold_list(F, Acc, Fs), Body)); 242 F(R, fold_list(F, fold(F, Acc, Arg), Clauses)); 244 F(R, fold(F, fold(F, fold_list(F, Acc, Ps), G), B)); 248 F(R, fold_list(F, fold(F, Acc, Op), Args)); 252 F(R, fold_list(F, fold(F, Acc, Name), Args)); 255 F(R, fold(F, fold_list(F, NewB, Evs), H)); [all …]
|
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/compiler/src/ |
H A D | cerl_trees.erl | 238 fold_list(F, S, tuple_es(T)); 245 fold_list(F, S, values_es(T)); 249 fold_list(F, S, tuple_es(T)); 251 fold_list(F, S, map_es(T)); 259 fold(F, fold(F, fold_list(F, S, let_vars(T)), 287 fold(F, fold_list(F, fold(F, fold_list(F, fold(F, S, try_arg(T)), 295 fold_list(F, S, binary_segments(T)); 311 fold_list(F, 318 fold_list(F, S, [T | Ts]) -> function 319 fold_list(F, fold(F, S, T), Ts); [all …]
|
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/compiler/src/ |
H A D | cerl_trees.erl | 238 fold_list(F, S, tuple_es(T)); 245 fold_list(F, S, values_es(T)); 249 fold_list(F, S, tuple_es(T)); 251 fold_list(F, S, map_es(T)); 259 fold(F, fold(F, fold_list(F, S, let_vars(T)), 287 fold(F, fold_list(F, fold(F, fold_list(F, fold(F, S, try_arg(T)), 295 fold_list(F, S, binary_segments(T)); 311 fold_list(F, 318 fold_list(F, S, [T | Ts]) -> function 319 fold_list(F, fold(F, S, T), Ts); [all …]
|
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/compiler/src/ |
H A D | cerl_trees.erl | 238 fold_list(F, S, tuple_es(T)); 245 fold_list(F, S, values_es(T)); 249 fold_list(F, S, tuple_es(T)); 251 fold_list(F, S, map_es(T)); 259 fold(F, fold(F, fold_list(F, S, let_vars(T)), 287 fold(F, fold_list(F, fold(F, fold_list(F, fold(F, S, try_arg(T)), 295 fold_list(F, S, binary_segments(T)); 311 fold_list(F, 318 fold_list(F, S, [T | Ts]) -> function 319 fold_list(F, fold(F, S, T), Ts); [all …]
|
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/compiler/src/ |
H A D | cerl_trees.erl | 238 fold_list(F, S, tuple_es(T)); 245 fold_list(F, S, values_es(T)); 249 fold_list(F, S, tuple_es(T)); 251 fold_list(F, S, map_es(T)); 259 fold(F, fold(F, fold_list(F, S, let_vars(T)), 287 fold(F, fold_list(F, fold(F, fold_list(F, fold(F, S, try_arg(T)), 295 fold_list(F, S, binary_segments(T)); 311 fold_list(F, 318 fold_list(F, S, [T | Ts]) -> function 319 fold_list(F, fold(F, S, T), Ts); [all …]
|
/dports/lang/erlang/otp-OTP-24.1.7/lib/compiler/src/ |
H A D | cerl_trees.erl | 238 fold_list(F, S, tuple_es(T)); 245 fold_list(F, S, values_es(T)); 249 fold_list(F, S, tuple_es(T)); 251 fold_list(F, S, map_es(T)); 259 fold(F, fold(F, fold_list(F, S, let_vars(T)), 287 fold(F, fold_list(F, fold(F, fold_list(F, fold(F, S, try_arg(T)), 295 fold_list(F, S, binary_segments(T)); 311 fold_list(F, 318 fold_list(F, S, [T | Ts]) -> function 319 fold_list(F, fold(F, S, T), Ts); [all …]
|
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/compiler/src/ |
H A D | cerl_trees.erl | 238 fold_list(F, S, tuple_es(T)); 245 fold_list(F, S, values_es(T)); 249 fold_list(F, S, tuple_es(T)); 251 fold_list(F, S, map_es(T)); 259 fold(F, fold(F, fold_list(F, S, let_vars(T)), 287 fold(F, fold_list(F, fold(F, fold_list(F, fold(F, S, try_arg(T)), 295 fold_list(F, S, binary_segments(T)); 311 fold_list(F, 318 fold_list(F, S, [T | Ts]) -> function 319 fold_list(F, fold(F, S, T), Ts); [all …]
|
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/compiler/src/ |
H A D | cerl_trees.erl | 238 fold_list(F, S, tuple_es(T)); 245 fold_list(F, S, values_es(T)); 249 fold_list(F, S, tuple_es(T)); 251 fold_list(F, S, map_es(T)); 259 fold(F, fold(F, fold_list(F, S, let_vars(T)), 287 fold(F, fold_list(F, fold(F, fold_list(F, fold(F, S, try_arg(T)), 295 fold_list(F, S, binary_segments(T)); 311 fold_list(F, 318 fold_list(F, S, [T | Ts]) -> function 319 fold_list(F, fold(F, S, T), Ts); [all …]
|
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_middle/src/ty/ |
H A D | structural_impls.rs | 792 ty::util::fold_list(self, folder, |tcx, v| tcx.intern_poly_existential_predicates(v)) in super_fold_with() 802 ty::util::fold_list(self, folder, |tcx, v| tcx.intern_type_list(v)) in super_fold_with() 812 ty::util::fold_list(self, folder, |tcx, v| tcx.intern_projs(v)) in super_fold_with() 1010 ty::util::fold_list(self, folder, |tcx, v| tcx.intern_predicates(v)) in super_fold_with()
|
H A D | util.rs | 1045 pub fn fold_list<'tcx, F, T>( in fold_list() function
|
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_middle/src/mir/ |
H A D | type_foldable.rs | 165 ty::util::fold_list(self, folder, |tcx, v| tcx.intern_place_elems(v)) in super_fold_with()
|