ghc

The GHC API

http://www.haskell.org/ghc/

Version on this page:7.8.3
LTS Haskell 22.21:9.6.5
Stackage Nightly 2024-05-06:9.8.2
Latest on Hackage:9.8.2

See all snapshots ghc appears in

BSD-3-Clause licensed by The GHC Team
Maintained by [email protected]
This version can be pinned in stack with:ghc-7.8.3@sha256:586f58f336ee103939a5275d234e6fbe5ce69d03d057139a8334abbb86713a11,11798

Module documentation for 7.8.3

  • Annotations
  • AsmCodeGen
  • Avail
  • Bag
  • BasicTypes
  • BinIface
  • Binary
  • Bitmap
  • BlockId
  • BooleanFormula
  • BreakArray
  • BufWrite
  • BuildTyCl
  • CLabel
  • CPrim
  • CSE
  • CgUtils
  • Check
  • Class
  • CmdLineParser
  • Cmm
  • CmmBuildInfoTables
  • CmmCallConv
  • CmmCommonBlockElim
  • CmmContFlowOpt
  • CmmExpr
  • CmmInfo
  • CmmLayoutStack
  • CmmLex
  • CmmLint
  • CmmLive
  • CmmMachOp
  • CmmNode
  • CmmOpt
  • CmmParse
  • CmmPipeline
  • CmmProcPoint
  • CmmRewriteAssignments
  • CmmSink
  • CmmType
  • CmmUtils
  • CoAxiom
  • CodeGen
    • CodeGen.Platform
      • CodeGen.Platform.ARM
      • CodeGen.Platform.NoRegs
      • CodeGen.Platform.PPC
      • CodeGen.Platform.PPC_Darwin
      • CodeGen.Platform.SPARC
      • CodeGen.Platform.X86
      • CodeGen.Platform.X86_64
  • CodeOutput
  • Coercion
  • ConLike
  • Config
  • Constants
  • CoreArity
  • CoreFVs
  • CoreLint
  • CoreMonad
  • CorePrep
  • CoreSubst
  • CoreSyn
  • CoreTidy
  • CoreToStg
  • CoreUnfold
  • CoreUtils
  • CostCentre
  • Coverage
  • Ctype
  • DataCon
  • Demand
  • Desugar
  • Digraph
  • DmdAnal
  • DriverMkDepend
  • DriverPhases
  • DriverPipeline
  • DsArrows
  • DsBinds
  • DsCCall
  • DsExpr
  • DsForeign
  • DsGRHSs
  • DsListComp
  • DsMonad
  • DsUtils
  • DynFlags
  • DynamicLoading
  • Encoding
  • ErrUtils
  • Exception
  • ExternalCore
  • ExtsCompat46
  • FamInst
  • FamInstEnv
  • FastBool
  • FastFunctions
  • FastMutInt
  • FastString
  • FastTypes
  • Finder
  • Fingerprint
  • FiniteMap
  • FlagChecker
  • FloatIn
  • FloatOut
  • ForeignCall
  • FunDeps
  • GHC
  • GhcMake
  • GhcMonad
  • GhcPlugins
  • GraphBase
  • GraphColor
  • GraphOps
  • GraphPpr
  • HaddockUtils
  • HeaderInfo
  • Hooks
  • Hoopl
    • Hoopl.Dataflow
  • HsBinds
  • HsDecls
  • HsDoc
  • HsExpr
  • HsImpExp
  • HsLit
  • HsPat
  • HsSyn
  • HsTypes
  • HsUtils
  • HscMain
  • HscStats
  • HscTypes
  • IOEnv
  • Id
  • IdInfo
  • IfaceEnv
  • IfaceSyn
  • IfaceType
  • Inst
  • InstEnv
  • Instruction
  • InteractiveEval
  • InteractiveEvalTypes
  • Kind
  • LexCore
  • Lexer
  • LiberateCase
  • ListSetOps
  • Literal
  • Llvm
    • Llvm.AbsSyn
    • Llvm.MetaData
    • Llvm.PpLlvm
    • Llvm.Types
  • LlvmCodeGen
    • LlvmCodeGen.Base
    • LlvmCodeGen.CodeGen
    • LlvmCodeGen.Data
    • LlvmCodeGen.Ppr
    • LlvmCodeGen.Regs
  • LlvmMangler
  • LoadIface
  • Match
  • MatchCon
  • MatchLit
  • Maybes
  • MkCore
  • MkExternalCore
  • MkGraph
  • MkId
  • MkIface
  • Module
  • MonadUtils
  • NCGMonad
  • Name
  • NameEnv
  • NameSet
  • OccName
  • OccurAnal
  • OptCoercion
  • OrdList
  • Outputable
  • PIC
  • PPC
    • PPC.CodeGen
    • PPC.Cond
    • PPC.Instr
    • PPC.Ppr
    • PPC.RegInfo
    • PPC.Regs
  • PackageConfig
  • Packages
  • Pair
  • Panic
  • Parser
  • ParserCore
  • ParserCoreUtils
  • PatSyn
  • PipelineMonad
  • Platform
  • PlatformConstants
  • PprBase
  • PprC
  • PprCmm
  • PprCmmDecl
  • PprCmmExpr
  • PprCore
  • PprExternalCore
  • PprTyThing
  • PrelInfo
  • PrelNames
  • PrelRules
  • Pretty
  • PrimOp
  • ProfInit
  • RdrHsSyn
  • RdrName
  • Reg
  • RegAlloc
    • RegAlloc.Graph
      • RegAlloc.Graph.ArchBase
      • RegAlloc.Graph.ArchX86
      • RegAlloc.Graph.Coalesce
      • RegAlloc.Graph.Main
      • RegAlloc.Graph.Spill
      • RegAlloc.Graph.SpillClean
      • RegAlloc.Graph.SpillCost
      • RegAlloc.Graph.Stats
      • RegAlloc.Graph.TrivColorable
    • RegAlloc.Linear
      • RegAlloc.Linear.Base
      • RegAlloc.Linear.FreeRegs
      • RegAlloc.Linear.JoinToTargets
      • RegAlloc.Linear.Main
      • RegAlloc.Linear.PPC
        • RegAlloc.Linear.PPC.FreeRegs
      • RegAlloc.Linear.SPARC
        • RegAlloc.Linear.SPARC.FreeRegs
      • RegAlloc.Linear.StackMap
      • RegAlloc.Linear.State
      • RegAlloc.Linear.Stats
      • RegAlloc.Linear.X86
        • RegAlloc.Linear.X86.FreeRegs
      • RegAlloc.Linear.X86_64
        • RegAlloc.Linear.X86_64.FreeRegs
    • RegAlloc.Liveness
  • RegClass
  • RnBinds
  • RnEnv
  • RnExpr
  • RnHsDoc
  • RnNames
  • RnPat
  • RnSource
  • RnSplice
  • RnTypes
  • Rules
  • SAT
  • SCCfinal
  • SMRep
  • SPARC
    • SPARC.AddrMode
    • SPARC.Base
    • SPARC.CodeGen
      • SPARC.CodeGen.Amode
      • SPARC.CodeGen.Base
      • SPARC.CodeGen.CondCode
      • SPARC.CodeGen.Expand
      • SPARC.CodeGen.Gen32
      • SPARC.CodeGen.Gen64
      • SPARC.CodeGen.Sanity
    • SPARC.Cond
    • SPARC.Imm
    • SPARC.Instr
    • SPARC.Ppr
    • SPARC.Regs
    • SPARC.ShortcutJump
    • SPARC.Stack
  • Serialized
  • SetLevels
  • SimplCore
  • SimplEnv
  • SimplMonad
  • SimplStg
  • SimplUtils
  • Simplify
  • Size
  • SpecConstr
  • Specialise
  • SrcLoc
  • State
  • StaticFlags
  • StgCmm
  • StgCmmArgRep
  • StgCmmBind
  • StgCmmClosure
  • StgCmmCon
  • StgCmmEnv
  • StgCmmExpr
  • StgCmmExtCode
  • StgCmmForeign
  • StgCmmHeap
  • StgCmmHpc
  • StgCmmLayout
  • StgCmmMonad
  • StgCmmPrim
  • StgCmmProf
  • StgCmmTicky
  • StgCmmUtils
  • StgLint
  • StgStats
  • StgSyn
  • Stream
  • StringBuffer
  • SysTools
  • TargetReg
  • TcAnnotations
  • TcArrows
  • TcBinds
  • TcCanonical
  • TcClassDcl
  • TcDefaults
  • TcDeriv
  • TcEnv
  • TcErrors
  • TcEvidence
  • TcExpr
  • TcForeign
  • TcGenDeriv
  • TcGenGenerics
  • TcHsSyn
  • TcHsType
  • TcIface
  • TcInstDcls
  • TcInteract
  • TcMType
  • TcMatches
  • TcPat
  • TcPatSyn
  • TcRnDriver
  • TcRnMonad
  • TcRnTypes
  • TcRules
  • TcSMonad
  • TcSimplify
  • TcSplice
  • TcTyClsDecls
  • TcTyDecls
  • TcType
  • TcTypeNats
  • TcUnify
  • TcValidity
  • TidyPgm
  • TrieMap
  • TyCon
  • Type
  • TypeRep
  • TysPrim
  • TysWiredIn
  • UnariseStg
  • Unify
  • UniqFM
  • UniqSet
  • UniqSupply
  • Unique
  • Util
  • Var
  • VarEnv
  • VarSet
  • Vectorise
    • Vectorise.Builtins
      • Vectorise.Builtins.Base
      • Vectorise.Builtins.Initialise
    • Vectorise.Convert
    • Vectorise.Env
    • Vectorise.Exp
    • Vectorise.Generic
      • Vectorise.Generic.Description
      • Vectorise.Generic.PADict
      • Vectorise.Generic.PAMethods
      • Vectorise.Generic.PData
    • Vectorise.Monad
      • Vectorise.Monad.Base
      • Vectorise.Monad.Global
      • Vectorise.Monad.InstEnv
      • Vectorise.Monad.Local
      • Vectorise.Monad.Naming
    • Vectorise.Type
      • Vectorise.Type.Classify
      • Vectorise.Type.Env
      • Vectorise.Type.TyConDecl
      • Vectorise.Type.Type
    • Vectorise.Utils
      • Vectorise.Utils.Base
      • Vectorise.Utils.Closure
      • Vectorise.Utils.Hoisting
      • Vectorise.Utils.PADict
      • Vectorise.Utils.Poly
    • Vectorise.Var
    • Vectorise.Vect
  • WorkWrap
  • WwLib
  • X86
    • X86.CodeGen
    • X86.Cond
    • X86.Instr
    • X86.Ppr
    • X86.RegInfo
    • X86.Regs

GHC's functionality can be useful for more things than just compiling Haskell programs. Important use cases are programs that analyse (and perhaps transform) Haskell code. Others include loading Haskell code dynamically in a GHCi-like manner. For this reason, a lot of GHC's functionality is made available through this package.