| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/Expr/ |
| H A D | WeightedSum.hs | 161 newtype WrapF (f :: BaseType -> Type) (i :: SR.SemiRing) = WrapF (f (SR.SemiRingBase i)) function
163 instance OrdF f => Ord (WrapF f i) where
164 compare (WrapF x) (WrapF y) = toOrdering $ compareF x y
167 (WrapF x) == (WrapF y) = isJust $ testEquality x y
172 … :: Functor m => (f (SR.SemiRingBase i) -> m (g (SR.SemiRingBase i))) -> WrapF f i -> m (WrapF g i)
173 traverseWrap f (WrapF x) = WrapF <$> f x
415 g (WrapF t) _ c = mk t <$> f c
429 rebuild = foldl' (\m (WrapF t, occ) -> AM.insert (WrapF t) (mkProdNote sr occ t) occ m) AM.empty
486 f (WrapF t) _ x
578 f (WrapF t) _ x
[all …]
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/g++.dg/abi/ |
| H A D | mangle-regparm1a.C | 7 typedef F (*WrapF)(F); in IndirectExternCall() typedef
|
| H A D | mangle-regparm.C | 9 typedef F (*WrapF)(F); in IndirectExternCall() typedef
|
| /dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/g++.dg/abi/ |
| H A D | mangle-regparm1a.C | 7 typedef F (*WrapF)(F); in IndirectExternCall() typedef
|
| H A D | mangle-regparm.C | 9 typedef F (*WrapF)(F); in IndirectExternCall() typedef
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/g++.dg/abi/ |
| H A D | mangle-regparm1a.C | 7 typedef F (*WrapF)(F); in IndirectExternCall() typedef
|
| H A D | mangle-regparm.C | 9 typedef F (*WrapF)(F); in IndirectExternCall() typedef
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/g++.dg/abi/ |
| H A D | mangle-regparm1a.C | 7 typedef F (*WrapF)(F); in IndirectExternCall() typedef
|
| H A D | mangle-regparm.C | 9 typedef F (*WrapF)(F); in IndirectExternCall() typedef
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/testsuite/g++.dg/abi/ |
| H A D | mangle-regparm1a.C | 7 typedef F (*WrapF)(F); in IndirectExternCall() typedef
|
| H A D | mangle-regparm.C | 9 typedef F (*WrapF)(F); in IndirectExternCall() typedef
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/g++.dg/abi/ |
| H A D | mangle-regparm1a.C | 7 typedef F (*WrapF)(F); in IndirectExternCall() typedef
|
| H A D | mangle-regparm.C | 9 typedef F (*WrapF)(F); in IndirectExternCall() typedef
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/g++.dg/abi/ |
| H A D | mangle-regparm1a.C | 7 typedef F (*WrapF)(F); in IndirectExternCall() typedef
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/g++.dg/abi/ |
| H A D | mangle-regparm1a.C | 7 typedef F (*WrapF)(F); in IndirectExternCall() typedef
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/g++.dg/abi/ |
| H A D | mangle-regparm1a.C | 7 typedef F (*WrapF)(F); in IndirectExternCall() typedef
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/g++.dg/abi/ |
| H A D | mangle-regparm1a.C | 7 typedef F (*WrapF)(F); in IndirectExternCall() typedef
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/g++.dg/abi/ |
| H A D | mangle-regparm1a.C | 7 typedef F (*WrapF)(F); in IndirectExternCall() typedef
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/g++.dg/abi/ |
| H A D | mangle-regparm1a.C | 7 typedef F (*WrapF)(F); in IndirectExternCall() typedef
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/g++.dg/abi/ |
| H A D | mangle-regparm1a.C | 7 typedef F (*WrapF)(F); in IndirectExternCall() typedef
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/g++.dg/abi/ |
| H A D | mangle-regparm1a.C | 7 typedef F (*WrapF)(F); in IndirectExternCall() typedef
|
| /dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/g++.dg/abi/ |
| H A D | mangle-regparm1a.C | 7 typedef F (*WrapF)(F); in IndirectExternCall() typedef
|
| /dports/lang/gcc8/gcc-8.5.0/gcc/testsuite/g++.dg/abi/ |
| H A D | mangle-regparm1a.C | 7 typedef F (*WrapF)(F); in IndirectExternCall() typedef
|
| /dports/lang/gnat_util/gcc-6-20180516/gcc/testsuite/g++.dg/abi/ |
| H A D | mangle-regparm1a.C | 7 typedef F (*WrapF)(F); in IndirectExternCall() typedef
|
| /dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/g++.dg/abi/ |
| H A D | mangle-regparm1a.C | 7 typedef F (*WrapF)(F); in IndirectExternCall() typedef
|