Type.Reflection.Unsafe

Copyright	(c) The University of Glasgow CWI 2001--2015
License	BSD-style (see the file libraries/base/LICENSE)
Safe Haskell	None
Language	Haskell2010

Type representations
Kind representations
Type constructors

Description

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) Source

TypeRep is a concrete representation of a (monomorphic) type. TypeRep supports reasonably efficient equality. See Note [Grand plan for Typeable] in GHC.Tc.Instance.Typeable

Instances

Instances details

TestEquality (TypeRep :: k -> Type) Source
Instance details Defined in GHC.Internal.Data.Typeable.Internal Methods testEquality :: forall (a :: k) (b :: k). TypeRep a -> TypeRep b -> Maybe (a :~: b) Source
Eq (TypeRep a) Source	Since: base-2.1
Instance details Defined in GHC.Internal.Data.Typeable.Internal Methods (==) :: TypeRep a -> TypeRep a -> Bool Source (/=) :: TypeRep a -> TypeRep a -> Bool Source
Ord (TypeRep a) Source	Since: base-4.4.0.0
Instance details Defined in GHC.Internal.Data.Typeable.Internal Methods compare :: TypeRep a -> TypeRep a -> Ordering Source (<) :: TypeRep a -> TypeRep a -> Bool Source (<=) :: TypeRep a -> TypeRep a -> Bool Source (>) :: TypeRep a -> TypeRep a -> Bool Source (>=) :: TypeRep a -> TypeRep a -> Bool Source max :: TypeRep a -> TypeRep a -> TypeRep a Source min :: TypeRep a -> TypeRep a -> TypeRep a Source
Show (TypeRep a) Source
Instance details Defined in GHC.Internal.Data.Typeable.Internal Methods showsPrec :: Int -> TypeRep a -> ShowS Source show :: TypeRep a -> String Source showList :: [TypeRep a] -> ShowS Source

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

Construct a representation for a type application.

mkTyCon Source

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 :: forall {k} (a :: k). TypeRep a -> Fingerprint Source

Observe the Fingerprint of a type representation

Since: base-4.8.0.0

someTypeRepFingerprint :: SomeTypeRep -> Fingerprint Source

Kind representations

data KindRep Source

The representation produced by GHC for conjuring up the kind of a TypeRep.

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

Instances details

Show KindRep Source
Instance details Defined in GHC.Internal.Show Methods showsPrec :: Int -> KindRep -> ShowS Source show :: KindRep -> String Source showList :: [KindRep] -> ShowS Source

data TypeLitSort Source

Constructors

TypeLitSymbol
TypeLitNat
TypeLitChar

Instances

Instances details

Show TypeLitSort Source	Since: base-4.11.0.0
Instance details Defined in GHC.Internal.Show Methods showsPrec :: Int -> TypeLitSort -> ShowS Source show :: TypeLitSort -> String Source showList :: [TypeLitSort] -> ShowS Source

Type constructors

data TyCon Source

Instances

Instances details

Eq TyCon Source
Instance details Defined in GHC.Internal.Classes Methods (==) :: TyCon -> TyCon -> Bool Source (/=) :: TyCon -> TyCon -> Bool Source
Ord TyCon Source
Instance details Defined in GHC.Internal.Classes Methods compare :: TyCon -> TyCon -> Ordering Source (<) :: TyCon -> TyCon -> Bool Source (<=) :: TyCon -> TyCon -> Bool Source (>) :: TyCon -> TyCon -> Bool Source (>=) :: TyCon -> TyCon -> Bool Source max :: TyCon -> TyCon -> TyCon Source min :: TyCon -> TyCon -> TyCon Source
Show TyCon Source	Since: base-2.1
Instance details Defined in GHC.Internal.Show Methods showsPrec :: Int -> TyCon -> ShowS Source show :: TyCon -> String Source showList :: [TyCon] -> ShowS Source