Safe Haskell	None
Language	Haskell2010

GHC.Unit.Module

Contents

The ModuleName type
The ModLocation type
ModuleEnv
Generalization
The Module type

Synopsis

module GHC.Unit.Types
module GHC.Unit.Module.Name
module GHC.Unit.Module.Location
module GHC.Unit.Module.Env
getModuleInstantiation :: Module -> (InstalledModule, Maybe InstantiatedModule)
getUnitInstantiations :: Unit -> (UnitId, Maybe InstantiatedUnit)
uninstantiateInstantiatedUnit :: InstantiatedUnit -> InstantiatedUnit
uninstantiateInstantiatedModule :: InstantiatedModule -> InstantiatedModule
mkHoleModule :: ModuleName -> GenModule (GenUnit u)
isHoleModule :: GenModule (GenUnit u) -> Bool
stableModuleCmp :: Module -> Module -> Ordering
moduleStableString :: Module -> String
moduleIsDefinite :: Module -> Bool
class HasModule m where
- getModule :: m Module
class ContainsModule t where
- extractModule :: t -> Module
unitIdEq :: UnitId -> Unit -> Bool
installedModuleEq :: InstalledModule -> Module -> Bool

Documentation

module GHC.Unit.Types

The ModuleName type

module GHC.Unit.Module.Name

The ModLocation type

module GHC.Unit.Module.Location

ModuleEnv

module GHC.Unit.Module.Env

Generalization

getModuleInstantiation :: Module -> (InstalledModule, Maybe InstantiatedModule) Source #

Given a possibly on-the-fly instantiated module, split it into a GenModule that we definitely can find on-disk, as well as an instantiation if we need to instantiate it on the fly. If the instantiation is Nothing no on-the-fly renaming is needed.

getUnitInstantiations :: Unit -> (UnitId, Maybe InstantiatedUnit) Source #

Return the unit-id this unit is an instance of and the module instantiations (if any).

uninstantiateInstantiatedUnit :: InstantiatedUnit -> InstantiatedUnit Source #

Remove instantiations of the given instantiated unit

uninstantiateInstantiatedModule :: InstantiatedModule -> InstantiatedModule Source #

Remove instantiations of the given module instantiated unit

The Module type

mkHoleModule :: ModuleName -> GenModule (GenUnit u) Source #

Create a hole Module

isHoleModule :: GenModule (GenUnit u) -> Bool Source #

Test if a Module is not instantiated

stableModuleCmp :: Module -> Module -> Ordering Source #

This gives a stable ordering, as opposed to the Ord instance which gives an ordering based on the Uniques of the components, which may not be stable from run to run of the compiler.

moduleStableString :: Module -> String Source #

Get a string representation of a GenModule that's unique and stable across recompilations. eg. "$aeson_70dylHtv1FFGeai1IoxcQr$Data.Aeson.Types.Internal"

moduleIsDefinite :: Module -> Bool Source #

A GenModule is definite if it has no free holes.

class HasModule m where Source #

Methods

getModule :: m Module Source #

Instances

Instances details

HasModule CoreM #
Instance details Defined in GHC.Core.Opt.Monad Methods getModule :: CoreM Module Source #
HasModule TcS #
Instance details Defined in GHC.Tc.Solver.Monad Methods getModule :: TcS Module Source #
ContainsModule env => HasModule (IOEnv env) #
Instance details Defined in GHC.Data.IOEnv Methods getModule :: IOEnv env Module Source #

class ContainsModule t where Source #

Methods

extractModule :: t -> Module Source #

Instances

Instances details

ContainsModule TcGblEnv #
Instance details Defined in GHC.Tc.Types Methods extractModule :: TcGblEnv -> Module Source #
ContainsModule DsGblEnv #
Instance details Defined in GHC.Tc.Types Methods extractModule :: DsGblEnv -> Module Source #
ContainsModule gbl => ContainsModule (Env gbl lcl) #
Instance details Defined in GHC.Tc.Types Methods extractModule :: Env gbl lcl -> Module Source #

unitIdEq :: UnitId -> Unit -> Bool Source #

Test if a Unit corresponds to a given UnitId, modulo instantiation.

installedModuleEq :: InstalledModule -> Module -> Bool Source #

Test if a GenModule corresponds to a given InstalledModule, modulo instantiation.