| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.GhcMod.Monad.Newtypes
Documentation
newtype GmOutT m a
Instances
| MonadTrans GmOutT | |
| MonadTransControl GmOutT | |
| MonadBaseControl IO m => MonadBase IO (GmOutT m) | |
| MonadBaseControl IO m => MonadBaseControl IO (GmOutT m) | |
| Monad m => Monad (GmOutT m) | |
| Functor m => Functor (GmOutT m) | |
| Applicative m => Applicative (GmOutT m) | |
| Alternative m => Alternative (GmOutT m) | |
| MonadPlus m => MonadPlus (GmOutT m) | |
| GmEnv m => GmEnv (GmOutT m) | |
| GmLog m => GmLog (GmOutT m) | |
| Monad m => GmOut (GmOutT m) | |
| type StT GmOutT a = StT (ReaderT GhcModEnv) a | |
| type StM (GmOutT m) a = StM (ReaderT GhcModEnv m) a |
newtype GmT m a
Constructors
| GmT | |
Fields
| |
Instances
| MonadTrans GmT | |
| MonadTransControl GmT | |
| MonadBaseControl IO m => MonadBase IO (GmT m) | |
| MonadBaseControl IO m => MonadBaseControl IO (GmT m) | |
| Monad m => MonadJournal GhcModLog (GmT m) | |
| Monad m => MonadError GhcModError (GmT m) | |
| MonadReader r m => MonadReader r (GmT m) | |
| MonadState s m => MonadState s (GmT m) | |
| Monad m => Monad (GmT m) | |
| Functor m => Functor (GmT m) | |
| Monad m => Applicative (GmT m) | |
| Monad m => Alternative (GmT m) | |
| Monad m => MonadPlus (GmT m) | |
| Monad m => GmEnv (GmT m) | |
| Monad m => GmLog (GmT m) | |
| GmOut m => GmOut (GmT m) | |
| Monad m => GmState (GmT m) | |
| type StT GmT a = (Either GhcModError (a, GhcModState), GhcModLog) | |
| type StM (GmT m) a = StM (StateT GhcModState (ErrorT GhcModError (JournalT GhcModLog (ReaderT GhcModEnv m)))) a |
newtype GmlT m a
Instances
| MonadTrans GmlT | |
| MonadTransControl GmlT | |
| MonadBaseControl IO m => MonadBase IO (GmlT m) | |
| MonadBaseControl IO m => MonadBaseControl IO (GmlT m) | |
| Monad m => MonadError GhcModError (GmlT m) | |
| Monad m => Monad (GmlT m) | |
| Functor m => Functor (GmlT m) | |
| Monad m => Applicative (GmlT m) | |
| Monad m => Alternative (GmlT m) | |
| Monad m => MonadPlus (GmlT m) | |
| (Monad m, GmEnv (GhcModT m)) => GmEnv (GmlT m) | |
| (Monad m, GmLog (GhcModT m)) => GmLog (GmlT m) | |
| Monad m => GmOut (GmlT m) | |
| (Monad m, GmState (GhcModT m)) => GmState (GmlT m) | |
| type StT GmlT a = StT GmT a | |
| type StM (GmlT m) a = StM (GmT m) a |
newtype LightGhc a
gmLiftInner :: Monad m => m a -> GmT m a
gmLiftWithInner :: (MonadTransControl t, Monad m, Monad (t m)) => (Run t -> m (StT t a)) -> t m a