Home
last modified time | relevance | path

Searched refs:Foldr (Results 1 – 25 of 31) sorted by relevance

12

/dports/textproc/hs-lhs2tex/lhs2tex-1.24/polytable/
H A Dlazylist.sty72 \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 Dpolytable.sty241 {\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 DTypeLevel.hs41 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 Dcxx1z-fold-expression.cpp19 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 Dcxx1z-fold-expression.cpp19 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 Dcxx1z-fold-expression.cpp19 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 Dcxx1z-fold-expression.cpp19 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 Dcxx1z-fold-expression.cpp19 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 Dcxx1z-fold-expression.cpp19 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 Dcxx1z-fold-expression.cpp19 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 Dcxx1z-fold-expression.cpp19 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 Dcxx1z-fold-expression.cpp19 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 Dcxx1z-fold-expression.cpp19 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 Dcxx1z-fold-expression.cpp19 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 Dcxx1z-fold-expression.cpp19 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 Dcxx1z-fold-expression.cpp19 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 Dcxx1z-fold-expression.cpp19 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 Dcxx1z-fold-expression.cpp19 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 Dcxx1z-fold-expression.cpp19 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 DInternal.hs118 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 Dpre_lambda.h255 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 Ddefinitions.cc131 FCPP_MAYBE_EXTERN Foldr foldr;
H A Dprelude.h471 typedef Full3<impl::XFoldr> Foldr;
473 FCPP_MAYBE_EXTERN Foldr foldr;
H A Dlambda.h435 typedef typename Foldr<FoldrOp,NIL,CONS<Fun,Args> >::Result
/dports/print/lyx/lyx-2.3.4.2/lib/tex/
H A Dlyxskak.sty321 % \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}}

12