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

Description

The representations of the typesTyCon andTypeRep, and the functionmkTyCon which is used by derived instances ofTypeable to constructTyCons.

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

Synopsis

dataTypeRep (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
dataKindRepwhere
- KindRepTyConApp TyCon [KindRep]
- KindRepVar !KindBndr
- KindRepApp KindRep KindRep
- KindRepFun KindRep KindRep
- KindRepTYPE !RuntimeRep
- KindRepTypeLitS TypeLitSort Addr#
- KindRepTypeLitD TypeLitSort [Char]
- patternKindRepTypeLit ::TypeLitSort ->String ->KindRep
dataTypeLitSort
- =TypeLitSymbol
- |TypeLitNat
dataTyCon
mkTrCon ::forall k (a :: k).TyCon -> [SomeTypeRep] ->TypeRep a
tyConKindRep ::TyCon ->KindRep
tyConKindArgs ::TyCon ->Int
tyConFingerprint ::TyCon ->Fingerprint

Type representations

dataTypeRep (a :: k)Source #

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

Instances

TestEquality (TypeRep :: k ->Type)Source #
Instance details Defined inData.Typeable.Internal Methods testEquality ::TypeRep a ->TypeRep b ->Maybe (a:~: b)Source #
Eq (TypeRep a)Source #	Since: 2.1
Instance details Defined inData.Typeable.Internal Methods (==) ::TypeRep a ->TypeRep a ->Bool # (/=) ::TypeRep a ->TypeRep a ->Bool #
Ord (TypeRep a)Source #	Since: 4.4.0.0
Instance details Defined inData.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)Source #
Instance details Defined inData.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 :: 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 theFingerprint of a type representation

Since: 4.8.0.0

someTypeRepFingerprint ::SomeTypeRep ->Fingerprint Source #

Kind representations

dataKindRep #

The representation produced by GHC for conjuring up the kind of aTypeRep. 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

patternKindRepTypeLit ::TypeLitSort ->String ->KindRep

Instances

Show KindRepSource #
Instance details Defined inGHC.Show Methods showsPrec ::Int ->KindRep ->ShowS Source # show ::KindRep ->String Source # showList :: [KindRep] ->ShowS Source #

dataTypeLitSort #

Constructors

TypeLitSymbol
TypeLitNat

Instances

Show TypeLitSortSource #	Since: 4.11.0.0
Instance details Defined inGHC.Show Methods showsPrec ::Int ->TypeLitSort ->ShowS Source # show ::TypeLitSort ->String Source # showList :: [TypeLitSort] ->ShowS Source #

Type constructors

dataTyCon #

Instances

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

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

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 #

Movatterモバイル変換

Type representations

Kind representations

Type constructors