Moduleghc-10.0.0.20260917GHC2024
GHC.Builtin.Types.Prim
This module defines TyCons that can't be expressed in Haskell. They are all, therefore, wired-in TyCons. C.f module GHC.Builtin.Types
Contents
Synopsis
- value mkTemplateKindVar
- value mkTemplateKindVars
- value mkTemplateTyVars
- value mkTemplateTyVarsFrom
- value mkTemplateKiTyVars
- value mkTemplateKiTyVar
- value mkTemplateTyConBinders
- value mkTemplateKindTyConBinders
- value mkTemplateAnonTyConBinders
- value alphaTyVars
- value alphaTyVar
- value betaTyVar
- value gammaTyVar
- value deltaTyVar
- value alphaTyVarSpec
- value betaTyVarSpec
- value gammaTyVarSpec
- value deltaTyVarSpec
- value alphaTys
- value alphaTy
- value betaTy
- value gammaTy
- value deltaTy
- value alphaTyVarsUnliftedRep
- value alphaTyVarUnliftedRep
- value alphaTysUnliftedRep
- value alphaTyUnliftedRep
- value runtimeRep1TyVar
- value runtimeRep2TyVar
- value runtimeRep3TyVar
- value runtimeRep1TyVarInf
- value runtimeRep2TyVarInf
- value runtimeRep1Ty
- value runtimeRep2Ty
- value runtimeRep3Ty
- value levity1TyVar
- value levity2TyVar
- value levity1TyVarInf
- value levity2TyVarInf
- value levity1Ty
- value levity2Ty
- value alphaConstraintTyVar
- value alphaConstraintTy
- value openAlphaTyVar
- value openBetaTyVar
- value openGammaTyVar
- value openAlphaTyVarSpec
- value openBetaTyVarSpec
- value openGammaTyVarSpec
- value openAlphaTy
- value openBetaTy
- value openGammaTy
- value levPolyAlphaTyVar
- value levPolyBetaTyVar
- value levPolyAlphaTyVarSpec
- value levPolyBetaTyVarSpec
- value levPolyAlphaTy
- value levPolyBetaTy
- value multiplicityTyVar1
- value multiplicityTyVar2
- value tYPETyCon
- value tYPETyConName
- value tYPEKind
- value cONSTRAINTTyCon
- value cONSTRAINTTyConName
- value cONSTRAINTKind
- value funTyFlagTyCon
- value isArrowTyCon
- value fUNTyCon
- value fUNTyConName
- value ctArrowTyCon
- value ctArrowTyConName
- value ccArrowTyCon
- value ccArrowTyConName
- value tcArrowTyCon
- value tcArrowTyConName
- value unexposedPrimTyCons
- value exposedPrimTyCons
- value primTyCons
- value charPrimTyCon
- value charPrimTy
- value charPrimTyConName
- value intPrimTyCon
- value intPrimTy
- value intPrimTyConName
- value wordPrimTyCon
- value wordPrimTy
- value wordPrimTyConName
- value addrPrimTyCon
- value addrPrimTy
- value addrPrimTyConName
- value floatPrimTyCon
- value floatPrimTy
- value floatPrimTyConName
- value doublePrimTyCon
- value doublePrimTy
- value doublePrimTyConName
- value statePrimTyCon
- value mkStatePrimTy
- value realWorldTyCon
- value realWorldTy
- value realWorldStatePrimTy
- value realWorldMutableByteArrayPrimTy
- value proxyPrimTyCon
- value mkProxyPrimTy
- value arrayPrimTyCon
- value mkArrayPrimTy
- value byteArrayPrimTyCon
- value byteArrayPrimTy
- value smallArrayPrimTyCon
- value mkSmallArrayPrimTy
- value mutableArrayPrimTyCon
- value mkMutableArrayPrimTy
- value mutableByteArrayPrimTyCon
- value mkMutableByteArrayPrimTy
- value smallMutableArrayPrimTyCon
- value mkSmallMutableArrayPrimTy
- value mutVarPrimTyCon
- value mkMutVarPrimTy
- value mVarPrimTyCon
- value mkMVarPrimTy
- value tVarPrimTyCon
- value mkTVarPrimTy
- value stablePtrPrimTyCon
- value mkStablePtrPrimTy
- value stableNamePrimTyCon
- value mkStableNamePrimTy
- value compactPrimTyCon
- value compactPrimTy
- value bcoPrimTyCon
- value bcoPrimTy
- value weakPrimTyCon
- value mkWeakPrimTy
- value threadIdPrimTyCon
- value threadIdPrimTy
- value stackSnapshotPrimTyCon
- value stackSnapshotPrimTy
- value promptTagPrimTyCon
- value mkPromptTagPrimTy
- value int8PrimTyCon
- value int8PrimTy
- value int8PrimTyConName
- value word8PrimTyCon
- value word8PrimTy
- value word8PrimTyConName
- value int16PrimTyCon
- value int16PrimTy
- value int16PrimTyConName
- value word16PrimTyCon
- value word16PrimTy
- value word16PrimTyConName
- value int32PrimTyCon
- value int32PrimTy
- value int32PrimTyConName
- value word32PrimTyCon
- value word32PrimTy
- value word32PrimTyConName
- value int64PrimTyCon
- value int64PrimTy
- value int64PrimTyConName
- value word64PrimTyCon
- value word64PrimTy
- value word64PrimTyConName
- value eqPrimTyCon
- value eqReprPrimTyCon
- value eqPhantPrimTyCon
- value equalityTyCon
- value int8X16PrimTy
- value int8X16PrimTyCon
- value int16X8PrimTy
- value int16X8PrimTyCon
- value int32X4PrimTy
- value int32X4PrimTyCon
- value int64X2PrimTy
- value int64X2PrimTyCon
- value int8X32PrimTy
- value int8X32PrimTyCon
- value int16X16PrimTy
- value int16X16PrimTyCon
- value int32X8PrimTy
- value int32X8PrimTyCon
- value int64X4PrimTy
- value int64X4PrimTyCon
- value int8X64PrimTy
- value int8X64PrimTyCon
- value int16X32PrimTy
- value int16X32PrimTyCon
- value int32X16PrimTy
- value int32X16PrimTyCon
- value int64X8PrimTy
- value int64X8PrimTyCon
- value word8X16PrimTy
- value word8X16PrimTyCon
- value word16X8PrimTy
- value word16X8PrimTyCon
- value word32X4PrimTy
- value word32X4PrimTyCon
- value word64X2PrimTy
- value word64X2PrimTyCon
- value word8X32PrimTy
- value word8X32PrimTyCon
- value word16X16PrimTy
- value word16X16PrimTyCon
- value word32X8PrimTy
- value word32X8PrimTyCon
- value word64X4PrimTy
- value word64X4PrimTyCon
- value word8X64PrimTy
- value word8X64PrimTyCon
- value word16X32PrimTy
- value word16X32PrimTyCon
- value word32X16PrimTy
- value word32X16PrimTyCon
- value word64X8PrimTy
- value word64X8PrimTyCon
- value floatX4PrimTy
- value floatX4PrimTyCon
- value doubleX2PrimTy
- value doubleX2PrimTyCon
- value floatX8PrimTy
- value floatX8PrimTyCon
- value doubleX4PrimTy
- value doubleX4PrimTyCon
- value floatX16PrimTy
- value floatX16PrimTyCon
- value doubleX8PrimTy
- value doubleX8PrimTyCon
- Packageghc-10.0.0.20260917
- Exports227
- LanguageGHC2024
- LicenceBSD-3-Clause
- SourcePrim.hs
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.
Primitive TyCons that are defined in GHC.Prim but not "exposed". See Note [Unexposed TyCons]
Primitive TyCons that are defined in, and exported from, GHC.Prim.
Given a Role, what TyCon is the type of equality predicates at that role?