Language.Haskell.GhcMod.Monad.Newtypes

ghc-mod-5.5.0.0: Happy Haskell Programming

Safe Haskell | None
Language | Haskell2010

Language.Haskell.GhcMod.Monad.Newtypes

# Documentation

type GhcModT m = GmT (GmOutT m)

newtype GmOutT m a

Constructors

GmOutT |
Fields unGmOutT :: ReaderT GhcModOut 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 unGmT :: StateT GhcModState (ErrorT GhcModError (JournalT GhcModLog (ReaderT GhcModEnv m))) a

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

Constructors

GmlT |
Fields unGmlT :: GhcModT 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

Constructors

LightGhc |
Fields unLightGhc :: ReaderT (IORef HscEnv) IO a

Instances

Monad LightGhc |
Functor LightGhc |
Applicative LightGhc |

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