GHC.Builtins

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

Specialization of unboxedTupleSumKind for tuples

Specialization of unboxedTupleSumKind for sums

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.

Type constructor for n-ary unboxed sum.

Data constructor for i-th alternative of a n-ary unboxed sum.

Make a tuple type. The list of types should not include any RuntimeRep specifications. Boxed 1-tuples are flattened. See Note [One-tuples]

Build the type of a small tuple that holds the specified type of thing Flattens 1-tuples. See Note [One-tuples].

Make a *promoted* list.

Make a tuple type. The list of types should not include any RuntimeRep specifications. Boxed 1-tuples are *not* flattened. See Note [One-tuples] and Note [Don't flatten tuples from HsSyn] in GHC.Core.Make