base-4.19.2.0: Core data structures and operations
Safe HaskellTrustworthy
LanguageHaskell2010

GHC.TypeLits.Internal

Description

DO NOT USE THIS MODULE. Use GHC.TypeLits instead.

This module is internal-only and was exposed by accident. It may be removed without warning in a future version.

(The technical reason for this module's existence is that it is needed to prevent module cycles while still allowing these identifiers to be imported in Ord.)

Since: base-4.16.0.0

Synopsis

Documentation

data Symbol Source #

(Kind) This is the kind of type-level symbols.

Instances

Instances details
TestCoercion SSymbol Source #

Since: base-4.18.0.0

Instance details

Defined in GHC.TypeLits

Methods

testCoercion :: forall (a :: Symbol) (b :: Symbol). SSymbol a -> SSymbol b -> Maybe (Coercion a b) Source #

TestEquality SSymbol Source #

Since: base-4.18.0.0

Instance details

Defined in GHC.TypeLits

Methods

testEquality :: forall (a :: Symbol) (b :: Symbol). SSymbol a -> SSymbol b -> Maybe (a :~: b) Source #

type Compare (a :: Symbol) (b :: Symbol) Source # 
Instance details

Defined in Data.Type.Ord

type Compare (a :: Symbol) (b :: Symbol) = CmpSymbol a b

type family CmpSymbol (a :: Symbol) (b :: Symbol) :: Ordering where ... Source #

Comparison of type-level symbols, as a function.

Since: base-4.7.0.0

type family CmpChar (a :: Char) (b :: Char) :: Ordering where ... Source #

Comparison of type-level characters.

Since: base-4.16.0.0