Home
last modified time | relevance | path

Searched defs:Cokleisli (Results 1 – 25 of 50) sorted by relevance

12

/dports/devel/stack/stack-2.7.3/_cabal_deps/comonad-5.0.8/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } type
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function
/dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/comonad-5.0.6/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } type
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function
/dports/converters/hs-aeson-pretty/aeson-pretty-0.8.8/_cabal_deps/comonad-5.0.6/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } constructor
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/comonad-5.0.6/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } function
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function
/dports/finance/hs-hledger/hledger-1.19/_cabal_deps/comonad-5.0.6/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } type
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/comonad-5.0.8/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } function
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/comonad-5.0.8/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } constructor
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/comonad-5.0.8/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } type
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/comonad-5.0.8/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } function
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/comonad-5.0.8/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } type
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function
/dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/comonad-5.0.6/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } function
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/comonad-5.0.6/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } constructor
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function
/dports/devel/hs-ghcprofview/ghcprofview-0.1.0.1/_cabal_deps/comonad-5.0.8/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } constructor
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/comonad-5.0.8/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } type
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/comonad-5.0.8/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } type
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function
/dports/www/hs-wai-app-static/wai-app-static-3.1.7.2/_cabal_deps/comonad-5.0.8/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } function
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function
/dports/www/hs-yesod-bin/yesod-bin-1.6.1/_cabal_deps/comonad-5.0.8/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } function
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/comonad-5.0.6/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } function
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function
/dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/comonad-5.0.8/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } type
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function
/dports/devel/hs-ShellCheck/ShellCheck-0.8.0/_cabal_deps/comonad-5.0.8/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } constructor
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function
/dports/devel/elm-format/elm-format-0.8.3/_cabal_deps/comonad-5.0.6/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } type
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/comonad-5.0.8/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } function
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function
/dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/comonad-5.0.8/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } function
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function
/dports/x11/conlecterm/conlecterm-1.4.3.0/_cabal_deps/comonad-5.0.6/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } type
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function
/dports/x11/hs-xmobar/xmobar-0.39/_cabal_deps/comonad-5.0.6/src/Control/
H A DComonad.hs363 newtype Cokleisli w a b = Cokleisli { runCokleisli :: w a -> b } function
385 Cokleisli f . Cokleisli g = Cokleisli (f =<= g) function
391 Cokleisli f *** Cokleisli g = Cokleisli (f . fmap fst &&& g . fmap snd) function
392 Cokleisli f &&& Cokleisli g = Cokleisli (f &&& g) function
409 Cokleisli f <*> Cokleisli a = Cokleisli (\w -> f w (a w)) function
413 Cokleisli k >>= f = Cokleisli $ \w -> runCokleisli (f (k w)) w function

12