Control.Monad.Class.Trans

Export all orphaned instances.

Documentation

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

A newtype wrapper for an STM monad for ContT

Constructors

ContTSTM

Fields

• getContTSTM :: STM m a

Instances

(MonadSTM m, MArray e a (STM m)) => MArray e a (ContTSTM r m)

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)

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)

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)

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)

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)

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)

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)

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