ghc-9.6.6: The GHC API
Safe HaskellSafe-Inferred
LanguageHaskell2010

GHC.Builtin.Types.Prim

Contents

Description

This module defines TyCons that can't be expressed in Haskell. They are all, therefore, wired-in TyCons. C.f module GHC.Builtin.Types

Synopsis

Documentation

mkTemplateKiTyVars :: [Kind] -> ([Kind] -> [Kind]) -> [TyVar] Source #

fUNTyCon :: TyCon Source #

The FUN type constructor.

FUN :: forall (m :: Multiplicity) ->
       forall {rep1 :: RuntimeRep} {rep2 :: RuntimeRep}.
       TYPE rep1 -> TYPE rep2 -> Type

The runtime representations quantification is left inferred. This means they cannot be specified with -XTypeApplications.

This is a deliberate choice to allow future extensions to the function arrow.

unexposedPrimTyCons :: [TyCon] Source #

Primitive TyCons that are defined in GHC.Prim but not "exposed". See Note [Unexposed TyCons]

exposedPrimTyCons :: [TyCon] Source #

Primitive TyCons that are defined in, and exported from, GHC.Prim.

equalityTyCon :: Role -> TyCon Source #

Given a Role, what TyCon is the type of equality predicates at that role?

SIMD