Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.GHC.GhcMonadLike

Contents

Types and type classes
Functions and typeclass methods

Description

This module introduces a "lighter" GhcMonad typeclass which doesn't require an instance of ExceptionMonad, and can therefore be used for both CoreM and Ghc.

Synopsis

class HasHscEnv m
class (Functor m, MonadIO m, HasHscEnv m, HasDynFlags m) => GhcMonadLike m
data ModuleInfo
data TypecheckedModule = TypecheckedModule {
- tm_parsed_module :: ParsedModule
- tm_renamed_source :: Maybe RenamedSource
- tm_mod_summary :: ModSummary
- tm_gbl_env :: TcGblEnv
}
askHscEnv :: HasHscEnv m => m HscEnv
getModuleGraph :: GhcMonadLike m => m ModuleGraph
getModSummary :: GhcMonadLike m => ModuleName -> m ModSummary
lookupModSummary :: GhcMonadLike m => ModuleName -> m (Maybe ModSummary)
lookupGlobalName :: GhcMonadLike m => Name -> m (Maybe TyThing)
lookupName :: GhcMonadLike m => Name -> m (Maybe TyThing)
modInfoLookupName :: GhcMonadLike m => ModuleInfo -> Name -> m (Maybe TyThing)
moduleInfoTc :: GhcMonadLike m => ModSummary -> TcGblEnv -> m ModuleInfo
parseModule :: GhcMonadLike m => ModSummary -> m ParsedModule
typecheckModule :: GhcMonadLike m => ParsedModule -> m TypecheckedModule
desugarModule :: (GhcMonadLike m, IsTypecheckedModule t) => ModSummary -> t -> m ModGuts
findModule :: GhcMonadLike m => ModuleName -> Maybe FastString -> m Module
lookupModule :: GhcMonadLike m => ModuleName -> Maybe FastString -> m Module

Types and type classes

class HasHscEnv m #

Minimal complete definition

askHscEnv

Instances

Instances details

HasHscEnv TcM #
Instance details Defined in Language.Haskell.Liquid.GHC.GhcMonadLike Methods askHscEnv :: TcM HscEnv #
HasHscEnv Ghc #
Instance details Defined in Language.Haskell.Liquid.GHC.GhcMonadLike Methods askHscEnv :: Ghc HscEnv #
HasHscEnv Hsc #
Instance details Defined in Language.Haskell.Liquid.GHC.GhcMonadLike Methods askHscEnv :: Hsc HscEnv #
HasHscEnv CoreM #
Instance details Defined in Language.Haskell.Liquid.GHC.GhcMonadLike Methods askHscEnv :: CoreM HscEnv #
HasHscEnv (IfM lcl) #
Instance details Defined in Language.Haskell.Liquid.GHC.GhcMonadLike Methods askHscEnv :: IfM lcl HscEnv #
(ExceptionMonad m, HasHscEnv m) => HasHscEnv (GhcT m) #
Instance details Defined in Language.Haskell.Liquid.GHC.GhcMonadLike Methods askHscEnv :: GhcT m HscEnv #

class (Functor m, MonadIO m, HasHscEnv m, HasDynFlags m) => GhcMonadLike m #

A typeclass which is very similar to the existing GhcMonad, but it doesn't impose a ExceptionMonad constraint.

Instances

Instances details

GhcMonadLike TcM #
Instance details Defined in Language.Haskell.Liquid.GHC.GhcMonadLike
GhcMonadLike Ghc #
Instance details Defined in Language.Haskell.Liquid.GHC.GhcMonadLike
GhcMonadLike Hsc #
Instance details Defined in Language.Haskell.Liquid.GHC.GhcMonadLike
GhcMonadLike CoreM #
Instance details Defined in Language.Haskell.Liquid.GHC.GhcMonadLike
GhcMonadLike (IfM lcl) #
Instance details Defined in Language.Haskell.Liquid.GHC.GhcMonadLike
(ExceptionMonad m, GhcMonadLike m) => GhcMonadLike (GhcT m) #
Instance details Defined in Language.Haskell.Liquid.GHC.GhcMonadLike

data ModuleInfo #

Our own simplified version of ModuleInfo to overcome the fact we cannot construct the "original" one as the constructor is not exported, and getHomeModuleInfo and getPackageModuleInfo are not exported either, so we had to backport them as well.

data TypecheckedModule #

Our own simplified version of TypecheckedModule.

Constructors

TypecheckedModule
Fields tm_parsed_module :: ParsedModule tm_renamed_source :: Maybe RenamedSource tm_mod_summary :: ModSummary tm_gbl_env :: TcGblEnv

Functions and typeclass methods

askHscEnv :: HasHscEnv m => m HscEnv #

getModuleGraph :: GhcMonadLike m => m ModuleGraph #

getModSummary :: GhcMonadLike m => ModuleName -> m ModSummary #

lookupModSummary :: GhcMonadLike m => ModuleName -> m (Maybe ModSummary) #

lookupGlobalName :: GhcMonadLike m => Name -> m (Maybe TyThing) #

lookupName :: GhcMonadLike m => Name -> m (Maybe TyThing) #

modInfoLookupName :: GhcMonadLike m => ModuleInfo -> Name -> m (Maybe TyThing) #

moduleInfoTc :: GhcMonadLike m => ModSummary -> TcGblEnv -> m ModuleInfo #

parseModule :: GhcMonadLike m => ModSummary -> m ParsedModule #

typecheckModule :: GhcMonadLike m => ParsedModule -> m TypecheckedModule #

desugarModule :: (GhcMonadLike m, IsTypecheckedModule t) => ModSummary -> t -> m ModGuts #

Desugar a typechecked module.

findModule :: GhcMonadLike m => ModuleName -> Maybe FastString -> m Module #

Takes a ModuleName and possibly a UnitId, and consults the filesystem and package database to find the corresponding Module, using the algorithm that is used for an import declaration.

lookupModule :: GhcMonadLike m => ModuleName -> Maybe FastString -> m Module #