Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Class.hs | 10934 | logplain |
-rw-r--r-- | CoAxiom.hs | 18790 | logplain |
-rw-r--r-- | Coercion.hs | 73206 | logplain |
-rw-r--r-- | Coercion.hs-boot | 1488 | logplain |
-rw-r--r-- | FamInstEnv.hs | 64957 | logplain |
-rw-r--r-- | InstEnv.hs | 37922 | logplain |
-rw-r--r-- | Kind.hs | 4379 | logplain |
-rw-r--r-- | OptCoercion.hs | 33133 | logplain |
-rw-r--r-- | TyCoRep.hs | 127082 | logplain |
-rw-r--r-- | TyCoRep.hs-boot | 346 | logplain |
-rw-r--r-- | TyCon.hs | 89529 | logplain |
-rw-r--r-- | TyCon.hs-boot | 143 | logplain |
-rw-r--r-- | Type.hs | 92622 | logplain |
-rw-r--r-- | Type.hs-boot | 470 | logplain |
-rw-r--r-- | Unify.hs | 50166 | logplain |