Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Monad.Class.Trans

Description

Export all orphaned instances.

Synopsis

newtype ContTSTM r (m :: Type -> Type) a = ContTSTM {
- getContTSTM :: STM m a
}

Documentation

newtype ContTSTM r (m :: Type -> Type) a Source #

A newtype wrapper for an STM monad for ContT

Constructors

ContTSTM
Fields getContTSTM :: STM m a

Instances

Instances details

(MonadSTM m, MArray e a (STM m)) => MArray e a (ContTSTM r m) Source #
Instance details Defined in Control.Monad.Class.MonadSTM.Trans Methods getBounds :: Ix i => e i a -> ContTSTM r m (i, i) # getNumElements :: Ix i => e i a -> ContTSTM r m Int newArray :: Ix i => (i, i) -> a -> ContTSTM r m (e i a) # newArray_ :: Ix i => (i, i) -> ContTSTM r m (e i a) # unsafeNewArray_ :: Ix i => (i, i) -> ContTSTM r m (e i a) unsafeRead :: Ix i => e i a -> Int -> ContTSTM r m a unsafeWrite :: Ix i => e i a -> Int -> a -> ContTSTM r m ()
MonadSTM m => Applicative (ContTSTM r m) Source #
Instance details Defined in Control.Monad.Class.MonadSTM.Trans Methods pure :: a -> ContTSTM r m a # (<>) :: ContTSTM r m (a -> b) -> ContTSTM r m a -> ContTSTM r m b # liftA2 :: (a -> b -> c) -> ContTSTM r m a -> ContTSTM r m b -> ContTSTM r m c # (>) :: ContTSTM r m a -> ContTSTM r m b -> ContTSTM r m b # (<*) :: ContTSTM r m a -> ContTSTM r m b -> ContTSTM r m a #
MonadSTM m => Functor (ContTSTM r m) Source #
Instance details Defined in Control.Monad.Class.MonadSTM.Trans Methods fmap :: (a -> b) -> ContTSTM r m a -> ContTSTM r m b # (<$) :: a -> ContTSTM r m b -> ContTSTM r m a #
MonadSTM m => Monad (ContTSTM r m) Source #
Instance details Defined in Control.Monad.Class.MonadSTM.Trans Methods (>>=) :: ContTSTM r m a -> (a -> ContTSTM r m b) -> ContTSTM r m b # (>>) :: ContTSTM r m a -> ContTSTM r m b -> ContTSTM r m b # return :: a -> ContTSTM r m a #
(MonadSTM m, MonadThrow (STM m), MonadCatch (STM m)) => MonadCatch (ContTSTM r m) Source #
Instance details Defined in Control.Monad.Class.MonadSTM.Trans Methods catch :: Exception e => ContTSTM r m a -> (e -> ContTSTM r m a) -> ContTSTM r m a # catchJust :: Exception e => (e -> Maybe b) -> ContTSTM r m a -> (b -> ContTSTM r m a) -> ContTSTM r m a # try :: Exception e => ContTSTM r m a -> ContTSTM r m (Either e a) # tryJust :: Exception e => (e -> Maybe b) -> ContTSTM r m a -> ContTSTM r m (Either b a) # handle :: Exception e => (e -> ContTSTM r m a) -> ContTSTM r m a -> ContTSTM r m a # handleJust :: Exception e => (e -> Maybe b) -> (b -> ContTSTM r m a) -> ContTSTM r m a -> ContTSTM r m a # onException :: ContTSTM r m a -> ContTSTM r m b -> ContTSTM r m a # bracketOnError :: ContTSTM r m a -> (a -> ContTSTM r m b) -> (a -> ContTSTM r m c) -> ContTSTM r m c # generalBracket :: ContTSTM r m a -> (a -> ExitCase b -> ContTSTM r m c) -> (a -> ContTSTM r m b) -> ContTSTM r m (b, c) #
(MonadSTM m, MonadThrow (STM m), MonadCatch (STM m)) => MonadThrow (ContTSTM r m) Source #
Instance details Defined in Control.Monad.Class.MonadSTM.Trans Methods throwIO :: Exception e => e -> ContTSTM r m a # bracket :: ContTSTM r m a -> (a -> ContTSTM r m b) -> (a -> ContTSTM r m c) -> ContTSTM r m c # bracket_ :: ContTSTM r m a -> ContTSTM r m b -> ContTSTM r m c -> ContTSTM r m c # finally :: ContTSTM r m a -> ContTSTM r m b -> ContTSTM r m a #
(Monoid a, MonadSTM m) => Monoid (ContTSTM r m a) Source #
Instance details Defined in Control.Monad.Class.MonadSTM.Trans Methods mempty :: ContTSTM r m a # mappend :: ContTSTM r m a -> ContTSTM r m a -> ContTSTM r m a # mconcat :: [ContTSTM r m a] -> ContTSTM r m a #
(Semigroup a, MonadSTM m) => Semigroup (ContTSTM r m a) Source #
Instance details Defined in Control.Monad.Class.MonadSTM.Trans Methods (<>) :: ContTSTM r m a -> ContTSTM r m a -> ContTSTM r m a # sconcat :: NonEmpty (ContTSTM r m a) -> ContTSTM r m a # stimes :: Integral b => b -> ContTSTM r m a -> ContTSTM r m a #