Modulebase-4.23.0.0Haskell2010

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.

Contents

Type representations
Kind representations
Type constructors

Synopsis

data TypeRep
value mkTrApp
value mkTyCon
value typeRepFingerprint
value someTypeRepFingerprint
data KindRep
pattern KindRepTypeLit
data TypeLitSort
data TyCon
value mkTrCon
value tyConKindRep
value tyConKindArgs
value tyConFingerprint

Packagebase-4.23.0.0
Exports13
LanguageHaskell2010
LicenceBSD-3-Clause
SourceUnsafe.hs

Type representations

datadata TypeRep (a :: k) where

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

Instances4TestEquality, Eq, Ord, Show

TestEquality TypeRepDefined in ghc-internal-10.0.0 · GHC.Internal.Data.Typeable.Internal
Eq (TypeRep a)Defined in ghc-internal-10.0.0 · GHC.Internal.Data.Typeable.Internal
Ord (TypeRep a)Defined in ghc-internal-10.0.0 · GHC.Internal.Data.Typeable.Internal
Show (TypeRep a)Defined in ghc-internal-10.0.0 · GHC.Internal.Data.Typeable.Internal

valuemkTrApp :: TypeRep a -> TypeRep b -> TypeRep (a b)

Source#

Construct a representation for a type application.

valuemkTyCon

:: 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