Home
last modified time | relevance | path

Searched refs:StM (Results 1 – 25 of 88) sorted by relevance

1234

/dports/lang/purescript/purescript-0.14.5/_cabal_deps/lifted-async-0.10.2.1/src/Control/Concurrent/Async/
H A DLifted.hs130 => (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 Dmonad-base-control.hs6 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 Dtestcase10.hs275 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 DControl.hs552 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 DControl.hs552 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 DControl.hs552 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 DControl.hs552 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 DControl.hs552 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 DControl.hs552 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 DControl.hs552 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 DControl.hs552 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 DControl.hs546 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 DControl.hs546 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 DControl.hs552 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 DConcurrentSpec.hs43 type StM (WaiSession st) a = StM Session a type
/dports/devel/hs-darcs/darcs-2.16.4/shelly/src/Shelly/
H A DBase.hs88 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 DCHANGELOG.md92 * 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 DLogger.hs54 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 DLifted.hs123 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 DLifted.hs123 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 DLifted.hs123 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 DLifted.hs123 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 DLifted.hs123 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 DLifted.hs123 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 DOrphans.hs40 type StM (RIO env) a = a type

1234