Type.Reflection.Unsafe

The representations of the types TyCon and TypeRep, and the function mkTyCon which is used by derived instances of Typeable to construct TyCons.

Be warned, these functions can be used to construct ill-kinded type representations.

Type representations

data TypeRep (a :: k)

A concrete representation of a (monomorphic) type. TypeRep supports reasonably efficient equality.

Instances

TestEquality (TypeRep :: k -> Type)

Defined in Data.Typeable.Internal

Methods

testEquality :: TypeRep a -> TypeRep b -> Maybe (a :~: b)

Eq (TypeRep a)

Since: 2.1

Defined in Data.Typeable.Internal

Methods

(==) :: TypeRep a -> TypeRep a -> Bool

(/=) :: TypeRep a -> TypeRep a -> Bool

Ord (TypeRep a)

Since: 4.4.0.0

Defined in Data.Typeable.Internal

Methods

compare :: TypeRep a -> TypeRep a -> Ordering

(<) :: TypeRep a -> TypeRep a -> Bool

(<=) :: TypeRep a -> TypeRep a -> Bool

(>) :: TypeRep a -> TypeRep a -> Bool

(>=) :: TypeRep a -> TypeRep a -> Bool

max :: TypeRep a -> TypeRep a -> TypeRep a

min :: TypeRep a -> TypeRep a -> TypeRep a

Show (TypeRep a)

Defined in Data.Typeable.Internal

Methods

showsPrec :: Int -> TypeRep a -> ShowS

show :: TypeRep a -> String

showList :: [TypeRep a] -> ShowS

mkTrApp :: forall k1 k2 (a :: k1 -> k2) (b :: k1). TypeRep (a :: k1 -> k2) -> TypeRep (b :: k1) -> TypeRep (a b)

Construct a representation for a type application.

mkTyCon

Arguments

:: String

package name

-> String

module name

-> String

the name of the type constructor

-> Int

number of kind variables

-> KindRep

kind representation

-> TyCon

A unique TyCon object Used when the strings are dynamically allocated, eg from binary deserialisation

Exquisitely unsafe.

typeRepFingerprint :: TypeRep a -> Fingerprint

Observe the Fingerprint of a type representation

Since: 4.8.0.0

someTypeRepFingerprint :: SomeTypeRep -> Fingerprint

Kind representations

data KindRep

The representation produced by GHC for conjuring up the kind of a TypeRep. See Note [Representing TyCon kinds: KindRep] in TcTypeable.

Constructors

KindRepTyConApp TyCon [KindRep]

KindRepVar !KindBndr

KindRepApp KindRep KindRep

KindRepFun KindRep KindRep

KindRepTYPE !RuntimeRep

KindRepTypeLitS TypeLitSort Addr#

KindRepTypeLitD TypeLitSort [Char]

Bundled Patterns

pattern KindRepTypeLit :: TypeLitSort -> String -> KindRep

Instances

Show KindRep

Defined in GHC.Show

Methods

showsPrec :: Int -> KindRep -> ShowS

show :: KindRep -> String

showList :: [KindRep] -> ShowS

data TypeLitSort

Constructors

TypeLitSymbol

TypeLitNat

Instances

Show TypeLitSort

Since: 4.11.0.0

Defined in GHC.Show

Methods

showsPrec :: Int -> TypeLitSort -> ShowS

show :: TypeLitSort -> String

showList :: [TypeLitSort] -> ShowS

Type constructors

data TyCon

Instances

Eq TyCon

Defined in GHC.Classes

Methods

(==) :: TyCon -> TyCon -> Bool

(/=) :: TyCon -> TyCon -> Bool

Ord TyCon

Defined in GHC.Classes

Methods

compare :: TyCon -> TyCon -> Ordering

(<) :: TyCon -> TyCon -> Bool

(<=) :: TyCon -> TyCon -> Bool

(>) :: TyCon -> TyCon -> Bool

(>=) :: TyCon -> TyCon -> Bool

max :: TyCon -> TyCon -> TyCon

min :: TyCon -> TyCon -> TyCon

Show TyCon

Since: 2.1

Defined in GHC.Show

Methods

showsPrec :: Int -> TyCon -> ShowS

show :: TyCon -> String

showList :: [TyCon] -> ShowS

mkTrCon :: forall k (a :: k). TyCon -> [SomeTypeRep] -> TypeRep a

Construct a representation for a type constructor applied at a monomorphic kind.

Note that this is unsafe as it allows you to construct ill-kinded types.

tyConKindRep :: TyCon -> KindRep

tyConKindArgs :: TyCon -> Int

tyConFingerprint :: TyCon -> Fingerprint