Data.Express.Utils.Typeable

This module is part of Express.

Utilities to manipulate TypeReps (of Typeable values).

Documentation

tyArity :: TypeRep -> Int

unFunTy :: TypeRep -> (TypeRep, TypeRep)

isFunTy :: TypeRep -> Bool

argumentTy :: TypeRep -> TypeRep

resultTy :: TypeRep -> TypeRep

finalResultTy :: TypeRep -> TypeRep

boolTy :: TypeRep

intTy :: TypeRep

orderingTy :: TypeRep

mkComparisonTy :: TypeRep -> TypeRep

mkCompareTy :: TypeRep -> TypeRep

funTyCon :: TyCon

compareTy :: TypeRep -> TypeRep -> Ordering

elementTy :: TypeRep -> TypeRep

This function returns the type of the element of a list. It will throw an error when not given the list type.

> > elementTy $ typeOf (undefined :: [Int])
Int
> > elementTy $ typeOf (undefined :: [[Int]])
[Int]
> > elementTy $ typeOf (undefined :: [Bool])
Bool
> > elementTy $ typeOf (undefined :: Bool)
*** Exception: error (elementTy): `Bool' is not a list type

(->::) :: TypeRep -> TypeRep -> TypeRep infixr 9

An infix alias for mkFunTy. It is right associative.

module Data.Typeable