Documentation

Returns the functional arity of the given TypeRep.

> tyArity $ typeOf (undefined :: Int)
0

> tyArity $ typeOf (undefined :: Int -> Int)
1

> tyArity $ typeOf (undefined :: (Int,Int))
0

Deconstructs a functional TypeRep into a pair of TypeReps.

> unFunTy $ typeOf (undefined :: Int -> Char -> Bool)
(Int,Char -> Bool)

This function raises an error on non-functional types.

(cf. argumentTy and resultTy)

Returns whether a TypeRep is functional.

> isFunTy $ typeOf (undefined :: Int -> Int)
True
> isFunTy $ typeOf (undefined :: Int)
False

Returns the argument TypeRep of a given functional TypeRep.

argumentTy $ typeOf (undefined :: Int -> Char)
Int

This function raises an error on non-functional types.

(cf. resultTy)

Returns the result TypeRep of a given functional TypeRep.

> resultTy $ typeOf (undefined :: Int -> Char)
Char

> resultTy $ typeOf (undefined :: Int -> Char -> Bool)
Char -> Bool

This function raises an error on non-functional types.

(cf. argumentTy and finalResultTy)

Returns the ultimate result type of the given TypeRep.

> finalResultTy (typeOf (undefined :: Int))
Int

> finalResultTy (typeOf (undefined :: Int -> Char))
Char

> finalResultTy (typeOf (undefined :: Int -> Char -> Bool))
Bool

The Bool type encoded as a TypeRep.

The Int type encoded as a TypeRep.

The Ordering type encoded as a TypeRep.

Constructs a comparison type ( a -> a -> Bool ) from the given argument type.

> mkComparisonTy $ typeOf (undefined :: Int)
Int -> Int -> Bool

> mkComparisonTy $ typeOf (undefined :: ())
() -> () -> Bool

Constructs a "compare" type ( a -> a -> Ordering ) from the given argument type.

> mkCompareTy $ typeOf (undefined :: Int)
Int -> Int -> Ordering

> mkCompareTy $ typeOf (undefined :: ())
() -> () -> Ordering

The function type constructor as a TyCon

Compares two TypeReps.

Different versions of Typeable/GHC provide different orderings for TypeReps. The following is a version independent ordering, with the following properties:

• functional types with more arguments are larger;
• type constructors with more arguments are larger.

> typeOf (undefined :: Int -> Int) `compareTy` typeOf (undefined :: () -> () -> ())
LT

> typeOf (undefined :: Int) `compareTy` typeOf (undefined :: ())
GT

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

O(n). Return all sub types of a given type including itself.

> typesIn $ typeOf (undefined :: Int)
[Int]

> typesIn $ typeOf (undefined :: Bool)
[Bool]

> typesIn $ typeOf (undefined :: [Int])
[ Int
, [Int]
]

> typesIn $ typeOf (undefined :: Int -> Int -> Int)
[ Int
, Int -> Int
, Int -> Int -> Int
]

> typesIn $ typeOf (undefined :: Int -> [Int] -> [Int])
[ Int
, [Int]
, [Int] -> [Int]
, Int -> [Int] -> [Int]
]

> typesIn $ typeOf (undefined :: Maybe Bool)
[ Bool
, Maybe Bool
]

Returns types and subtypes from the given list of TypeReps.

> typesInList [typeOf (undefined :: () -> Int), typeOf (undefined :: String -> String -> Bool)]
[(),Bool,Char,Int,[Char],() -> Int,[Char] -> Bool,[Char] -> [Char] -> Bool]

> typesInList [typeOf (undefined :: (Char,Int))]
[Char,Int,(Char,Int)]

Return the number of outer list nestings in a TypeRep

> countListTy $ typeOf (undefined :: Int)
0

> countListTy $ typeOf (undefined :: [Bool])
1

> countListTy $ typeOf (undefined :: [[()]])
2

> countListTy $ typeOf (undefined :: String)
1

> countListTy $ typeOf (undefined :: ([Int],[Bool]))
0

An infix alias for mkFunTy. It is right associative.