| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/mmorph-1.1.3/src/Control/Monad/ |
| H A D | Morph.hs | 106 > hoist (f . g) = hoist f . hoist g function
108 > hoist id = id function
120 hoist nat m = E.ErrorT (nat (E.runErrorT m)) function
129 hoist nat m = L.ListT (nat (L.runListT m)) function
132 hoist nat m = M.MaybeT (nat (M.runMaybeT m)) function
150 hoist nat m = W.WriterT (nat (W.runWriterT m)) function
156 hoist nat (Compose f) = Compose (fmap nat f) function
159 hoist nat (Pair f g) = Pair f (nat g) function
162 hoist nat (Backwards f) = Backwards (nat f) function
165 hoist _ (Pure a) = Pure a function
[all …]
|
| /dports/finance/hs-hledger/hledger-1.19/_cabal_deps/mmorph-1.1.3/src/Control/Monad/ |
| H A D | Morph.hs | 106 > hoist (f . g) = hoist f . hoist g function
108 > hoist id = id function
120 hoist nat m = E.ErrorT (nat (E.runErrorT m)) function
129 hoist nat m = L.ListT (nat (L.runListT m)) function
132 hoist nat m = M.MaybeT (nat (M.runMaybeT m)) function
150 hoist nat m = W.WriterT (nat (W.runWriterT m)) function
156 hoist nat (Compose f) = Compose (fmap nat f) function
159 hoist nat (Pair f g) = Pair f (nat g) function
162 hoist nat (Backwards f) = Backwards (nat f) function
165 hoist _ (Pure a) = Pure a function
[all …]
|
| /dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/mmorph-1.1.5/src/Control/Monad/ |
| H A D | Morph.hs | 107 > hoist (f . g) = hoist f . hoist g function
109 > hoist id = id function
121 hoist nat m = E.ErrorT (nat (E.runErrorT m)) function
130 hoist nat m = L.ListT (nat (L.runListT m)) function
133 hoist nat m = M.MaybeT (nat (M.runMaybeT m)) function
151 hoist nat m = W.WriterT (nat (W.runWriterT m)) function
157 hoist nat (Compose f) = Compose (fmap nat f) function
160 hoist nat (Pair f g) = Pair f (nat g) function
163 hoist nat (Backwards f) = Backwards (nat f) function
166 hoist _ (Pure a) = Pure a function
[all …]
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/mmorph-1.1.5/src/Control/Monad/ |
| H A D | Morph.hs | 107 > hoist (f . g) = hoist f . hoist g function
109 > hoist id = id function
121 hoist nat m = E.ErrorT (nat (E.runErrorT m)) function
130 hoist nat m = L.ListT (nat (L.runListT m)) function
133 hoist nat m = M.MaybeT (nat (M.runMaybeT m)) function
151 hoist nat m = W.WriterT (nat (W.runWriterT m)) function
157 hoist nat (Compose f) = Compose (fmap nat f) function
160 hoist nat (Pair f g) = Pair f (nat g) function
163 hoist nat (Backwards f) = Backwards (nat f) function
166 hoist _ (Pure a) = Pure a function
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/mmorph-1.1.5/src/Control/Monad/ |
| H A D | Morph.hs | 107 > hoist (f . g) = hoist f . hoist g function
109 > hoist id = id function
121 hoist nat m = E.ErrorT (nat (E.runErrorT m)) function
130 hoist nat m = L.ListT (nat (L.runListT m)) function
133 hoist nat m = M.MaybeT (nat (M.runMaybeT m)) function
151 hoist nat m = W.WriterT (nat (W.runWriterT m)) function
157 hoist nat (Compose f) = Compose (fmap nat f) function
160 hoist nat (Pair f g) = Pair f (nat g) function
163 hoist nat (Backwards f) = Backwards (nat f) function
166 hoist _ (Pure a) = Pure a function
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/refinery-0.4.0.0/src/Refinery/ |
| H A D | ProofState.hs | 115 hoist nat (Subgoal a k) = Subgoal a $ fmap (hoist nat) k function
116 hoist nat (Effect m) = Effect $ nat $ fmap (hoist nat) m function
117 hoist nat (Stateful f) = Stateful $ fmap (hoist nat) . f function
118 hoist nat (Alt p1 p2) = Alt (hoist nat p1) (hoist nat p2) function
119 hoist nat (Interleave p1 p2) = Interleave (hoist nat p1) (hoist nat p2) function
120 hoist nat (Commit p1 p2) = Commit (hoist nat p1) (hoist nat p2) function
121 hoist nat (Failure err k) = Failure err $ fmap (hoist nat) k function
122 hoist nat (Handle p h) = Handle (hoist nat p) (nat . h) function
123 hoist _ Empty = Empty function
124 hoist _ (Axiom ext) = Axiom ext function
|
| /dports/lang/gcc8/gcc-8.5.0/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | ssa-pre-29.c | 5 int flag, hoist, y, z; variable
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | ssa-pre-29.c | 5 int flag, hoist, y, z; variable
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | ssa-pre-29.c | 5 int flag, hoist, y, z; variable
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | ssa-pre-29.c | 5 int flag, hoist, y, z; variable
|
| /dports/lang/gcc48/gcc-4.8.5/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | ssa-pre-29.c | 4 int flag, hoist, y, z; variable
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | ssa-pre-29.c | 5 int flag, hoist, y, z; variable
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | ssa-pre-29.c | 5 int flag, hoist, y, z; variable
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | ssa-pre-29.c | 5 int flag, hoist, y, z; variable
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | ssa-pre-29.c | 5 int flag, hoist, y, z; variable
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | ssa-pre-29.c | 4 int flag, hoist, y, z; variable
|
| /dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | ssa-pre-29.c | 5 int flag, hoist, y, z; variable
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | ssa-pre-29.c | 5 int flag, hoist, y, z; variable
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | ssa-pre-29.c | 5 int flag, hoist, y, z; variable
|
| /dports/lang/gnat_util/gcc-6-20180516/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | ssa-pre-29.c | 5 int flag, hoist, y, z; variable
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | ssa-pre-29.c | 5 int flag, hoist, y, z; variable
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | ssa-pre-29.c | 5 int flag, hoist, y, z; variable
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | ssa-pre-29.c | 5 int flag, hoist, y, z; variable
|
| /dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | ssa-pre-29.c | 5 int flag, hoist, y, z; variable
|
| /dports/devel/mingw32-gcc/gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | ssa-pre-29.c | 4 int flag, hoist, y, z; variable
|