/dports/textproc/hs-lhs2tex/lhs2tex-1.24/polytable/ |
H A D | lazylist.sty | 72 \def\Foldr#1#2#3% 73 {#3{\Foldr@{#1}{#2}}{#2}} 74 \def\Foldr@#1#2#3#4% 75 {#1{#3}{\Foldr{#1}{#2}{#4}}} 77 \def\Cat#1#2{\Foldr\Cons{#2}{#1}} 81 \def\All#1{\Foldr{\Compose\And{#1}}\True} 82 \def\Some#1{\Foldr{\Compose\Or{#1}}\False} 86 {\Foldr{\Lift{#1}\Cons\Second}\Nil} 88 \def\Map#1{\Foldr{\Compose\Cons{#1}}\Nil} 96 \def\Insertsort#1{\Foldr{\Insert{#1}}\Nil} [all …]
|
H A D | polytable.sty | 241 {\Foldr{\noexpand\Cons}{\noexpand\Nil}% 488 \def\PT@Execute{\Foldr\PT@Sequence\empty}
|
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Utils/ |
H A D | TypeLevel.hs | 41 type family Foldr (c :: k -> l -> l) (n :: l) (as :: [k]) :: l where 42 Foldr c n '[] = n function 43 Foldr c n (a ': as) = c a (Foldr c n as) function 70 type Arrows (as :: [Type]) (r :: Type) = Foldr (->) r as 71 type Products (as :: [Type]) = Foldr (,) () as
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/test/CodeGenCXX/ |
H A D | cxx1z-fold-expression.cpp | 19 template<int ...N> using Foldr = A<(N + ...)>; typedef 25 template<int ...B> void foldr(Foldr<A..., B..., A..., B...>);
|
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/test/CodeGenCXX/ |
H A D | cxx1z-fold-expression.cpp | 19 template<int ...N> using Foldr = A<(N + ...)>; typedef 25 template<int ...B> void foldr(Foldr<A..., B..., A..., B...>);
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/test/CodeGenCXX/ |
H A D | cxx1z-fold-expression.cpp | 19 template<int ...N> using Foldr = A<(N + ...)>; typedef 25 template<int ...B> void foldr(Foldr<A..., B..., A..., B...>);
|
/dports/devel/llvm11/llvm-11.0.1.src/tools/clang/test/CodeGenCXX/ |
H A D | cxx1z-fold-expression.cpp | 19 template<int ...N> using Foldr = A<(N + ...)>; typedef 25 template<int ...B> void foldr(Foldr<A..., B..., A..., B...>);
|
/dports/devel/llvm12/llvm-project-12.0.1.src/clang/test/CodeGenCXX/ |
H A D | cxx1z-fold-expression.cpp | 19 template<int ...N> using Foldr = A<(N + ...)>; typedef 25 template<int ...B> void foldr(Foldr<A..., B..., A..., B...>);
|
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/test/CodeGenCXX/ |
H A D | cxx1z-fold-expression.cpp | 19 template<int ...N> using Foldr = A<(N + ...)>; typedef 25 template<int ...B> void foldr(Foldr<A..., B..., A..., B...>);
|
/dports/devel/llvm90/llvm-9.0.1.src/tools/clang/test/CodeGenCXX/ |
H A D | cxx1z-fold-expression.cpp | 19 template<int ...N> using Foldr = A<(N + ...)>; typedef 25 template<int ...B> void foldr(Foldr<A..., B..., A..., B...>);
|
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/test/CodeGenCXX/ |
H A D | cxx1z-fold-expression.cpp | 19 template<int ...N> using Foldr = A<(N + ...)>; typedef 25 template<int ...B> void foldr(Foldr<A..., B..., A..., B...>);
|
/dports/devel/llvm10/llvm-10.0.1.src/tools/clang/test/CodeGenCXX/ |
H A D | cxx1z-fold-expression.cpp | 19 template<int ...N> using Foldr = A<(N + ...)>; typedef 25 template<int ...B> void foldr(Foldr<A..., B..., A..., B...>);
|
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/test/CodeGenCXX/ |
H A D | cxx1z-fold-expression.cpp | 19 template<int ...N> using Foldr = A<(N + ...)>; typedef 25 template<int ...B> void foldr(Foldr<A..., B..., A..., B...>);
|
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/test/CodeGenCXX/ |
H A D | cxx1z-fold-expression.cpp | 19 template<int ...N> using Foldr = A<(N + ...)>; typedef 25 template<int ...B> void foldr(Foldr<A..., B..., A..., B...>);
|
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/test/CodeGenCXX/ |
H A D | cxx1z-fold-expression.cpp | 19 template<int ...N> using Foldr = A<(N + ...)>; typedef 25 template<int ...B> void foldr(Foldr<A..., B..., A..., B...>);
|
/dports/devel/llvm13/llvm-project-13.0.1.src/clang/test/CodeGenCXX/ |
H A D | cxx1z-fold-expression.cpp | 19 template<int ...N> using Foldr = A<(N + ...)>; typedef 25 template<int ...B> void foldr(Foldr<A..., B..., A..., B...>);
|
/dports/devel/llvm80/llvm-8.0.1.src/tools/clang/test/CodeGenCXX/ |
H A D | cxx1z-fold-expression.cpp | 19 template<int ...N> using Foldr = A<(N + ...)>; 25 template<int ...B> void foldr(Foldr<A..., B..., A..., B...>);
|
/dports/devel/llvm70/llvm-7.0.1.src/tools/clang/test/CodeGenCXX/ |
H A D | cxx1z-fold-expression.cpp | 19 template<int ...N> using Foldr = A<(N + ...)>; typedef 25 template<int ...B> void foldr(Foldr<A..., B..., A..., B...>);
|
/dports/lang/clang-mesa/clang-13.0.1.src/test/CodeGenCXX/ |
H A D | cxx1z-fold-expression.cpp | 19 template<int ...N> using Foldr = A<(N + ...)>; typedef 25 template<int ...B> void foldr(Foldr<A..., B..., A..., B...>);
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/deriving-compat-0.5.10/src/Data/Functor/Deriving/ |
H A D | Internal.hs | 118 makeFoldrOptions = makeFunctorFun Foldr 301 , guard (ff == Foldr) >> Just z 355 Foldr -> makeFoldrMatch z tvMap con 621 | Foldr constructor 630 showsPrec _ Foldr = showString "foldr" 638 functorFunConstName Foldr = foldrConstValName function 646 functorFunName Foldr = foldrValName function 653 functorClassToFuns Foldable = [ Foldr, FoldMap 663 functorFunToClass Foldr = Foldable function 698 go Foldr = varE z
|
/dports/devel/fc++/FC++.1.5/ |
H A D | pre_lambda.h | 255 template <class Op, class E, class List> struct Foldr; 256 template <class Op, class E> struct Foldr<Op,E,NIL> 258 template <class Op, class E, class H, class T> struct Foldr<Op,E,CONS<H,T> > { 259 typedef typename Foldr<Op,E,T>::Result Tmp;
|
H A D | definitions.cc | 131 FCPP_MAYBE_EXTERN Foldr foldr;
|
H A D | prelude.h | 471 typedef Full3<impl::XFoldr> Foldr; 473 FCPP_MAYBE_EXTERN Foldr foldr;
|
H A D | lambda.h | 435 typedef typename Foldr<FoldrOp,NIL,CONS<Fun,Args> >::Result
|
/dports/print/lyx/lyx-2.3.4.2/lib/tex/ |
H A D | lyxskak.sty | 321 % \def\ForceA#1{#1\Foldr\DoIt{}} 328 \Foldr{\Sideeffect{#1}}{\relax}{#2}} 896 \def\ScanDirections#1#2#3{\Foldr{\Compose\Cat{\LookFor{#1}{#2}}}\Nil{#3}}
|