Safe Haskell | Unsafe |
---|
The representations of the types TyCon and TypeRep, and the function mkTyCon which is used by derived instances of Typeable to construct a TyCon.
- data TypeRep = TypeRep !Fingerprint TyCon [TypeRep]
- data TyCon = TyCon {}
- mkTyCon :: Word64# -> Word64# -> String -> String -> String -> TyCon
- mkTyCon3 :: String -> String -> String -> TyCon
- mkTyConApp :: TyCon -> [TypeRep] -> TypeRep
- mkAppTy :: TypeRep -> TypeRep -> TypeRep
- typeRepTyCon :: TypeRep -> TyCon
- typeOfDefault :: forall t a. (Typeable1 t, Typeable a) => t a -> TypeRep
- typeOf1Default :: forall t a b. (Typeable2 t, Typeable a) => t a b -> TypeRep
- typeOf2Default :: forall t a b c. (Typeable3 t, Typeable a) => t a b c -> TypeRep
- typeOf3Default :: forall t a b c d. (Typeable4 t, Typeable a) => t a b c d -> TypeRep
- typeOf4Default :: forall t a b c d e. (Typeable5 t, Typeable a) => t a b c d e -> TypeRep
- typeOf5Default :: forall t a b c d e f. (Typeable6 t, Typeable a) => t a b c d e f -> TypeRep
- typeOf6Default :: forall t a b c d e f g. (Typeable7 t, Typeable a) => t a b c d e f g -> TypeRep
- class Typeable a where
- class Typeable1 t where
- class Typeable2 t where
- class Typeable3 t where
- class Typeable4 t where
- class Typeable5 t where
- class Typeable6 t where
- class Typeable7 t where
- mkFunTy :: TypeRep -> TypeRep -> TypeRep
- splitTyConApp :: TypeRep -> (TyCon, [TypeRep])
- funResultTy :: TypeRep -> TypeRep -> Maybe TypeRep
- typeRepArgs :: TypeRep -> [TypeRep]
- showsTypeRep :: TypeRep -> ShowS
- tyConString :: TyCon -> String
- listTc :: TyCon
- funTc :: TyCon
Documentation
A concrete representation of a (monomorphic) type. TypeRep
supports reasonably efficient equality.
TyCon | |
|
:: String | package name |
-> String | module name |
-> String | the name of the type constructor |
-> TyCon | A unique |
Builds a TyCon
object representing a type constructor. An
implementation of Data.Typeable should ensure that the following holds:
A==A' ^ B==B' ^ C==C' ==> mkTyCon A B C == mkTyCon A' B' C'
mkTyConApp :: TyCon -> [TypeRep] -> TypeRepSource
Applies a type constructor to a sequence of types
typeRepTyCon :: TypeRep -> TyConSource
Observe the type constructor of a type representation
typeOfDefault :: forall t a. (Typeable1 t, Typeable a) => t a -> TypeRepSource
typeOf1Default :: forall t a b. (Typeable2 t, Typeable a) => t a b -> TypeRepSource
typeOf2Default :: forall t a b c. (Typeable3 t, Typeable a) => t a b c -> TypeRepSource
typeOf3Default :: forall t a b c d. (Typeable4 t, Typeable a) => t a b c d -> TypeRepSource
typeOf4Default :: forall t a b c d e. (Typeable5 t, Typeable a) => t a b c d e -> TypeRepSource
typeOf5Default :: forall t a b c d e f. (Typeable6 t, Typeable a) => t a b c d e f -> TypeRepSource
typeOf6Default :: forall t a b c d e f g. (Typeable7 t, Typeable a) => t a b c d e f g -> TypeRepSource
The class Typeable
allows a concrete representation of a type to
be calculated.
Variant for unary type constructors
Typeable1 [] | |
Typeable1 Ratio | |
Typeable1 StablePtr | |
Typeable1 IO | |
Typeable1 Ptr | |
Typeable1 FunPtr | |
Typeable1 Maybe | |
Typeable1 MVar | |
Typeable1 IORef | |
Typeable1 ForeignPtr | |
Typeable1 Weak | |
Typeable1 TVar | |
Typeable1 STM | |
Typeable1 Chan | |
Typeable1 SampleVar | |
Typeable1 Complex | |
Typeable1 Fixed | |
Typeable1 StableName | |
(Typeable2 s, Typeable a) => Typeable1 (s a) | One Typeable1 instance for all Typeable2 instances |
Variant for binary type constructors
Variant for 3-ary type constructors
Variant for 4-ary type constructors
Variant for 5-ary type constructors
Variant for 6-ary type constructors
Variant for 7-ary type constructors
mkFunTy :: TypeRep -> TypeRep -> TypeRepSource
A special case of mkTyConApp
, which applies the function
type constructor to a pair of types.
splitTyConApp :: TypeRep -> (TyCon, [TypeRep])Source
Splits a type constructor application
typeRepArgs :: TypeRep -> [TypeRep]Source
Observe the argument types of a type representation
showsTypeRep :: TypeRep -> ShowSSource
tyConString :: TyCon -> StringSource
Observe string encoding of a type representation