/dports/devel/stack/stack-2.7.3/_cabal_deps/extra-1.7.9/src/Data/List/ |
H A D | Extra.hs | 805 T_R a z b -> T_B a z b 808 ins E = T_R E x E 813 ins s@(T_R a y b) = case cmp x y of 814 LT -> T_R (ins a) y b 815 GT -> T_R a y (ins b) 832 lbalance (T_R a x b) y (T_R c z d) = T_R (T_B a x b) y (T_B c z d) 833 lbalance (T_R (T_R a x b) y c) z d = T_R (T_B a x b) y (T_B c z d) 834 lbalance (T_R a x (T_R b y c)) z d = T_R (T_B a x b) y (T_B c z d) 836 rbalance (T_R a x b) y (T_R c z d) = T_R (T_B a x b) y (T_B c z d) 837 rbalance a x (T_R b y (T_R c z d)) = T_R (T_B a x b) y (T_B c z d) [all …]
|
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/extra-1.7.9/src/Data/List/ |
H A D | Extra.hs | 805 T_R a z b -> T_B a z b 808 ins E = T_R E x E 813 ins s@(T_R a y b) = case cmp x y of 814 LT -> T_R (ins a) y b 815 GT -> T_R a y (ins b) 832 lbalance (T_R a x b) y (T_R c z d) = T_R (T_B a x b) y (T_B c z d) 833 lbalance (T_R (T_R a x b) y c) z d = T_R (T_B a x b) y (T_B c z d) 834 lbalance (T_R a x (T_R b y c)) z d = T_R (T_B a x b) y (T_B c z d) 836 rbalance (T_R a x b) y (T_R c z d) = T_R (T_B a x b) y (T_B c z d) 837 rbalance a x (T_R b y (T_R c z d)) = T_R (T_B a x b) y (T_B c z d) [all …]
|
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/extra-1.7.7/src/Data/List/ |
H A D | Extra.hs | 798 T_R a z b -> T_B a z b 801 ins E = T_R E x E 806 ins s@(T_R a y b) = case cmp x y of 807 LT -> T_R (ins a) y b 808 GT -> T_R a y (ins b) 825 lbalance (T_R a x b) y (T_R c z d) = T_R (T_B a x b) y (T_B c z d) 826 lbalance (T_R (T_R a x b) y c) z d = T_R (T_B a x b) y (T_B c z d) 827 lbalance (T_R a x (T_R b y c)) z d = T_R (T_B a x b) y (T_B c z d) 829 rbalance (T_R a x b) y (T_R c z d) = T_R (T_B a x b) y (T_B c z d) 830 rbalance a x (T_R b y (T_R c z d)) = T_R (T_B a x b) y (T_B c z d) [all …]
|
/dports/finance/hs-hledger/hledger-1.19/_cabal_deps/extra-1.7.7/src/Data/List/ |
H A D | Extra.hs | 798 T_R a z b -> T_B a z b 801 ins E = T_R E x E 806 ins s@(T_R a y b) = case cmp x y of 807 LT -> T_R (ins a) y b 808 GT -> T_R a y (ins b) 825 lbalance (T_R a x b) y (T_R c z d) = T_R (T_B a x b) y (T_B c z d) 826 lbalance (T_R (T_R a x b) y c) z d = T_R (T_B a x b) y (T_B c z d) 827 lbalance (T_R a x (T_R b y c)) z d = T_R (T_B a x b) y (T_B c z d) 829 rbalance (T_R a x b) y (T_R c z d) = T_R (T_B a x b) y (T_B c z d) 830 rbalance a x (T_R b y (T_R c z d)) = T_R (T_B a x b) y (T_B c z d) [all …]
|
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/extra-1.7.9/src/Data/List/ |
H A D | Extra.hs | 805 T_R a z b -> T_B a z b 808 ins E = T_R E x E 813 ins s@(T_R a y b) = case cmp x y of 814 LT -> T_R (ins a) y b 815 GT -> T_R a y (ins b) 832 lbalance (T_R a x b) y (T_R c z d) = T_R (T_B a x b) y (T_B c z d) 833 lbalance (T_R (T_R a x b) y c) z d = T_R (T_B a x b) y (T_B c z d) 834 lbalance (T_R a x (T_R b y c)) z d = T_R (T_B a x b) y (T_B c z d) 836 rbalance (T_R a x b) y (T_R c z d) = T_R (T_B a x b) y (T_B c z d) 837 rbalance a x (T_R b y (T_R c z d)) = T_R (T_B a x b) y (T_B c z d) [all …]
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/extra-1.7.9/src/Data/List/ |
H A D | Extra.hs | 805 T_R a z b -> T_B a z b 808 ins E = T_R E x E 813 ins s@(T_R a y b) = case cmp x y of 814 LT -> T_R (ins a) y b 815 GT -> T_R a y (ins b) 832 lbalance (T_R a x b) y (T_R c z d) = T_R (T_B a x b) y (T_B c z d) 833 lbalance (T_R (T_R a x b) y c) z d = T_R (T_B a x b) y (T_B c z d) 834 lbalance (T_R a x (T_R b y c)) z d = T_R (T_B a x b) y (T_B c z d) 836 rbalance (T_R a x b) y (T_R c z d) = T_R (T_B a x b) y (T_B c z d) 837 rbalance a x (T_R b y (T_R c z d)) = T_R (T_B a x b) y (T_B c z d) [all …]
|
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/extra-1.7.9/src/Data/List/ |
H A D | Extra.hs | 805 T_R a z b -> T_B a z b 808 ins E = T_R E x E 813 ins s@(T_R a y b) = case cmp x y of 814 LT -> T_R (ins a) y b 815 GT -> T_R a y (ins b) 832 lbalance (T_R a x b) y (T_R c z d) = T_R (T_B a x b) y (T_B c z d) 833 lbalance (T_R (T_R a x b) y c) z d = T_R (T_B a x b) y (T_B c z d) 834 lbalance (T_R a x (T_R b y c)) z d = T_R (T_B a x b) y (T_B c z d) 836 rbalance (T_R a x b) y (T_R c z d) = T_R (T_B a x b) y (T_B c z d) 837 rbalance a x (T_R b y (T_R c z d)) = T_R (T_B a x b) y (T_B c z d) [all …]
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/extra-1.7.9/src/Data/List/ |
H A D | Extra.hs | 805 T_R a z b -> T_B a z b 808 ins E = T_R E x E 813 ins s@(T_R a y b) = case cmp x y of 814 LT -> T_R (ins a) y b 815 GT -> T_R a y (ins b) 832 lbalance (T_R a x b) y (T_R c z d) = T_R (T_B a x b) y (T_B c z d) 833 lbalance (T_R (T_R a x b) y c) z d = T_R (T_B a x b) y (T_B c z d) 834 lbalance (T_R a x (T_R b y c)) z d = T_R (T_B a x b) y (T_B c z d) 836 rbalance (T_R a x b) y (T_R c z d) = T_R (T_B a x b) y (T_B c z d) 837 rbalance a x (T_R b y (T_R c z d)) = T_R (T_B a x b) y (T_B c z d) [all …]
|
/dports/ports-mgmt/hs-panopticum/panopticum-3e29a6b2b989855a8e0dd5e93fcda5ba7b748999/_cabal_deps/extra-1.7.10/src/Data/List/ |
H A D | Extra.hs | 818 T_R a z b -> T_B a z b 821 ins E = T_R E x E 826 ins s@(T_R a y b) = case cmp x y of 827 LT -> T_R (ins a) y b 828 GT -> T_R a y (ins b) 845 lbalance (T_R a x b) y (T_R c z d) = T_R (T_B a x b) y (T_B c z d) 846 lbalance (T_R (T_R a x b) y c) z d = T_R (T_B a x b) y (T_B c z d) 847 lbalance (T_R a x (T_R b y c)) z d = T_R (T_B a x b) y (T_B c z d) 849 rbalance (T_R a x b) y (T_R c z d) = T_R (T_B a x b) y (T_B c z d) 850 rbalance a x (T_R b y (T_R c z d)) = T_R (T_B a x b) y (T_B c z d) [all …]
|
/dports/math/dune-functions/dune-functions-1882b3ec0a14b211dd077f0d5e6455495e28c35d/dune/functions/functionspacebases/ |
H A D | transformedindexbasis.hh | 85 template<class RPB_R, class T_R> 86 TransformedIndexPreBasis(RPB_R&& rawPreBasis, T_R&& transformation) : in TransformedIndexPreBasis() 88 transformation_(std::forward<T_R>(transformation)) in TransformedIndexPreBasis() 211 template<class RPBF_R, class T_R> 212 TransformedIndexPreBasisFactory(RPBF_R&& rawPreBasisFactory, T_R&& transformation) : in TransformedIndexPreBasisFactory() 214 transformation_(std::forward<T_R>(transformation)) in TransformedIndexPreBasisFactory()
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/ada/acats/tests/a/ |
H A D | ad7203b.ada | 194 T_R : TSK_REC; variable 198 T_R_SIZE : INTEGER := T_R'SIZE; 200 T_R_TSK1_SIZE : INTEGER := T_R.TSK1'SIZE;
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/ada/acats/tests/a/ |
H A D | ad7203b.ada | 194 T_R : TSK_REC; variable 198 T_R_SIZE : INTEGER := T_R'SIZE; 200 T_R_TSK1_SIZE : INTEGER := T_R.TSK1'SIZE;
|
/dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/ada/acats/tests/a/ |
H A D | ad7203b.ada | 194 T_R : TSK_REC; variable 198 T_R_SIZE : INTEGER := T_R'SIZE; 200 T_R_TSK1_SIZE : INTEGER := T_R.TSK1'SIZE;
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/testsuite/ada/acats/tests/a/ |
H A D | ad7203b.ada | 194 T_R : TSK_REC; variable 198 T_R_SIZE : INTEGER := T_R'SIZE; 200 T_R_TSK1_SIZE : INTEGER := T_R.TSK1'SIZE;
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/ada/acats/tests/a/ |
H A D | ad7203b.ada | 194 T_R : TSK_REC; variable 198 T_R_SIZE : INTEGER := T_R'SIZE; 200 T_R_TSK1_SIZE : INTEGER := T_R.TSK1'SIZE;
|
/dports/lang/gnat_util/gcc-6-20180516/gcc/testsuite/ada/acats/tests/a/ |
H A D | ad7203b.ada | 194 T_R : TSK_REC; variable 198 T_R_SIZE : INTEGER := T_R'SIZE; 200 T_R_TSK1_SIZE : INTEGER := T_R.TSK1'SIZE;
|
/dports/lang/gcc48/gcc-4.8.5/gcc/testsuite/ada/acats/tests/a/ |
H A D | ad7203b.ada | 194 T_R : TSK_REC; variable 198 T_R_SIZE : INTEGER := T_R'SIZE; 200 T_R_TSK1_SIZE : INTEGER := T_R.TSK1'SIZE;
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/ada/acats/tests/a/ |
H A D | ad7203b.ada | 194 T_R : TSK_REC; variable 198 T_R_SIZE : INTEGER := T_R'SIZE; 200 T_R_TSK1_SIZE : INTEGER := T_R.TSK1'SIZE;
|
/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/gcc/testsuite/ada/acats/tests/a/ |
H A D | ad7203b.ada | 194 T_R : TSK_REC; variable 198 T_R_SIZE : INTEGER := T_R'SIZE; 200 T_R_TSK1_SIZE : INTEGER := T_R.TSK1'SIZE;
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/ada/acats/tests/a/ |
H A D | ad7203b.ada | 194 T_R : TSK_REC; variable 198 T_R_SIZE : INTEGER := T_R'SIZE; 200 T_R_TSK1_SIZE : INTEGER := T_R.TSK1'SIZE;
|
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/testsuite/ada/acats/tests/a/ |
H A D | ad7203b.ada | 194 T_R : TSK_REC; variable 198 T_R_SIZE : INTEGER := T_R'SIZE; 200 T_R_TSK1_SIZE : INTEGER := T_R.TSK1'SIZE;
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/ada/acats/tests/a/ |
H A D | ad7203b.ada | 194 T_R : TSK_REC; variable 198 T_R_SIZE : INTEGER := T_R'SIZE; 200 T_R_TSK1_SIZE : INTEGER := T_R.TSK1'SIZE;
|
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/ada/acats/tests/a/ |
H A D | ad7203b.ada | 194 T_R : TSK_REC; variable 198 T_R_SIZE : INTEGER := T_R'SIZE; 200 T_R_TSK1_SIZE : INTEGER := T_R.TSK1'SIZE;
|
/dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/ada/acats/tests/a/ |
H A D | ad7203b.ada | 194 T_R : TSK_REC; variable 198 T_R_SIZE : INTEGER := T_R'SIZE; 200 T_R_TSK1_SIZE : INTEGER := T_R.TSK1'SIZE;
|
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/ada/acats/tests/a/ |
H A D | ad7203b.ada | 194 T_R : TSK_REC; variable 198 T_R_SIZE : INTEGER := T_R'SIZE; 200 T_R_TSK1_SIZE : INTEGER := T_R.TSK1'SIZE;
|