Safe Haskell	Trustworthy
Language	Haskell2010

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

data Symbol
type family CmpSymbol (a :: Symbol) (b :: Symbol) :: Ordering where ...
type family CmpChar (a :: Char) (b :: Char) :: Ordering where ...

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