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

Type.Reflection.Unsafe

Contents

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.

Synopsis

data TypeRep (a :: k)
mkTrApp :: forall k1 k2 (a :: k1 -> k2) (b :: k1). TypeRep (a :: k1 -> k2) -> TypeRep (b :: k1) -> TypeRep (a b)
mkTyCon :: String -> String -> String -> Int -> KindRep -> TyCon
typeRepFingerprint :: TypeRep a -> Fingerprint
someTypeRepFingerprint :: SomeTypeRep -> Fingerprint
data KindRep :: * where
- KindRepTyConApp TyCon [KindRep]
- KindRepVar !KindBndr
- KindRepApp KindRep KindRep
- KindRepFun KindRep KindRep
- KindRepTYPE !RuntimeRep
- KindRepTypeLitS TypeLitSort Addr#
- KindRepTypeLitD TypeLitSort [Char]
- pattern KindRepTypeLit :: TypeLitSort -> String -> KindRep
data TypeLitSort :: *
- = TypeLitSymbol
- | TypeLitNat
data TyCon :: *
mkTrCon :: forall k (a :: k). TyCon -> [SomeTypeRep] -> TypeRep a
tyConKindRep :: TyCon -> KindRep
tyConKindArgs :: TyCon -> Int
tyConFingerprint :: TyCon -> Fingerprint

Type representations

data TypeRep (a :: k) Source #

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

Instances

TestEquality (TypeRep :: k -> *) #
Instance details Methods testEquality :: TypeRep a -> TypeRep b -> Maybe (a :~: b) Source #
Eq (TypeRep a) #	Since: 2.1
Instance details Methods (==) :: TypeRep a -> TypeRep a -> Bool Source # (/=) :: TypeRep a -> TypeRep a -> Bool Source #
Ord (TypeRep a) #	Since: 4.4.0.0
Instance details 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) #
Instance details 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 :: k1 -> k2) -> TypeRep (b :: k1) -> 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 :: TypeRep a -> Fingerprint Source #

Observe the Fingerprint of a type representation

Since: 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. 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 #
Instance details Methods showsPrec :: Int -> KindRep -> ShowS Source # show :: KindRep -> String Source # showList :: [KindRep] -> ShowS Source #

data TypeLitSort :: * Source #

Constructors

TypeLitSymbol
TypeLitNat

Instances

Show TypeLitSort #
Instance details Methods showsPrec :: Int -> TypeLitSort -> ShowS Source # show :: TypeLitSort -> String Source # showList :: [TypeLitSort] -> ShowS Source #

Type constructors

data TyCon :: * Source #

Instances

Eq TyCon
Instance details Methods (==) :: TyCon -> TyCon -> Bool Source # (/=) :: TyCon -> TyCon -> Bool Source #
Ord TyCon
Instance details 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 #	Since: 2.1
Instance details Methods showsPrec :: Int -> TyCon -> ShowS Source # show :: TyCon -> String Source # showList :: [TyCon] -> ShowS Source #

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

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

tyConKindArgs :: TyCon -> Int Source #

tyConFingerprint :: TyCon -> Fingerprint Source #