GHC.Builtin.Types

Check if the OccName is an occurrence of built-in syntax.

This is a variant of isBuiltInOcc_maybe that returns a Bool. See Note [isBuiltInOcc_maybe]

isBuiltInOcc holds for: * function arrow -> * list syntax `[]`, : * boxed tuple syntax (), (,), (,,), (,,,), ... * unboxed tuple syntax (##), `()`, `()`, ... * unboxed sum type syntax (#|#), (#||#), (#|||#), ... * unboxed sum data syntax `()`, `()`, `(), ...

Match on built-in syntax as it occurs at use sites. See Note [isBuiltInOcc_maybe]

Given a type ty, if ty is not of kind Type, return a data constructor that will box it, and the type of the boxed thing, which does now have kind Type. See Note [Boxing constructors]

Make a *promoted* list.

Extract the elements of a promoted list. Panics if the type is not a promoted list

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

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

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

Specialization of unboxedTupleSumKind for tuples

Specialization of unboxedTupleSumKind for sums

Make a fake, recovery TyCon from an existing one. Used when recovering from errors in type declarations

Type constructor for n-ary unboxed sum.

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

Should this name be considered in-scope, even though it technically isn't?

This ensures that we don't filter out information because, e.g., Data.Kind.Type isn't imported.

See Note [pretendNameIsInScope].