Home
last modified time | relevance | path

Searched refs:T_R (Results 1 – 25 of 92) sorted by relevance

1234

/dports/devel/stack/stack-2.7.3/_cabal_deps/extra-1.7.9/src/Data/List/
H A DExtra.hs805 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 DExtra.hs805 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 DExtra.hs798 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 DExtra.hs798 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 DExtra.hs805 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 DExtra.hs805 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 DExtra.hs805 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 DExtra.hs805 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 DExtra.hs818 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 Dtransformedindexbasis.hh85 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 Dad7203b.ada194 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 Dad7203b.ada194 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 Dad7203b.ada194 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 Dad7203b.ada194 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 Dad7203b.ada194 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 Dad7203b.ada194 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 Dad7203b.ada194 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 Dad7203b.ada194 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 Dad7203b.ada194 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 Dad7203b.ada194 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 Dad7203b.ada194 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 Dad7203b.ada194 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 Dad7203b.ada194 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 Dad7203b.ada194 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 Dad7203b.ada194 T_R : TSK_REC; variable
198 T_R_SIZE : INTEGER := T_R'SIZE;
200 T_R_TSK1_SIZE : INTEGER := T_R.TSK1'SIZE;

1234