io-classes-mtl-0.1.2.0: Experimental MTL instances for io-classes
Safe HaskellSafe-Inferred
LanguageHaskell2010

Control.Monad.Class.Trans

Description

Export all orphaned instances.

Synopsis

Documentation

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

A newtype wrapper for an STM monad for ContT

Constructors

ContTSTM 

Fields

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 #