Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Class.hs | 11143 | logplain |
-rw-r--r-- | CoAxiom.hs | 19346 | logplain |
-rw-r--r-- | Coercion.hs | 72217 | logplain |
-rw-r--r-- | Coercion.hs-boot | 1488 | logplain |
-rw-r--r-- | FamInstEnv.hs | 64841 | logplain |
-rw-r--r-- | InstEnv.hs | 38001 | logplain |
-rw-r--r-- | Kind.hs | 4685 | logplain |
-rw-r--r-- | OptCoercion.hs | 32980 | logplain |
-rw-r--r-- | TyCoRep.hs | 115725 | logplain |
-rw-r--r-- | TyCoRep.hs-boot | 326 | logplain |
-rw-r--r-- | TyCon.hs | 82146 | logplain |
-rw-r--r-- | TyCon.hs-boot | 262 | logplain |
-rw-r--r-- | Type.hs | 89777 | logplain |
-rw-r--r-- | Type.hs-boot | 396 | logplain |
-rw-r--r-- | Unify.hs | 47551 | logplain |