Home
last modified time | relevance | path

Searched defs:Kleisli (Results 1 – 25 of 46) sorted by relevance

12

/dports/lang/ghc/ghc-8.10.7/libraries/base/Control/
H A DArrow.hs154 newtype Kleisli m a b = Kleisli { runKleisli :: a -> m b } constructor
169 Kleisli f <*> Kleisli g = Kleisli $ \x -> f x <*> g x function
171 Kleisli f *> Kleisli g = Kleisli $ \x -> f x *> g x function
173 Kleisli f <* Kleisli g = Kleisli $ \x -> f x <* g x function
180 Kleisli f <|> Kleisli g = Kleisli $ \x -> f x <|> g x function
185 Kleisli f >>= k = Kleisli $ \x -> f x >>= \a -> runKleisli (k a) x function
192 Kleisli f `mplus` Kleisli g = Kleisli $ \x -> f x `mplus` g x function
240 Kleisli f <+> Kleisli g = Kleisli (\x -> f x `mplus` g x) function
332 Kleisli f ||| Kleisli g = Kleisli (either f g) function
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/semigroupoids-5.3.5/src/Data/
H A DSemigroupoid.hs68 Kleisli g `o` Kleisli f = Kleisli $ \a -> f a >>- g function
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/semigroupoids-5.3.5/src/Data/
H A DSemigroupoid.hs68 Kleisli g `o` Kleisli f = Kleisli $ \a -> f a >>- g function
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/semigroupoids-5.3.5/src/Data/
H A DSemigroupoid.hs68 Kleisli g `o` Kleisli f = Kleisli $ \a -> f a >>- g function
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/semigroupoids-5.3.4/src/Data/
H A DSemigroupoid.hs68 Kleisli g `o` Kleisli f = Kleisli $ \a -> f a >>- g function
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/semigroupoids-5.3.5/src/Data/
H A DSemigroupoid.hs68 Kleisli g `o` Kleisli f = Kleisli $ \a -> f a >>- g function
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/semigroupoids-5.3.4/src/Data/
H A DSemigroupoid.hs68 Kleisli g `o` Kleisli f = Kleisli $ \a -> f a >>- g function
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/semigroupoids-5.3.5/src/Data/
H A DSemigroupoid.hs68 Kleisli g `o` Kleisli f = Kleisli $ \a -> f a >>- g function
/dports/devel/hs-ShellCheck/ShellCheck-0.8.0/_cabal_deps/semigroupoids-5.3.6/src/Data/
H A DSemigroupoid.hs68 Kleisli g `o` Kleisli f = Kleisli $ \a -> f a >>- g function
/dports/devel/elm-format/elm-format-0.8.3/_cabal_deps/semigroupoids-5.3.4/src/Data/
H A DSemigroupoid.hs68 Kleisli g `o` Kleisli f = Kleisli $ \a -> f a >>- g function
/dports/devel/stack/stack-2.7.3/_cabal_deps/semigroupoids-5.3.5/src/Data/
H A DSemigroupoid.hs68 Kleisli g `o` Kleisli f = Kleisli $ \a -> f a >>- g function
/dports/textproc/cgrep/cgrep-6.6.32/_cabal_deps/semigroupoids-5.3.4/src/Data/
H A DSemigroupoid.hs68 Kleisli g `o` Kleisli f = Kleisli $ \a -> f a >>- g function
/dports/devel/stack/stack-2.7.3/_cabal_deps/base-orphans-0.8.4/src/Data/
H A DOrphans.hs1147 Kleisli f <*> Kleisli g = Kleisli $ \x -> f x <*> g x function
1149 Kleisli f *> Kleisli g = Kleisli $ \x -> f x *> g x function
1151 Kleisli f <* Kleisli g = Kleisli $ \x -> f x <* g x function
1157 Kleisli f <|> Kleisli g = Kleisli $ \x -> f x <|> g x function
1161 Kleisli f >>= k = Kleisli $ \x -> f x >>= \a -> runKleisli (k a) x function
1171 Kleisli f `mplus` Kleisli g = Kleisli $ \x -> f x `mplus` g x function
/dports/finance/hs-hledger/hledger-1.19/_cabal_deps/base-orphans-0.8.2/src/Data/
H A DOrphans.hs1136 Kleisli f <*> Kleisli g = Kleisli $ \x -> f x <*> g x function
1138 Kleisli f *> Kleisli g = Kleisli $ \x -> f x *> g x function
1140 Kleisli f <* Kleisli g = Kleisli $ \x -> f x <* g x function
1146 Kleisli f <|> Kleisli g = Kleisli $ \x -> f x <|> g x function
1150 Kleisli f >>= k = Kleisli $ \x -> f x >>= \a -> runKleisli (k a) x function
1160 Kleisli f `mplus` Kleisli g = Kleisli $ \x -> f x `mplus` g x function
/dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/base-orphans-0.8.2/src/Data/
H A DOrphans.hs1136 Kleisli f <*> Kleisli g = Kleisli $ \x -> f x <*> g x function
1138 Kleisli f *> Kleisli g = Kleisli $ \x -> f x *> g x function
1140 Kleisli f <* Kleisli g = Kleisli $ \x -> f x <* g x function
1146 Kleisli f <|> Kleisli g = Kleisli $ \x -> f x <|> g x function
1150 Kleisli f >>= k = Kleisli $ \x -> f x >>= \a -> runKleisli (k a) x function
1160 Kleisli f `mplus` Kleisli g = Kleisli $ \x -> f x `mplus` g x function
/dports/converters/hs-aeson-pretty/aeson-pretty-0.8.8/_cabal_deps/base-orphans-0.8.2/src/Data/
H A DOrphans.hs1136 Kleisli f <*> Kleisli g = Kleisli $ \x -> f x <*> g x function
1138 Kleisli f *> Kleisli g = Kleisli $ \x -> f x *> g x function
1140 Kleisli f <* Kleisli g = Kleisli $ \x -> f x <* g x function
1146 Kleisli f <|> Kleisli g = Kleisli $ \x -> f x <|> g x function
1150 Kleisli f >>= k = Kleisli $ \x -> f x >>= \a -> runKleisli (k a) x function
1160 Kleisli f `mplus` Kleisli g = Kleisli $ \x -> f x `mplus` g x function
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/base-orphans-0.8.2/src/Data/
H A DOrphans.hs1136 Kleisli f <*> Kleisli g = Kleisli $ \x -> f x <*> g x function
1138 Kleisli f *> Kleisli g = Kleisli $ \x -> f x *> g x function
1140 Kleisli f <* Kleisli g = Kleisli $ \x -> f x <* g x function
1146 Kleisli f <|> Kleisli g = Kleisli $ \x -> f x <|> g x function
1150 Kleisli f >>= k = Kleisli $ \x -> f x >>= \a -> runKleisli (k a) x function
1160 Kleisli f `mplus` Kleisli g = Kleisli $ \x -> f x `mplus` g x function
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/base-orphans-0.8.2/src/Data/
H A DOrphans.hs1136 Kleisli f <*> Kleisli g = Kleisli $ \x -> f x <*> g x function
1138 Kleisli f *> Kleisli g = Kleisli $ \x -> f x *> g x function
1140 Kleisli f <* Kleisli g = Kleisli $ \x -> f x <* g x function
1146 Kleisli f <|> Kleisli g = Kleisli $ \x -> f x <|> g x function
1150 Kleisli f >>= k = Kleisli $ \x -> f x >>= \a -> runKleisli (k a) x function
1160 Kleisli f `mplus` Kleisli g = Kleisli $ \x -> f x `mplus` g x function
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/base-orphans-0.8.4/src/Data/
H A DOrphans.hs1147 Kleisli f <*> Kleisli g = Kleisli $ \x -> f x <*> g x function
1149 Kleisli f *> Kleisli g = Kleisli $ \x -> f x *> g x function
1151 Kleisli f <* Kleisli g = Kleisli $ \x -> f x <* g x function
1157 Kleisli f <|> Kleisli g = Kleisli $ \x -> f x <|> g x function
1161 Kleisli f >>= k = Kleisli $ \x -> f x >>= \a -> runKleisli (k a) x function
1171 Kleisli f `mplus` Kleisli g = Kleisli $ \x -> f x `mplus` g x function
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/base-orphans-0.8.4/src/Data/
H A DOrphans.hs1147 Kleisli f <*> Kleisli g = Kleisli $ \x -> f x <*> g x function
1149 Kleisli f *> Kleisli g = Kleisli $ \x -> f x *> g x function
1151 Kleisli f <* Kleisli g = Kleisli $ \x -> f x <* g x function
1157 Kleisli f <|> Kleisli g = Kleisli $ \x -> f x <|> g x function
1161 Kleisli f >>= k = Kleisli $ \x -> f x >>= \a -> runKleisli (k a) x function
1171 Kleisli f `mplus` Kleisli g = Kleisli $ \x -> f x `mplus` g x function
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/base-orphans-0.8.4/src/Data/
H A DOrphans.hs1147 Kleisli f <*> Kleisli g = Kleisli $ \x -> f x <*> g x function
1149 Kleisli f *> Kleisli g = Kleisli $ \x -> f x *> g x function
1151 Kleisli f <* Kleisli g = Kleisli $ \x -> f x <* g x function
1157 Kleisli f <|> Kleisli g = Kleisli $ \x -> f x <|> g x function
1161 Kleisli f >>= k = Kleisli $ \x -> f x >>= \a -> runKleisli (k a) x function
1171 Kleisli f `mplus` Kleisli g = Kleisli $ \x -> f x `mplus` g x function
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/base-orphans-0.8.4/src/Data/
H A DOrphans.hs1147 Kleisli f <*> Kleisli g = Kleisli $ \x -> f x <*> g x function
1149 Kleisli f *> Kleisli g = Kleisli $ \x -> f x *> g x function
1151 Kleisli f <* Kleisli g = Kleisli $ \x -> f x <* g x function
1157 Kleisli f <|> Kleisli g = Kleisli $ \x -> f x <|> g x function
1161 Kleisli f >>= k = Kleisli $ \x -> f x >>= \a -> runKleisli (k a) x function
1171 Kleisli f `mplus` Kleisli g = Kleisli $ \x -> f x `mplus` g x function
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/base-orphans-0.8.4/src/Data/
H A DOrphans.hs1147 Kleisli f <*> Kleisli g = Kleisli $ \x -> f x <*> g x function
1149 Kleisli f *> Kleisli g = Kleisli $ \x -> f x *> g x function
1151 Kleisli f <* Kleisli g = Kleisli $ \x -> f x <* g x function
1157 Kleisli f <|> Kleisli g = Kleisli $ \x -> f x <|> g x function
1161 Kleisli f >>= k = Kleisli $ \x -> f x >>= \a -> runKleisli (k a) x function
1171 Kleisli f `mplus` Kleisli g = Kleisli $ \x -> f x `mplus` g x function
/dports/devel/hs-profiteur/profiteur-0.4.6.0/_cabal_deps/base-orphans-0.8.2/src/Data/
H A DOrphans.hs1136 Kleisli f <*> Kleisli g = Kleisli $ \x -> f x <*> g x function
1138 Kleisli f *> Kleisli g = Kleisli $ \x -> f x *> g x function
1140 Kleisli f <* Kleisli g = Kleisli $ \x -> f x <* g x function
1146 Kleisli f <|> Kleisli g = Kleisli $ \x -> f x <|> g x function
1150 Kleisli f >>= k = Kleisli $ \x -> f x >>= \a -> runKleisli (k a) x function
1160 Kleisli f `mplus` Kleisli g = Kleisli $ \x -> f x `mplus` g x function
/dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/base-orphans-0.8.2/src/Data/
H A DOrphans.hs1136 Kleisli f <*> Kleisli g = Kleisli $ \x -> f x <*> g x function
1138 Kleisli f *> Kleisli g = Kleisli $ \x -> f x *> g x function
1140 Kleisli f <* Kleisli g = Kleisli $ \x -> f x <* g x function
1146 Kleisli f <|> Kleisli g = Kleisli $ \x -> f x <|> g x function
1150 Kleisli f >>= k = Kleisli $ \x -> f x >>= \a -> runKleisli (k a) x function
1160 Kleisli f `mplus` Kleisli g = Kleisli $ \x -> f x `mplus` g x function

12