HORIZON HASKELLDocslts/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.Basic

  • 7 types
  • 1 value
  • Packageghc-9.10.3
  • Exports8
  • LanguageGHC2021
  • LicenceBSD-3-Clause
  • SourceBasic.hs
datadata Boxity
#
BoxedUnboxed
Instances4Eq, Data, Outputable, Binary
  • Eq BoxityDefined in ghc-9.10.3 · Language.Haskell.Syntax.Basic
  • Data BoxityDefined in ghc-9.10.3 · Language.Haskell.Syntax.Basic
  • Outputable BoxityDefined in ghc-9.10.3 · GHC.Types.Basic · orphan
  • Binary BoxityDefined in ghc-9.10.3 · GHC.Types.Basic · orphan
typetype ConTag = Int
#

A *one-index* constructor tag

Type of the tags associated with each constructor possibility or superclass selector

newtypenewtype FieldLabelString
#

Field labels are just represented as strings; they are not necessarily unique (even within a module)

Constructors

Instances6Eq, Data, NFData, Outputable, Uniquable, Anno
datadata Role
#

See Note [Roles] in GHC.Core.Coercion

Order of constructors matters: the Ord instance coincides with the *super*typing relation on roles.

NominalRepresentationalPhantom
Instances7Eq, Data, Ord, Outputable, Binary, Anno, …
  • Eq RoleDefined in ghc-9.10.3 · Language.Haskell.Syntax.Basic
  • Data RoleDefined in ghc-9.10.3 · Language.Haskell.Syntax.Basic
  • Ord RoleDefined in ghc-9.10.3 · Language.Haskell.Syntax.Basic
  • Outputable RoleDefined in ghc-9.10.3 · GHC.Core.Coercion.Axiom · orphan
  • Binary RoleDefined in ghc-9.10.3 · GHC.Core.Coercion.Axiom · orphan
  • type Anno (Maybe Role) = EpAnnCODefined in ghc-9.10.3 · GHC.Hs.Decls · orphan
  • type Anno (Maybe Role) = EpAnnCODefined in ghc-9.10.3 · GHC.Hs.Decls · orphan
datadata SrcUnpackedness
#

Source Unpackedness

What unpackedness the user requested

Constructors

Instances4Eq, Data, Outputable, Binary