Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Class.hs | 11185 | logplain |
-rw-r--r-- | CoAxiom.hs | 19346 | logplain |
-rw-r--r-- | Coercion.hs | 71250 | logplain |
-rw-r--r-- | Coercion.hs-boot | 1454 | logplain |
-rw-r--r-- | FamInstEnv.hs | 65438 | logplain |
-rw-r--r-- | InstEnv.hs | 38198 | logplain |
-rw-r--r-- | Kind.hs | 4685 | logplain |
-rw-r--r-- | OptCoercion.hs | 33147 | logplain |
-rw-r--r-- | TyCoRep.hs | 104099 | logplain |
-rw-r--r-- | TyCoRep.hs-boot | 326 | logplain |
-rw-r--r-- | TyCon.hs | 80554 | logplain |
-rw-r--r-- | TyCon.hs-boot | 262 | logplain |
-rw-r--r-- | Type.hs | 86517 | logplain |
-rw-r--r-- | Type.hs-boot | 396 | logplain |
-rw-r--r-- | Unify.hs | 47908 | logplain |