Home
last modified time | relevance | path

Searched refs:fold_list (Results 1 – 25 of 29) sorted by relevance

12

/dports/net/krill/krill-0.9.4/cargo-crates/polar-core-0.12.4/src/
H A Dfolder.rs78 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 Dcerl_trees.erl221 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 Dcore_lib.erl219 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 Dcerl_trees.erl221 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 Dcore_lib.erl219 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 Dcerl_trees.erl221 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 Dcore_lib.erl219 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 Dcerl_trees.erl221 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 Dcore_lib.erl219 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 Dcerl_trees.erl221 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 Dcore_lib.erl219 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 Dcerl_trees.erl221 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 Dcore_lib.erl219 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 Dcerl_trees.erl221 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 Dcore_lib.erl219 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 Dcerl_trees.erl238 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 Dcerl_trees.erl238 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 Dcerl_trees.erl238 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 Dcerl_trees.erl238 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 Dcerl_trees.erl238 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 Dcerl_trees.erl238 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 Dcerl_trees.erl238 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 Dstructural_impls.rs792 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 Dutil.rs1045 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 Dtype_foldable.rs165 ty::util::fold_list(self, folder, |tcx, v| tcx.intern_place_elems(v)) in super_fold_with()

12