| /dports/lang/ghc/ghc-8.10.7/libraries/transformers/Control/Monad/Trans/ |
| H A D | Maybe.hs | 73 newtype MaybeT m a = MaybeT { runMaybeT :: m (Maybe a) } function
106 mapMaybeT f = MaybeT . f . runMaybeT
137 mb_f <- runMaybeT mf
141 mb_x <- runMaybeT mx
153 v <- runMaybeT x
155 Nothing -> runMaybeT y
165 v <- runMaybeT x
168 Just y -> runMaybeT (f y)
185 v <- runMaybeT x
187 Nothing -> runMaybeT y
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/ghcide/src/Development/IDE/Core/ |
| H A D | Actions.hs | 62 getAtPoint file pos = runMaybeT $ do
68 dkMap <- lift $ maybe (DKMap mempty mempty) fst <$> runMaybeT (useE GetDocMap file)
91 getDefinition file pos = runMaybeT $ do
102 getTypeDefinition file pos = runMaybeT $ do
112 highlightAtPoint file pos = runMaybeT $ do
127 workspaceSymbols query = runMaybeT $ do
|
| /dports/devel/hs-hls-install/haskell-language-server-1.4.0/ghcide/src/Development/IDE/Core/ |
| H A D | Actions.hs | 62 getAtPoint file pos = runMaybeT $ do
68 dkMap <- lift $ maybe (DKMap mempty mempty) fst <$> runMaybeT (useE GetDocMap file)
91 getDefinition file pos = runMaybeT $ do
102 getTypeDefinition file pos = runMaybeT $ do
112 highlightAtPoint file pos = runMaybeT $ do
127 workspaceSymbols query = runMaybeT $ do
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-check-0.5.0.5/src/GHC/Check/ |
| H A D | PackageDb.hs | 28 import GHC.Data.Maybe (MaybeT (MaybeT), runMaybeT)
40 import Maybes (MaybeT (MaybeT), runMaybeT)
68 getPackageVersion pName = runMaybeT $ do
92 getPackageVersion pName = runMaybeT $ do
|
| /dports/lang/ghc/ghc-8.10.7/libraries/haskeline/System/Console/ |
| H A D | Haskeline.hs | 151 getInputLine = promptedInput (getInputCmdLine emptyIM) $ runMaybeT . getLocaleLine
173 (runMaybeT . getLocaleLine) prompt
219 c <- runMaybeT $ getLocaleChar fops
250 $ \fops -> fmap isJust . runMaybeT $ getLocaleChar fops
281 (\fops -> withoutInputEcho fops $ runMaybeT $ getLocaleLine fops)
|
| /dports/lang/elm/compiler-0.19.1/_cabal_deps/haskeline-0.8.0.0/System/Console/ |
| H A D | Haskeline.hs | 150 getInputLine = promptedInput (getInputCmdLine emptyIM) $ runMaybeT . getLocaleLine
172 (runMaybeT . getLocaleLine) prompt
218 c <- runMaybeT $ getLocaleChar fops
249 $ \fops -> fmap isJust . runMaybeT $ getLocaleChar fops
280 (\fops -> withoutInputEcho fops $ runMaybeT $ getLocaleLine fops)
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/haskeline-0.8.2/System/Console/ |
| H A D | Haskeline.hs | 151 getInputLine = promptedInput (getInputCmdLine emptyIM) $ runMaybeT . getLocaleLine
173 (runMaybeT . getLocaleLine) prompt
219 c <- runMaybeT $ getLocaleChar fops
250 $ \fops -> fmap isJust . runMaybeT $ getLocaleChar fops
281 (\fops -> withoutInputEcho fops $ runMaybeT $ getLocaleLine fops)
|
| /dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/Interactive/ |
| H A D | IO.hs | 6 import Control.Monad.Trans.Maybe (MaybeT(..), runMaybeT)
18 onFirstFileMatching f pathVariants = runMaybeT . msum $ map (MaybeT . f) pathVariants
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Utils/ |
| H A D | ExtractIO.hs | 19 import Control.Monad.Trans.Maybe (MaybeT(MaybeT), runMaybeT)
39 extractIO = fmap MaybeT . extractIO . runMaybeT
|
| /dports/devel/stack/stack-2.7.3/src/System/Process/ |
| H A D | Pager.hs | 19 import Control.Monad.Trans.Maybe (MaybeT (runMaybeT, MaybeT))
25 do mpager <- runMaybeT $ cmdspecFromEnvVar
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/optics-extra-0.3/src/Optics/ |
| H A D | Zoom.hs | 164 MaybeT #. zoom o .# runMaybeT
166 MaybeT #. fmap (getMay . shuffleMay) . zoomMaybe o . fmap May .# runMaybeT
168 MaybeT #. fmap getMay . zoomMany o . fmap May .# runMaybeT
374 magnify o = MaybeT #. magnify o .# runMaybeT
376 MaybeT #. fmap (getMay . shuffleMay) . magnifyMaybe o . fmap May .# runMaybeT
381 magnifyMany o = MaybeT #. fmap getMay . magnifyMany o . fmap May .# runMaybeT
|
| /dports/lang/ghc/ghc-8.10.7/libraries/haskeline/System/Console/Haskeline/ |
| H A D | Monads.hs | 19 runMaybeT,
27 import Control.Monad.Trans.Maybe (MaybeT(MaybeT),runMaybeT)
|
| /dports/lang/elm/compiler-0.19.1/_cabal_deps/haskeline-0.8.0.0/System/Console/Haskeline/ |
| H A D | Monads.hs | 19 runMaybeT,
27 import Control.Monad.Trans.Maybe (MaybeT(MaybeT),runMaybeT)
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/haskeline-0.8.2/System/Console/Haskeline/ |
| H A D | Monads.hs | 19 runMaybeT,
27 import Control.Monad.Trans.Maybe (MaybeT(MaybeT),runMaybeT)
|
| /dports/lang/ghc/ghc-8.10.7/compiler/main/ |
| H A D | Elf.hs | 27 import Maybes (MaybeT(..),runMaybeT)
332 action = runMaybeT $ do
393 action = runMaybeT $ do
|
| /dports/x11/hs-xmobar/xmobar-0.39/src/Xmobar/Plugins/Monitors/ |
| H A D | Wireless.hs | 33 import Control.Monad.Trans.Maybe (MaybeT(..), runMaybeT)
50 iwdata <- runMaybeT $ do
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/mmorph-1.1.3/src/Control/Monad/ |
| H A D | Morph.hs | 132 hoist nat m = M.MaybeT (nat (M.runMaybeT m))
266 x <- M.runMaybeT (f (M.runMaybeT m))
|
| /dports/finance/hs-hledger/hledger-1.19/_cabal_deps/mmorph-1.1.3/src/Control/Monad/ |
| H A D | Morph.hs | 132 hoist nat m = M.MaybeT (nat (M.runMaybeT m))
266 x <- M.runMaybeT (f (M.runMaybeT m))
|
| /dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/mmorph-1.1.5/src/Control/Monad/ |
| H A D | Morph.hs | 133 hoist nat m = M.MaybeT (nat (M.runMaybeT m))
267 x <- M.runMaybeT (f (M.runMaybeT m))
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/mmorph-1.1.5/src/Control/Monad/ |
| H A D | Morph.hs | 133 hoist nat m = M.MaybeT (nat (M.runMaybeT m))
267 x <- M.runMaybeT (f (M.runMaybeT m))
|
| /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 | 133 hoist nat m = M.MaybeT (nat (M.runMaybeT m))
267 x <- M.runMaybeT (f (M.runMaybeT m))
|
| /dports/devel/hs-ShellCheck/ShellCheck-0.8.0/_cabal_deps/primitive-0.7.3.0/bench/PrimArray/ |
| H A D | Traverse.hs | 17 benchmarkPrimMonad xs = runST $ runMaybeT $ traversePrimArrayP
|
| /dports/devel/hs-threadscope/threadscope-0.2.14/_cabal_deps/exceptions-0.10.4/src/Control/Monad/ |
| H A D | Catch.hs | 92 import Control.Monad.Trans.Maybe (MaybeT(..), runMaybeT)
611 catch (MaybeT m) f = MaybeT $ catch m (runMaybeT . f)
614 mask f = MaybeT $ mask $ \u -> runMaybeT $ f (q u)
619 uninterruptibleMask f = MaybeT $ uninterruptibleMask $ \u -> runMaybeT $ f (q u)
627 (runMaybeT acquire)
631 ExitCaseSuccess (Just b) -> runMaybeT (release resource (ExitCaseSuccess b))
632 ExitCaseException e -> runMaybeT (release resource (ExitCaseException e))
633 _ -> runMaybeT (release resource ExitCaseAbort))
636 Just resource -> runMaybeT (use resource))
|
| /dports/lang/ghc/ghc-8.10.7/libraries/exceptions/src/Control/Monad/ |
| H A D | Catch.hs | 92 import Control.Monad.Trans.Maybe (MaybeT(..), runMaybeT)
611 catch (MaybeT m) f = MaybeT $ catch m (runMaybeT . f)
614 mask f = MaybeT $ mask $ \u -> runMaybeT $ f (q u)
619 uninterruptibleMask f = MaybeT $ uninterruptibleMask $ \u -> runMaybeT $ f (q u)
627 (runMaybeT acquire)
631 ExitCaseSuccess (Just b) -> runMaybeT (release resource (ExitCaseSuccess b))
632 ExitCaseException e -> runMaybeT (release resource (ExitCaseException e))
633 _ -> runMaybeT (release resource ExitCaseAbort))
636 Just resource -> runMaybeT (use resource))
|
| /dports/devel/elm-format/elm-format-0.8.3/_cabal_deps/exceptions-0.10.4/src/Control/Monad/ |
| H A D | Catch.hs | 92 import Control.Monad.Trans.Maybe (MaybeT(..), runMaybeT)
611 catch (MaybeT m) f = MaybeT $ catch m (runMaybeT . f)
614 mask f = MaybeT $ mask $ \u -> runMaybeT $ f (q u)
619 uninterruptibleMask f = MaybeT $ uninterruptibleMask $ \u -> runMaybeT $ f (q u)
627 (runMaybeT acquire)
631 ExitCaseSuccess (Just b) -> runMaybeT (release resource (ExitCaseSuccess b))
632 ExitCaseException e -> runMaybeT (release resource (ExitCaseException e))
633 _ -> runMaybeT (release resource ExitCaseAbort))
636 Just resource -> runMaybeT (use resource))
|