Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Moduleghc-9.10.3GHC2021

Language.Haskell.Syntax

2 types

Packageghc-9.10.3
Exports2
LanguageGHC2021
LicenceBSD-3-Clause
SourceName.hs

module Language.Haskell.Syntax.Binds

module Language.Haskell.Syntax.Decls

module Language.Haskell.Syntax.Expr

module Language.Haskell.Syntax.ImpExp

module Language.Haskell.Syntax.Lit

module Language.Haskell.Syntax.Module.Name

module Language.Haskell.Syntax.Pat

module Language.Haskell.Syntax.Type

module Language.Haskell.Syntax.Extension

newtypenewtype ModuleName

A ModuleName is essentially a simple string, e.g. Data.List.

Constructors

ModuleName FastString

Instances11Eq, Data, Ord, Show, NFData, Outputable, …

Eq ModuleNameDefined in ghc-9.10.3 · Language.Haskell.Syntax.Module.Name
Data ModuleNameDefined in ghc-9.10.3 · Language.Haskell.Syntax.Module.Name
Ord ModuleNameDefined in ghc-9.10.3 · Language.Haskell.Syntax.Module.Name
Show ModuleNameDefined in ghc-9.10.3 · Language.Haskell.Syntax.Module.Name
NFData ModuleNameDefined in ghc-9.10.3 · Language.Haskell.Syntax.Module.Name
Outputable ModuleNameDefined in ghc-9.10.3 · GHC.Utils.Outputable
Uniquable ModuleNameDefined in ghc-9.10.3 · GHC.Types.Unique
Binary ModuleNameDefined in ghc-9.10.3 · GHC.Utils.Binary
ToHie (IEContext (LocatedA ModuleName))Defined in ghc-9.10.3 · GHC.Iface.Ext.Ast
type Anno ModuleName = SrcSpanAnnADefined in ghc-9.10.3 · GHC.Hs.ImpExp · orphan
type Anno ModuleName = SrcSpanAnnADefined in ghc-9.10.3 · GHC.Hs · orphan

datadata HsModule p

Haskell Module

All we actually declare here is the top-level structure for a module.

Constructors

HsModule
AnnKeywordIds
- AnnModule,AnnWhere
- AnnOpen,AnnSemi, AnnClose for explicit braces and semi around hsmodImports,hsmodDecls if this style is used.
- hsmodExt :: XCModule p
  HsModule extension point
- hsmodName :: Maybe (XRec p ModuleName)
  Nothing: "module X where" is omitted (in which case the next field is Nothing too)
- hsmodExports :: Maybe (XRec p [LIE p])
  Export list
  - Nothing: export list omitted, so export everything
  - Just []: export nothing
  - Just [...]: as you would expect...
  - AnnKeywordIds : AnnOpen ,AnnClose
- hsmodImports :: [LImportDecl p]
- hsmodDecls :: [LHsDecl p]
  Type, class, value, and interface signature decls
XModule !(XXModule p)

Instances3Data, Outputable, HasHaddock

Data (HsModule GhcPs)Defined in ghc-9.10.3 · GHC.Hs · orphan
Outputable (HsModule GhcPs)Defined in ghc-9.10.3 · GHC.Hs · orphan
HasHaddock (Located (HsModule GhcPs))Defined in ghc-9.10.3 · GHC.Parser.PostProcess.Haddock