Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Class.hs | 12762 | logplain |
-rw-r--r-- | CoAxiom.hs | 20974 | logplain |
-rw-r--r-- | Coercion.hs | 112134 | logplain |
-rw-r--r-- | Coercion.hs-boot | 1817 | logplain |
-rw-r--r-- | FamInstEnv.hs | 73233 | logplain |
-rw-r--r-- | InstEnv.hs | 42020 | logplain |
-rw-r--r-- | Kind.hs | 3271 | logplain |
-rw-r--r-- | OptCoercion.hs | 42902 | logplain |
-rw-r--r-- | TyCoRep.hs | 160833 | logplain |
-rw-r--r-- | TyCoRep.hs-boot | 475 | logplain |
-rw-r--r-- | TyCon.hs | 107341 | logplain |
-rw-r--r-- | TyCon.hs-boot | 162 | logplain |
-rw-r--r-- | Type.hs | 120999 | logplain |
-rw-r--r-- | Type.hs-boot | 679 | logplain |
-rw-r--r-- | Unify.hs | 61274 | logplain |