Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Class.hs | 12797 | logplain |
-rw-r--r-- | CoAxiom.hs | 20872 | logplain |
-rw-r--r-- | Coercion.hs | 112736 | logplain |
-rw-r--r-- | Coercion.hs-boot | 1817 | logplain |
-rw-r--r-- | FamInstEnv.hs | 77534 | logplain |
-rw-r--r-- | InstEnv.hs | 42122 | logplain |
-rw-r--r-- | Kind.hs | 3266 | logplain |
-rw-r--r-- | OptCoercion.hs | 42785 | logplain |
-rw-r--r-- | TyCoFVs.hs | 36232 | logplain |
-rw-r--r-- | TyCoPpr.hs | 10507 | logplain |
-rw-r--r-- | TyCoPpr.hs-boot | 202 | logplain |
-rw-r--r-- | TyCoRep.hs | 67796 | logplain |
-rw-r--r-- | TyCoRep.hs-boot | 534 | logplain |
-rw-r--r-- | TyCoSubst.hs | 42107 | logplain |
-rw-r--r-- | TyCoTidy.hs | 9121 | logplain |
-rw-r--r-- | TyCon.hs | 110727 | logplain |
-rw-r--r-- | TyCon.hs-boot | 162 | logplain |
-rw-r--r-- | Type.hs | 132410 | logplain |
-rw-r--r-- | Type.hs-boot | 524 | logplain |
-rw-r--r-- | Unify.hs | 61263 | logplain |