blob: d8ddff3f409a7b26857a3b100d7e7d53a0cf3db8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
\begin{code}
module TyCon where
import Name (Name)
import Unique (Unique)
data TyCon
tyConName :: TyCon -> Name
tyConUnique :: TyCon -> Unique
isTupleTyCon :: TyCon -> Bool
isUnboxedTupleTyCon :: TyCon -> Bool
isFunTyCon :: TyCon -> Bool
\end{code}
|