GHC.TypeLits

Contents

• Kinds
• Linking type and value level
• Functions on type literals
• User-defined type errors

Description

This module is an internal GHC module. It declares the constants used in the implementation of type-level natural numbers. The programmer interface for working with type-level naturals should be defined in a separate library.

Since: 4.6.0.0