summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/functional/functional.sty
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2022-03-11 03:00:57 +0000
committerNorbert Preining <norbert@preining.info>2022-03-11 03:00:57 +0000
commitdc086771e418d7c66a541d2831b468375c5f7090 (patch)
tree182467c4304d5956a3caa8a691ce27b14faeacaf /macros/latex/contrib/functional/functional.sty
parent6367aa11ef0b99d86693b685ab67096514792a0f (diff)
CTAN sync 202203110300
Diffstat (limited to 'macros/latex/contrib/functional/functional.sty')
-rw-r--r--macros/latex/contrib/functional/functional.sty686
1 files changed, 686 insertions, 0 deletions
diff --git a/macros/latex/contrib/functional/functional.sty b/macros/latex/contrib/functional/functional.sty
new file mode 100644
index 0000000000..95e5ada3dc
--- /dev/null
+++ b/macros/latex/contrib/functional/functional.sty
@@ -0,0 +1,686 @@
+%%% -*- coding: utf-8 -*-
+%% ----------------------------------------------------------------------------
+%% Functional: LaTeX2 functional interfaces to LaTeX3 programming layer
+%% Copyright : 2022 (c) Jianrui Lyu <tolvjr@163.com>
+%% Repository: https://github.com/lvjr/functional
+%% License : The LaTeX Project Public License 1.3c
+%% ----------------------------------------------------------------------------
+
+%%% --------------------------------------------------------
+%%> \section{Interfaces for Function Definitions (l3basics)}
+%%% --------------------------------------------------------
+
+\NeedsTeXFormat{LaTeX2e}[2018-04-01]
+
+\RequirePackage{expl3}
+\ProvidesExplPackage{functional}{2022-03-10}{2022A}
+ {^^JLaTeX2 functional interfaces to LaTeX3 programming layer}
+
+\cs_generate_variant:Nn \iow_log:n { V }
+\cs_generate_variant:Nn \tl_set:Nn { Ne }
+
+\tl_new:N \gResultTl
+\int_new:N \l__fun_arg_count_int
+\tl_new:N \l__fun_parameters_defined_tl
+\tl_const:Nn \c__fun_parameter_defined_i__tl { } % no argument
+\tl_const:Nn \c__fun_parameter_defined_i_i_tl { #1 }
+\tl_const:Nn \c__fun_parameter_defined_i_ii_tl { #1 #2 }
+\tl_const:Nn \c__fun_parameter_defined_i_iii_tl { #1 #2 #3 }
+\tl_const:Nn \c__fun_parameter_defined_i_iv_tl { #1 #2 #3 #4 }
+\tl_const:Nn \c__fun_parameter_defined_i_v_tl { #1 #2 #3 #4 #5 }
+\tl_const:Nn \c__fun_parameter_defined_i_vi_tl { #1 #2 #3 #4 #5 #6 }
+\tl_const:Nn \c__fun_parameter_defined_i_vii_tl { #1 #2 #3 #4 #5 #6 #7 }
+\tl_const:Nn \c__fun_parameter_defined_i_viii_tl { #1 #2 #3 #4 #5 #6 #7 #8 }
+\tl_const:Nn \c__fun_parameter_defined_i_ix_tl { #1 #2 #3 #4 #5 #6 #7 #8 #9 }
+\tl_new:N \l__fun_parameters_called_tl
+\tl_const:Nn \c__fun_parameter_called_i_i_tl { {#1} }
+\tl_const:Nn \c__fun_parameter_called_i_ii_tl { {#1}{#2} }
+\tl_const:Nn \c__fun_parameter_called_i_iii_tl { {#1}{#2}{#3} }
+\tl_const:Nn \c__fun_parameter_called_i_iv_tl { {#1}{#2}{#3}{#4} }
+\tl_const:Nn \c__fun_parameter_called_i_v_tl { {#1}{#2}{#3}{#4}{#5} }
+\tl_const:Nn \c__fun_parameter_called_i_vi_tl { {#1}{#2}{#3}{#4}{#5}{#6} }
+\tl_const:Nn \c__fun_parameter_called_i_vii_tl { {#1}{#2}{#3}{#4}{#5}{#6}{#7} }
+\tl_new:N \l__fun_parameters_true_tl
+\tl_new:N \l__fun_parameters_false_tl
+\tl_const:Nn \c__fun_parameter_called_i_tl { {#1} }
+\tl_const:Nn \c__fun_parameter_called_ii_tl { {#2} }
+\tl_const:Nn \c__fun_parameter_called_iii_tl { {#3} }
+\tl_const:Nn \c__fun_parameter_called_iv_tl { {#4} }
+\tl_const:Nn \c__fun_parameter_called_v_tl { {#5} }
+\tl_const:Nn \c__fun_parameter_called_vi_tl { {#6} }
+\tl_const:Nn \c__fun_parameter_called_vii_tl { {#7} }
+\tl_const:Nn \c__fun_parameter_called_viii_tl { {#8} }
+\tl_const:Nn \c__fun_parameter_called_ix_tl { {#9} }
+\tl_new:N \l__fun_argument_tl
+\tl_new:N \l__fun_argument_i_tl
+\tl_new:N \l__fun_argument_ii_tl
+\tl_new:N \l__fun_argument_iii_tl
+\tl_new:N \l__fun_argument_iv_tl
+\tl_new:N \l__fun_argument_v_tl
+\tl_new:N \l__fun_argument_vi_tl
+\tl_new:N \l__fun_argument_vii_tl
+\tl_new:N \l__fun_argument_viii_tl
+\tl_new:N \l__fun_argument_ix_tl
+
+%% #1: function name; #2: argument specification; #3 function body
+\cs_new_protected:Npn \__fun_new_function:Nnn #1 #2 #3
+ {
+ \int_set:Nn \l__fun_arg_count_int { \tl_count:n {#2} } % spaces are ignored
+ \tl_set_eq:Nc \l__fun_parameters_defined_tl
+ { c__fun_parameter_defined_i_ \int_to_roman:n { \l__fun_arg_count_int } _tl }
+ \exp_last_unbraced:NcV \cs_new_protected:Npn
+ { __fun_defined_ \cs_to_str:N #1 : w }
+ \l__fun_parameters_defined_tl
+ {
+ \__fun_group_begin:
+ \tl_gclear:N \gResultTl
+ #3
+ \__fun_tracing_log:e { [O] ~ \gResultTl }
+ \__fun_group_end:
+ }
+ \use:c { __fun_new_with_arg_ \int_to_roman:n { \l__fun_arg_count_int } :NnV }
+ #1 {#2} \l__fun_parameters_defined_tl
+ }
+\cs_generate_variant:Nn \__fun_new_function:Nnn { cne }
+
+\cs_set_eq:NN \PrgNewFunction \__fun_new_function:Nnn
+
+\tl_new:N \g__fun_last_result_tl
+
+%% #1: function name; #2: argument specification; #3 function body
+\cs_new_protected:Npn \__fun_new_conditional:Nnn #1 #2 #3
+ {
+ \__fun_new_function:Nnn #1 { #2 } { #3 }
+ \tl_set_eq:Nc \l__fun_parameters_called_tl
+ { c__fun_parameter_called_i_ \int_to_roman:n { \l__fun_arg_count_int } _tl }
+ \tl_set_eq:Nc \l__fun_parameters_true_tl
+ { c__fun_parameter_called_ \int_to_roman:n { \l__fun_arg_count_int + 1 } _tl }
+ \tl_set_eq:Nc \l__fun_parameters_false_tl
+ { c__fun_parameter_called_ \int_to_roman:n { \l__fun_arg_count_int + 2 } _tl }
+ \__fun_new_function:cne { \cs_to_str:N #1 TF } { #2 n n }
+ {
+ #1 \exp_not:V \l__fun_parameters_called_tl
+ \exp_not:n
+ {
+ \tl_set_eq:NN \g__fun_last_result_tl \gResultTl
+ \tl_gclear:N \gResultTl
+ \exp_last_unbraced:NV \bool_if:NTF \g__fun_last_result_tl
+ }
+ \exp_not:V \l__fun_parameters_true_tl
+ \exp_not:V \l__fun_parameters_false_tl
+ }
+ }
+
+\cs_set_eq:NN \PrgNewConditional \__fun_new_conditional:Nnn
+
+%% #1: function name; #2: argument specifications; #3 parameters tl defined
+%% Some times we need to create a function without arguments
+\cs_new_protected:Npn \__fun_new_with_arg_:Nnn #1 #2 #3
+ {
+ \cs_new_protected:Npn #1 #3
+ {
+ \__fun_evaluate:Nn #1 {#2}
+ }
+ }
+\cs_generate_variant:Nn \__fun_new_with_arg_:Nnn { NnV }
+
+%% #1: function name; #2: argument specifications; #3 parameters tl defined
+\cs_new_protected:Npn \__fun_new_with_arg_i:Nnn #1 #2 #3
+ {
+ \cs_new_protected:Npn #1 #3
+ {
+ \tl_set:Nn \l__fun_argument_i_tl { ##1 }
+ \__fun_evaluate:Nn #1 {#2}
+ }
+ }
+\cs_generate_variant:Nn \__fun_new_with_arg_i:Nnn { NnV }
+
+%% #1: function name; #2: argument specifications; #3 parameters tl defined
+\cs_new_protected:Npn \__fun_new_with_arg_ii:Nnn #1 #2 #3
+ {
+ \cs_new_protected:Npn #1 #3
+ {
+ \tl_set:Nn \l__fun_argument_i_tl { ##1 }
+ \tl_set:Nn \l__fun_argument_ii_tl { ##2 }
+ \__fun_evaluate:Nn #1 {#2}
+ }
+ }
+\cs_generate_variant:Nn \__fun_new_with_arg_ii:Nnn { NnV }
+
+%% #1: function name; #2: argument specifications; #3 parameters tl defined
+\cs_new_protected:Npn \__fun_new_with_arg_iii:Nnn #1 #2 #3
+ {
+ \cs_new_protected:Npn #1 #3
+ {
+ \tl_set:Nn \l__fun_argument_i_tl { ##1 }
+ \tl_set:Nn \l__fun_argument_ii_tl { ##2 }
+ \tl_set:Nn \l__fun_argument_iii_tl { ##3 }
+ \__fun_evaluate:Nn #1 {#2}
+ }
+ }
+\cs_generate_variant:Nn \__fun_new_with_arg_iii:Nnn { NnV }
+
+%% #1: function name; #2: argument specifications; #3 parameters tl defined
+\cs_new_protected:Npn \__fun_new_with_arg_iv:Nnn #1 #2 #3
+ {
+ \cs_new_protected:Npn #1 #3
+ {
+ \tl_set:Nn \l__fun_argument_i_tl { ##1 }
+ \tl_set:Nn \l__fun_argument_ii_tl { ##2 }
+ \tl_set:Nn \l__fun_argument_iii_tl { ##3 }
+ \tl_set:Nn \l__fun_argument_iv_tl { ##4 }
+ \__fun_evaluate:Nn #1 {#2}
+ }
+ }
+\cs_generate_variant:Nn \__fun_new_with_arg_iv:Nnn { NnV }
+
+%% #1: function name; #2: argument specifications; #3 parameters tl defined
+\cs_new_protected:Npn \__fun_new_with_arg_v:Nnn #1 #2 #3
+ {
+ \cs_new_protected:Npn #1 #3
+ {
+ \tl_set:Nn \l__fun_argument_i_tl { ##1 }
+ \tl_set:Nn \l__fun_argument_ii_tl { ##2 }
+ \tl_set:Nn \l__fun_argument_iii_tl { ##3 }
+ \tl_set:Nn \l__fun_argument_iv_tl { ##4 }
+ \tl_set:Nn \l__fun_argument_v_tl { ##5 }
+ \__fun_evaluate:Nn #1 {#2}
+ }
+ }
+\cs_generate_variant:Nn \__fun_new_with_arg_v:Nnn { NnV }
+
+%% #1: function name; #2: argument specifications; #3 parameters tl defined
+\cs_new_protected:Npn \__fun_new_with_arg_vi:Nnn #1 #2 #3
+ {
+ \cs_new_protected:Npn #1 #3
+ {
+ \tl_set:Nn \l__fun_argument_i_tl { ##1 }
+ \tl_set:Nn \l__fun_argument_ii_tl { ##2 }
+ \tl_set:Nn \l__fun_argument_iii_tl { ##3 }
+ \tl_set:Nn \l__fun_argument_iv_tl { ##4 }
+ \tl_set:Nn \l__fun_argument_v_tl { ##5 }
+ \tl_set:Nn \l__fun_argument_vi_tl { ##6 }
+ \__fun_evaluate:Nn #1 {#2}
+ }
+ }
+\cs_generate_variant:Nn \__fun_new_with_arg_vi:Nnn { NnV }
+
+%% #1: function name; #2: argument specifications; #3 parameters tl defined
+\cs_new_protected:Npn \__fun_new_with_arg_vii:Nnn #1 #2 #3
+ {
+ \cs_new_protected:Npn #1 #3
+ {
+ \tl_set:Nn \l__fun_argument_i_tl { ##1 }
+ \tl_set:Nn \l__fun_argument_ii_tl { ##2 }
+ \tl_set:Nn \l__fun_argument_iii_tl { ##3 }
+ \tl_set:Nn \l__fun_argument_iv_tl { ##4 }
+ \tl_set:Nn \l__fun_argument_v_tl { ##5 }
+ \tl_set:Nn \l__fun_argument_vi_tl { ##6 }
+ \tl_set:Nn \l__fun_argument_vii_tl { ##7 }
+ \__fun_evaluate:Nn #1 {#2}
+ }
+ }
+\cs_generate_variant:Nn \__fun_new_with_arg_vii:Nnn { NnV }
+
+%% #1: function name; #2: argument specifications; #3 parameters tl defined
+\cs_new_protected:Npn \__fun_new_with_arg_viii:Nnn #1 #2 #3
+ {
+ \cs_new_protected:Npn #1 #3
+ {
+ \tl_set:Nn \l__fun_argument_i_tl { ##1 }
+ \tl_set:Nn \l__fun_argument_ii_tl { ##2 }
+ \tl_set:Nn \l__fun_argument_iii_tl { ##3 }
+ \tl_set:Nn \l__fun_argument_iv_tl { ##4 }
+ \tl_set:Nn \l__fun_argument_v_tl { ##5 }
+ \tl_set:Nn \l__fun_argument_vi_tl { ##6 }
+ \tl_set:Nn \l__fun_argument_vii_tl { ##7 }
+ \tl_set:Nn \l__fun_argument_viii_tl { ##8 }
+ \__fun_evaluate:Nn #1 {#2}
+ }
+ }
+\cs_generate_variant:Nn \__fun_new_with_arg_viii:Nnn { NnV }
+
+%% #1: function name; #2: argument specifications; #3 parameters tl defined
+\cs_new_protected:Npn \__fun_new_with_arg_ix:Nnn #1 #2 #3
+ {
+ \cs_new_protected:Npn #1 #3
+ {
+ \tl_set:Nn \l__fun_argument_i_tl { ##1 }
+ \tl_set:Nn \l__fun_argument_ii_tl { ##2 }
+ \tl_set:Nn \l__fun_argument_iii_tl { ##3 }
+ \tl_set:Nn \l__fun_argument_iv_tl { ##4 }
+ \tl_set:Nn \l__fun_argument_v_tl { ##5 }
+ \tl_set:Nn \l__fun_argument_vi_tl { ##6 }
+ \tl_set:Nn \l__fun_argument_vii_tl { ##7 }
+ \tl_set:Nn \l__fun_argument_viii_tl { ##8 }
+ \tl_set:Nn \l__fun_argument_ix_tl { ##9 }
+ \__fun_evaluate:Nn #1 {#2}
+ }
+ }
+\cs_generate_variant:Nn \__fun_new_with_arg_ix:Nnn { NnV }
+
+\int_new:N \g__fun_nesting_level_int
+\int_new:N \l__fun_argtype_number_int
+\tl_new:N \l__fun_argtype_tl
+\tl_const:Nn \c__fun_argtype_m_tl { m }
+\tl_const:Nn \c__fun_argtype_M_tl { M }
+\tl_const:Nn \c__fun_argtype_n_tl { n }
+\tl_const:Nn \c__fun_argtype_N_tl { N }
+
+%% #1: function name; #2: argument specifications
+\cs_new_protected:Npn \__fun_evaluate:Nn #1 #2
+ {
+ \int_zero:N \l__fun_argtype_number_int
+ \int_gincr:N \g__fun_nesting_level_int
+ \__fun_arguments_gclear:
+ \tl_map_variable:nNn { #2 } \l__fun_argtype_tl % spaces are ignored
+ {
+ \int_incr:N \l__fun_argtype_number_int
+ \tl_set_eq:Nc \l__fun_argument_tl
+ { l__fun_argument_ \int_to_roman:n { \l__fun_argtype_number_int } _tl }
+ \tl_case:Nn \l__fun_argtype_tl
+ {
+ \c__fun_argtype_m_tl
+ {
+ \__fun_evaluate_and_put_argument:N \l__fun_argument_tl
+ }
+ \c__fun_argtype_M_tl
+ {
+ \__fun_evaluate_and_put_argument:N \l__fun_argument_tl
+ }
+ \c__fun_argtype_n_tl
+ {
+ \__fun_arguments_gput:e { { \exp_not:V \l__fun_argument_tl } }
+ }
+ \c__fun_argtype_N_tl
+ {
+ \__fun_arguments_gput:e { \exp_not:V \l__fun_argument_tl }
+ }
+ }
+ }
+ \__fun_arguments_log:N #1
+ \__fun_arguments_called:c { __fun_defined_ \cs_to_str:N #1 : w }
+ \int_gdecr:N \g__fun_nesting_level_int
+ \__fun_return_result:
+ }
+
+\cs_set_eq:NN \__fun_cs_temp:w \scan_stop:
+
+\cs_new_protected:Npn \__fun_evaluate_and_put_argument:N #1
+ {
+ \cs_set_eq:Nc \__fun_cs_temp:w
+ {
+ __fun_defined_ \exp_last_unbraced:Ne \cs_to_str:N { \tl_head:N #1 } : w
+ }
+ \cs_if_exist:NTF \__fun_cs_temp:w
+ {
+ #1
+ \__fun_arguments_gput:e { { \exp_not:V \gResultTl } }
+ }
+ {
+ \__fun_arguments_gput:e { { \exp_not:V #1 } }
+ }
+ }
+
+\cs_new_protected:Npn \__fun_arguments_called:N #1
+ {
+ \exp_last_unbraced:Nv
+ #1 { g__fun_arguments_ \int_use:N \g__fun_nesting_level_int _tl }
+ }
+\cs_generate_variant:Nn \__fun_arguments_called:N { c }
+
+\cs_new_protected:Npn \__fun_arguments_gclear:
+ {
+ \tl_gclear:c { g__fun_arguments_ \int_use:N \g__fun_nesting_level_int _tl }
+ }
+
+\cs_new_protected:Npn \__fun_arguments_log:N #1
+ {
+ \__fun_tracing_log:e
+ {
+ [I] ~ \token_to_str:N #1
+ \exp_not:v { g__fun_arguments_ \int_use:N \g__fun_nesting_level_int _tl }
+ }
+ }
+
+\cs_new_protected:Npn \__fun_arguments_gput:n #1
+ {
+ \tl_gput_right:cn
+ { g__fun_arguments_ \int_use:N \g__fun_nesting_level_int _tl } { #1 }
+ }
+\cs_generate_variant:Nn \__fun_arguments_gput:n { e }
+
+\cs_new_protected:Npn \__fun_put_result:n #1
+ {
+ \tl_gput_right:Nn \gResultTl { #1 }
+ }
+\cs_generate_variant:Nn \__fun_put_result:n { e, V }
+
+\PrgNewFunction \Result { m }
+ {
+ \__fun_put_result:n { #1 }
+ }
+
+\PrgNewFunction \Name { m }
+ {
+ \exp_args:Nc \__fun_put_result:n { #1 }
+ }
+\cs_set_eq:NN \UseName \Name
+
+\PrgNewFunction \Expand { m }
+ {
+ \__fun_put_result:e { #1 }
+ }
+\cs_set_eq:NN \UseExpand \Expand
+
+\PrgNewFunction \Value { M }
+ {
+ \__fun_put_result:V #1
+ }
+\cs_set_eq:NN \UseValue \Value
+
+\cs_set_eq:NN \ExpNot \exp_not:n
+\cs_set_eq:NN \ExpValue \exp_not:V
+
+\cs_new_protected:Npn \__fun_return_result:
+ {
+ \int_compare:nNnT { \g__fun_nesting_level_int } = { 0 }
+ { \tl_use:N \gResultTl }
+ }
+
+\tl_new:N \l__fun_variable_type_tl
+
+\prg_new_protected_conditional:Npnn \__fun_if_global_variable:N #1 { TF }
+ {
+ \tl_set:Ne \l__fun_variable_type_tl
+ { \exp_args:Ne \tl_head:n { \cs_to_str:N #1 } }
+ \str_if_eq:VnTF \l__fun_variable_type_tl { g }
+ { \prg_return_true: }
+ {
+ \str_if_eq:VnTF \l__fun_variable_type_tl { c }
+ { \prg_return_true: }
+ { \prg_return_false: }
+ }
+ }
+
+%% We must not put an assignment inside a group
+\cs_new_protected:Npn \__fun_do_assignment:Nnn #1 #2 #3
+ {
+ \__fun_group_end:
+ \__fun_if_global_variable:NTF #1 { #2 } { #3 }
+ \__fun_group_begin:
+ }
+
+\bool_new:N \l__fun_scoping_bool
+
+\cs_new_protected:Npn \__fun_scoping_true:
+ {
+ \cs_set_eq:NN \__fun_group_begin: \group_begin:
+ \cs_set_eq:NN \__fun_group_end: \group_end:
+ }
+
+\cs_new_protected:Npn \__fun_scoping_false:
+ {
+ \cs_set_eq:NN \__fun_group_begin: \scan_stop:
+ \cs_set_eq:NN \__fun_group_end: \scan_stop:
+ }
+
+\cs_new_protected:Npn \__fun_scoping_set:
+ {
+ \bool_if:NTF \l__fun_scoping_bool
+ { \__fun_scoping_true: } { \__fun_scoping_false: }
+ }
+
+\bool_new:N \l__fun_tracing_bool
+\tl_new:N \l__tracing_text_tl
+
+\cs_new_protected:Npn \__fun_tracing_log_on:n #1
+ {
+ \tl_set:Ne \l__tracing_text_tl
+ {
+ \prg_replicate:nn
+ { \int_eval:n { (\g__fun_nesting_level_int - 1) * 4 } } { ~ }
+ }
+ \tl_put_right:Nn \l__tracing_text_tl { #1 }
+ \iow_log:V \l__tracing_text_tl
+ }
+\cs_generate_variant:Nn \__fun_tracing_log_on:n { e, V }
+
+\cs_new_protected:Npn \__fun_tracing_log_off:n #1 { }
+\cs_generate_variant:Nn \__fun_tracing_log_off:n { e, V }
+
+\cs_new_protected:Npn \__fun_tracing_true:
+ {
+ \cs_set_eq:NN \__fun_tracing_log:n \__fun_tracing_log_on:n
+ \cs_set_eq:NN \__fun_tracing_log:e \__fun_tracing_log_on:e
+ \cs_set_eq:NN \__fun_tracing_log:V \__fun_tracing_log_on:V
+ }
+
+\cs_new_protected:Npn \__fun_tracing_false:
+ {
+ \cs_set_eq:NN \__fun_tracing_log:n \__fun_tracing_log_off:n
+ \cs_set_eq:NN \__fun_tracing_log:e \__fun_tracing_log_off:e
+ \cs_set_eq:NN \__fun_tracing_log:V \__fun_tracing_log_off:V
+ }
+
+\cs_new_protected:Npn \__fun_tracing_set:
+ {
+ \bool_if:NTF \l__fun_tracing_bool
+ { \__fun_tracing_true: } { \__fun_tracing_false: }
+ }
+
+\keys_define:nn { functional }
+ {
+ scoping .bool_set:N = \l__fun_scoping_bool,
+ tracing .bool_set:N = \l__fun_tracing_bool,
+ }
+
+\NewDocumentCommand \Functional { m }
+ {
+ \keys_set:nn { functional } { #1 }
+ \__fun_scoping_set:
+ \__fun_tracing_set:
+ }
+
+\Functional { scoping = false, tracing = false }
+
+\PrgNewFunction \UseOne { n }
+ {
+ \Result { #1 }
+ }
+
+\PrgNewFunction \GobbleOne { n }
+ {
+ \Result { }
+ }
+
+\PrgNewFunction \UseGobble { n n }
+ {
+ \UseOne { #1 }
+ }
+
+\PrgNewFunction \GobbleUse { n n }
+ {
+ \UseOne { #2 }
+ }
+
+%%% --------------------------------------------------------
+%%> \section{Interfaces for Control Structures (l3prg)}
+%%% --------------------------------------------------------
+
+\bool_const:Nn \cTrueBool { \c_true_bool }
+\bool_const:Nn \cFalseBool { \c_false_bool }
+
+\bool_new:N \lTmpaBool \bool_new:N \lTmpbBool \bool_new:N \lTmpcBool
+\bool_new:N \lTmpiBool \bool_new:N \lTmpjBool \bool_new:N \lTmpkBool
+\bool_new:N \l@Funx@Bool \bool_new:N \l@Funy@Bool \bool_new:N \l@Funz@Bool
+
+\bool_new:N \gTmpaBool \bool_new:N \gTmpbBool \bool_new:N \gTmpcBool
+\bool_new:N \gTmpiBool \bool_new:N \gTmpjBool \bool_new:N \gTmpkBool
+\bool_new:N \g@Funx@Bool \bool_new:N \g@Funy@Bool \bool_new:N \g@Funz@Bool
+
+\cs_set_eq:NN \BoolNew \bool_new:N
+\cs_set_eq:NN \BoolLog \bool_log:N
+
+\PrgNewFunction \BoolSetTrue { M }
+ {
+ \__fun_do_assignment:Nnn #1 { \bool_gset_true:N #1 } { \bool_set_true:N #1 }
+ }
+
+\PrgNewFunction \BoolSetFalse { M }
+ {
+ \__fun_do_assignment:Nnn #1 { \bool_gset_false:N #1 } { \bool_set_false:N #1 }
+ }
+
+\PrgNewConditional \BoolIf { N }
+ {
+ \Result { #1 }
+ }
+
+%%% --------------------------------------------------------
+%%> \section{Interfaces for Token Lists (l3tl)}
+%%% --------------------------------------------------------
+
+\tl_new:N \lTmpaTl \tl_new:N \lTmpbTl \tl_new:N \lTmpcTl
+\tl_new:N \lTmpiTl \tl_new:N \lTmpjTl \tl_new:N \lTmpkTl
+\tl_new:N \l@Funx@Tl \tl_new:N \l@Funy@Tl \tl_new:N \l@Funz@Tl
+
+\tl_new:N \gTmpaTl \tl_new:N \gTmpbTl \tl_new:N \gTmpcTl
+\tl_new:N \gTmpiTl \tl_new:N \gTmpjTl \tl_new:N \gTmpkTl
+\tl_new:N \g@Funx@Tl \tl_new:N \g@Funy@Tl \tl_new:N \g@Funz@Tl
+
+\cs_set_eq:NN \TlNew \tl_new:N
+\cs_set_eq:NN \TlLog \tl_log:N
+
+\PrgNewFunction \TlClear { M }
+ {
+ \__fun_do_assignment:Nnn #1 { \tl_gclear:N #1 } { \tl_clear:N #1 }
+ }
+
+\PrgNewFunction \TlSet { M m }
+ {
+ \__fun_do_assignment:Nnn #1 { \tl_gset:Nn #1 {#2} } { \tl_set:Nn #1 {#2} }
+ }
+
+\PrgNewFunction \TlPutLeft { M m }
+ {
+ \__fun_do_assignment:Nnn #1
+ { \tl_gput_left:Nn #1 {#2} } { \tl_put_left:Nn #1 {#2} }
+ }
+
+\PrgNewFunction \TlPutRight { M m }
+ {
+ \__fun_do_assignment:Nnn #1
+ { \tl_gput_right:Nn #1 {#2} } { \tl_put_right:Nn #1 {#2} }
+ }
+
+\PrgNewFunction \TlUse { M }
+ {
+ \Result { \Value #1 }
+ }
+
+\PrgNewConditional \TlIfEmpty { N }
+ {
+ \tl_if_empty:NTF #1
+ { \Result { \cTrueBool } }
+ { \Result { \cFalseBool } }
+ }
+
+\PrgNewConditional \TlIfEq { N N }
+ {
+ \tl_if_eq:NNTF #1 #2
+ { \Result { \cTrueBool } }
+ { \Result { \cFalseBool } }
+ }
+
+%%% --------------------------------------------------------
+%%> \section{Interfaces for Integers (l3int)}
+%%% --------------------------------------------------------
+
+\int_new:N \lTmpaInt \int_new:N \lTmpbInt \int_new:N \lTmpcInt
+\int_new:N \lTmpiInt \int_new:N \lTmpjInt \int_new:N \lTmpkInt
+\int_new:N \l@Funx@Int \int_new:N \l@Funy@Int \int_new:N \l@Funz@Int
+
+\int_new:N \gTmpaInt \int_new:N \gTmpbInt \int_new:N \gTmpcInt
+\int_new:N \gTmpiInt \int_new:N \gTmpjInt \int_new:N \gTmpkInt
+\int_new:N \g@Funx@Int \int_new:N \g@Funy@Int \int_new:N \g@Funz@Int
+
+\cs_set_eq:NN \IntNew \int_new:N
+\cs_set_eq:NN \IntLog \int_log:N
+
+\PrgNewFunction \IntZero { M }
+ {
+ \__fun_do_assignment:Nnn #1 { \int_gzero:N #1 } { \int_zero:N #1 }
+ }
+
+\PrgNewFunction \IntIncr { M }
+ {
+ \__fun_do_assignment:Nnn #1 { \int_gincr:N #1 } { \int_incr:N #1 }
+ }
+
+\PrgNewFunction \IntDecr { M }
+ {
+ \__fun_do_assignment:Nnn #1 { \int_gdecr:N #1 } { \int_decr:N #1 }
+ }
+
+\PrgNewFunction \IntSet { M m }
+ {
+ \__fun_do_assignment:Nnn #1 { \int_gset:Nn #1 {#2} } { \int_set:Nn #1 {#2} }
+ }
+
+\PrgNewFunction \IntAdd { M m }
+ {
+ \__fun_do_assignment:Nnn #1 { \int_gadd:Nn #1 {#2} } { \int_add:Nn #1 {#2} }
+ }
+
+\PrgNewFunction \IntSub { M m }
+ {
+ \__fun_do_assignment:Nnn #1 { \int_gsub:Nn #1 {#2} } { \int_sub:Nn #1 {#2} }
+ }
+
+\PrgNewFunction \IntUse { M }
+ {
+ \Result { \Value #1 }
+ }
+
+\PrgNewFunction \IntEval { m }
+ {
+ \Result { \Expand { \int_eval:n { #1 } } }
+ }
+
+\PrgNewFunction \IntMathAdd { m m }
+ {
+ \int_set:Nn \l@Funx@Int { \int_eval:n { #1 + #2 } }
+ \Result { \Value \l@Funx@Int }
+ }
+
+\PrgNewFunction \IntMathSub { m m }
+ {
+ \int_set:Nn \l@Funx@Int { \int_eval:n { #1 - #2 } }
+ \Result { \Value \l@Funx@Int }
+ }
+
+\PrgNewFunction \IntMathMult { m m }
+ {
+ \int_set:Nn \l@Funx@Int { \int_eval:n { #1 * #2 } }
+ \Result { \Value \l@Funx@Int }
+ }
+
+\PrgNewFunction \IntMathDiv { m m }
+ {
+ \int_set:Nn \l@Funx@Int { \int_eval:n { #1 / #2 } }
+ \Result { \Value \l@Funx@Int }
+ }
+
+\PrgNewFunction \IntStepVariable { m m m M n }
+ {
+ \int_step_variable:nnnNn { #1 } { #2 } { #3 } #4 { #5 }
+ }
+
+\PrgNewConditional \IntCompare { m N m }
+ {
+ \int_compare:nNnTF {#1} #2 {#3}
+ { \Result { \cTrueBool } }
+ { \Result { \cFalseBool } }
+ }
+