/dports/lang/purescript/purescript-0.14.5/_cabal_deps/lifted-async-0.10.2.1/src/Control/Concurrent/Async/ |
H A D | Lifted.hs | 130 => (IO (StM m a) -> IO (Async (StM m a))) 156 => (IO (StM m a) -> (Async (StM m a) -> IO (StM m b)) -> IO (StM m b)) 214 => Async (StM m a) 235 => Async (StM m a) 279 => Async (StM m a) 280 -> Async (StM m b) 289 => Async (StM m a) 290 -> Async (StM m b) 299 => Async (StM m a) 300 -> Async (StM m b) [all …]
|
/dports/devel/hs-hasktags/hasktags-0.72.0/testcases/ |
H A D | monad-base-control.hs | 6 data StM m ∷ * → * type 29 restoreM ∷ StM m a → m a 37 type RunInBase m b = ∀ a. m a → b (StM m a)
|
H A D | testcase10.hs | 275 newtype StM (ResourceT m) a = StMT (StM m a) type 386 newtype StM (ExceptionT m) a = StE { unStE :: ComposeSt ExceptionT m a } type
|
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/monad-control-1.0.2.3/Control/Monad/Trans/ |
H A D | Control.hs | 552 type StM m a :: * type 588 restoreM :: StM m a -> m a 612 type RunInBase m b = forall a. m a -> b (StM m a) 621 type StM (M) a = a; \ type 672 type ComposeSt t m a = StM m (StT t a) 709 type StM (T m) a = ComposeSt (T) m a; \ type 750 control :: MonadBaseControl b m => (RunInBase m b -> b (StM m a)) -> m a 756 embed :: MonadBaseControl b m => (a -> m c) -> m (a -> b (StM m c)) 772 captureM :: MonadBaseControl b m => m (StM m ()) 789 => ((a -> b (StM m c)) -> b (StM m d)) [all …]
|
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/monad-control-1.0.2.3/Control/Monad/Trans/ |
H A D | Control.hs | 552 type StM m a :: * type 588 restoreM :: StM m a -> m a 612 type RunInBase m b = forall a. m a -> b (StM m a) 621 type StM (M) a = a; \ type 672 type ComposeSt t m a = StM m (StT t a) 709 type StM (T m) a = ComposeSt (T) m a; \ type 750 control :: MonadBaseControl b m => (RunInBase m b -> b (StM m a)) -> m a 756 embed :: MonadBaseControl b m => (a -> m c) -> m (a -> b (StM m c)) 772 captureM :: MonadBaseControl b m => m (StM m ()) 789 => ((a -> b (StM m c)) -> b (StM m d)) [all …]
|
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/monad-control-1.0.2.3/Control/Monad/Trans/ |
H A D | Control.hs | 552 type StM m a :: * type 588 restoreM :: StM m a -> m a 612 type RunInBase m b = forall a. m a -> b (StM m a) 621 type StM (M) a = a; \ type 672 type ComposeSt t m a = StM m (StT t a) 709 type StM (T m) a = ComposeSt (T) m a; \ type 750 control :: MonadBaseControl b m => (RunInBase m b -> b (StM m a)) -> m a 756 embed :: MonadBaseControl b m => (a -> m c) -> m (a -> b (StM m c)) 772 captureM :: MonadBaseControl b m => m (StM m ()) 789 => ((a -> b (StM m c)) -> b (StM m d)) [all …]
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/monad-control-1.0.2.3/Control/Monad/Trans/ |
H A D | Control.hs | 552 type StM m a :: * type 588 restoreM :: StM m a -> m a 612 type RunInBase m b = forall a. m a -> b (StM m a) 621 type StM (M) a = a; \ type 672 type ComposeSt t m a = StM m (StT t a) 709 type StM (T m) a = ComposeSt (T) m a; \ type 750 control :: MonadBaseControl b m => (RunInBase m b -> b (StM m a)) -> m a 756 embed :: MonadBaseControl b m => (a -> m c) -> m (a -> b (StM m c)) 772 captureM :: MonadBaseControl b m => m (StM m ()) 789 => ((a -> b (StM m c)) -> b (StM m d)) [all …]
|
/dports/lang/elm/compiler-0.19.1/_cabal_deps/monad-control-1.0.2.3/Control/Monad/Trans/ |
H A D | Control.hs | 552 type StM m a :: * type 588 restoreM :: StM m a -> m a 612 type RunInBase m b = forall a. m a -> b (StM m a) 621 type StM (M) a = a; \ type 672 type ComposeSt t m a = StM m (StT t a) 709 type StM (T m) a = ComposeSt (T) m a; \ type 750 control :: MonadBaseControl b m => (RunInBase m b -> b (StM m a)) -> m a 756 embed :: MonadBaseControl b m => (a -> m c) -> m (a -> b (StM m c)) 772 captureM :: MonadBaseControl b m => m (StM m ()) 789 => ((a -> b (StM m c)) -> b (StM m d)) [all …]
|
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/monad-control-1.0.2.3/Control/Monad/Trans/ |
H A D | Control.hs | 552 type StM m a :: * type 588 restoreM :: StM m a -> m a 612 type RunInBase m b = forall a. m a -> b (StM m a) 621 type StM (M) a = a; \ type 672 type ComposeSt t m a = StM m (StT t a) 709 type StM (T m) a = ComposeSt (T) m a; \ type 750 control :: MonadBaseControl b m => (RunInBase m b -> b (StM m a)) -> m a 756 embed :: MonadBaseControl b m => (a -> m c) -> m (a -> b (StM m c)) 772 captureM :: MonadBaseControl b m => m (StM m ()) 789 => ((a -> b (StM m c)) -> b (StM m d)) [all …]
|
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/monad-control-1.0.2.3/Control/Monad/Trans/ |
H A D | Control.hs | 552 type StM m a :: * type 588 restoreM :: StM m a -> m a 612 type RunInBase m b = forall a. m a -> b (StM m a) 621 type StM (M) a = a; \ type 672 type ComposeSt t m a = StM m (StT t a) 709 type StM (T m) a = ComposeSt (T) m a; \ type 750 control :: MonadBaseControl b m => (RunInBase m b -> b (StM m a)) -> m a 756 embed :: MonadBaseControl b m => (a -> m c) -> m (a -> b (StM m c)) 772 captureM :: MonadBaseControl b m => m (StM m ()) 789 => ((a -> b (StM m c)) -> b (StM m d)) [all …]
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/monad-control-1.0.2.3/Control/Monad/Trans/ |
H A D | Control.hs | 552 type StM m a :: * type 588 restoreM :: StM m a -> m a 612 type RunInBase m b = forall a. m a -> b (StM m a) 621 type StM (M) a = a; \ type 672 type ComposeSt t m a = StM m (StT t a) 709 type StM (T m) a = ComposeSt (T) m a; \ type 750 control :: MonadBaseControl b m => (RunInBase m b -> b (StM m a)) -> m a 756 embed :: MonadBaseControl b m => (a -> m c) -> m (a -> b (StM m c)) 772 captureM :: MonadBaseControl b m => m (StM m ()) 789 => ((a -> b (StM m c)) -> b (StM m d)) [all …]
|
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/monad-control-1.0.3.1/src/Control/Monad/Trans/ |
H A D | Control.hs | 546 type StM m a :: * type 587 restoreM :: StM m a -> m a 611 type RunInBase m b = forall a. m a -> b (StM m a) 620 type StM (M) a = a; \ type 669 type ComposeSt t m a = StM m (StT t a) 706 type StM (T m) a = ComposeSt (T) m a; \ type 753 control :: MonadBaseControl b m => (RunInBase m b -> b (StM m a)) -> m a 766 embed :: MonadBaseControl b m => (a -> m c) -> m (a -> b (StM m c)) 782 captureM :: MonadBaseControl b m => m (StM m ()) 799 => ((a -> b (StM m c)) -> b (StM m d)) [all …]
|
/dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/monad-control-1.0.3.1/src/Control/Monad/Trans/ |
H A D | Control.hs | 546 type StM m a :: * type 587 restoreM :: StM m a -> m a 611 type RunInBase m b = forall a. m a -> b (StM m a) 620 type StM (M) a = a; \ type 669 type ComposeSt t m a = StM m (StT t a) 706 type StM (T m) a = ComposeSt (T) m a; \ type 753 control :: MonadBaseControl b m => (RunInBase m b -> b (StM m a)) -> m a 766 embed :: MonadBaseControl b m => (a -> m c) -> m (a -> b (StM m c)) 782 captureM :: MonadBaseControl b m => m (StM m ()) 799 => ((a -> b (StM m c)) -> b (StM m d)) [all …]
|
/dports/devel/stack/stack-2.7.3/_cabal_deps/monad-control-1.0.2.3/Control/Monad/Trans/ |
H A D | Control.hs | 552 type StM m a :: * type 588 restoreM :: StM m a -> m a 612 type RunInBase m b = forall a. m a -> b (StM m a) 621 type StM (M) a = a; \ type 672 type ComposeSt t m a = StM m (StT t a) 709 type StM (T m) a = ComposeSt (T) m a; \ type 750 control :: MonadBaseControl b m => (RunInBase m b -> b (StM m a)) -> m a 756 embed :: MonadBaseControl b m => (a -> m c) -> m (a -> b (StM m c)) 772 captureM :: MonadBaseControl b m => m (StM m ()) 789 => ((a -> b (StM m c)) -> b (StM m d)) [all …]
|
/dports/www/hs-postgrest/postgrest-8.0.0/test/Feature/ |
H A D | ConcurrentSpec.hs | 43 type StM (WaiSession st) a = StM Session a type
|
/dports/devel/hs-darcs/darcs-2.16.4/shelly/src/Shelly/ |
H A D | Base.hs | 88 type StM Sh a = StM (ReaderT (IORef State) IO) a type 94 newtype StM Sh a = StMSh (StM (ReaderT (IORef State) IO) a) type
|
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/lifted-async-0.10.2.1/ |
H A D | CHANGELOG.md | 92 * Leverage `StM m a ~ a` in the `Safe` module for faster `wait`/`poll`/`race`/`concurrently` 126 * Replace `StM m a ~ a` in the type signatures with `Forall (Pure m)` (#12)
|
/dports/lang/purescript/purescript-0.14.5/src/Control/Monad/ |
H A D | Logger.hs | 54 type StM (Logger w) a = a type
|
/dports/devel/stack/stack-2.7.3/_cabal_deps/lifted-base-0.2.3.12/Control/Exception/ |
H A D | Lifted.hs | 123 import Control.Monad.Trans.Control ( MonadBaseControl, StM 229 sequenceEither :: MonadBaseControl IO m => Either e (StM m a) -> m (Either e a)
|
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/lifted-base-0.2.3.12/Control/Exception/ |
H A D | Lifted.hs | 123 import Control.Monad.Trans.Control ( MonadBaseControl, StM 229 sequenceEither :: MonadBaseControl IO m => Either e (StM m a) -> m (Either e a)
|
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/lifted-base-0.2.3.12/Control/Exception/ |
H A D | Lifted.hs | 123 import Control.Monad.Trans.Control ( MonadBaseControl, StM 229 sequenceEither :: MonadBaseControl IO m => Either e (StM m a) -> m (Either e a)
|
/dports/lang/elm/compiler-0.19.1/_cabal_deps/lifted-base-0.2.3.12/Control/Exception/ |
H A D | Lifted.hs | 123 import Control.Monad.Trans.Control ( MonadBaseControl, StM 229 sequenceEither :: MonadBaseControl IO m => Either e (StM m a) -> m (Either e a)
|
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/lifted-base-0.2.3.12/Control/Exception/ |
H A D | Lifted.hs | 123 import Control.Monad.Trans.Control ( MonadBaseControl, StM 229 sequenceEither :: MonadBaseControl IO m => Either e (StM m a) -> m (Either e a)
|
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/lifted-base-0.2.3.12/Control/Exception/ |
H A D | Lifted.hs | 123 import Control.Monad.Trans.Control ( MonadBaseControl, StM 229 sequenceEither :: MonadBaseControl IO m => Either e (StM m a) -> m (Either e a)
|
/dports/devel/stack/stack-2.7.3/_cabal_deps/rio-orphans-0.1.2.0/src/RIO/ |
H A D | Orphans.hs | 40 type StM (RIO env) a = a type
|