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