HORIZON HASKELLDocslts/ghc-10.0.x8174fa42026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8174fa4 · 2026-10-11

Moduleghc-10.0.0.20260917GHC2024

GHC.Iface.Type

  • 33 types
  • 54 values
newtypenewtype IfLclName
#

A local name in iface syntax

Constructors

Instances6Eq, Ord, Show, NFData, Outputable, Binary
datadata IfaceType
#

A kind of universal type, used for types and kinds.

Any time a Type is pretty-printed, it is first converted to an IfaceType before being printed. See Note [Pretty printing via Iface syntax] in GHC.Types.TyThing.Ppr

Constructors

Instances7Eq, Ord, Outputable, NFData, Binary, …
datadata IfaceCoercion
#

Constructors

Instances5Eq, Ord, NFData, Outputable, Binary
datadata IfaceTyCon
#

Constructors

  • IfaceTyCon
    • ifaceTyConName :: IfExtName
    • ifaceTyConInfo :: !IfaceTyConInfo

      We add a bang to this field as heap analysis showed that this constructor retains a thunk to a value that is usually shared.

      See !12200 for how this bang saved ~10% residency when loading mi_extra_decls on the agda code base.

      See Note [Sharing IfaceTyConInfo] for why sharing is so important for IfaceTyConInfo.

Instances5Eq, Ord, NFData, Outputable, Binary
datadata IfaceTyConInfo
#

Constructors

Instances5Eq, Ord, NFData, Outputable, Binary
datadata IfaceTyConSort
#

The various types of TyCons which have special, built-in syntax.

Constructors

  • IfaceNormalTyCon

    a regular tycon

  • IfaceTupleTyCon !Arity !TupleSort

    a tuple, e.g. (a, b, c) or (#a, b, c#). The arity is the tuple width, not the tycon arity (which is twice the width in the case of unboxed tuples).

  • IfaceSumTyCon !Arity

    an unboxed sum, e.g. (# a | b | c #)

  • IfaceEqualityTyCon

    A heterogeneous equality TyCon (i.e. eqPrimTyCon, eqReprPrimTyCon, heqTyCon) that is actually being applied to two types of the same kind. This affects pretty-printing only: see Note [Equality predicates in IfaceType]

Instances5Eq, Ord, NFData, Outputable, Binary
datadata IfaceAppArgs
#

Stores the arguments in a type application as a list. See Note [Suppressing invisible arguments].

Constructors

Instances7Eq, Ord, Semigroup, Monoid, NFData, Outputable, …
datadata ForAllTyFlag
#

ForAllTyFlag

Is something required to appear in source Haskell (Required), permitted by request (Specified) (visible type application), or prohibited entirely from appearing in source Haskell (Inferred)? See Note [VarBndrs, ForAllTyBinders, TyConBinders, and visibility] in GHC.Core.TyCo.Rep

Constructors

Instances8Eq, Data, Ord, NFData, Binary, OutputableBndrFlag, …
datadata FunTyFlag
#

The non-dependent version of ForAllTyFlag. See Note [FunTyFlag] Appears here partly so that it's together with its friends ForAllTyFlag and ForallVisFlag, but also because it is used in IfaceType, rather early in the compilation chain

FTF_T_TFTF_T_CFTF_C_TFTF_C_C
Instances6Eq, Data, Ord, NFData, Outputable, Binary
datadata ShowHowMuch
#

Constructors

  • ShowHeader AltPpr

    Header information only, not rhs

  • ShowSome (Maybe (OccName -> Bool)) AltPpr

    Show the declaration and its RHS. The Maybe predicate allows filtering of the sub-components which should be printing; any sub-components filtered out will be elided with ....

  • ShowIface

    Everything including GHC-internal information (used in --show-iface)

Instances1Outputable
valueifaceTypeSharedByte :: Word8
#

This is the byte tag we expect to read when the next value is not an IfaceType value, but an offset into a lookup table. See Note [Deduplication during iface binary serialisation].

Must not overlap with any byte tag in getIfaceType.

valuepprIfaceContextArr :: [IfacePredType] -> SDoc
#

Prints "(C a, D b) =>", including the arrow. Used when we want to print a context in a type, so we use funPrec to decide whether to parenthesise a singleton predicate; e.g. Num a => a -> a