Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Class.hs | 12762 | logplain |
-rw-r--r-- | CoAxiom.hs | 18946 | logplain |
-rw-r--r-- | Coercion.hs | 80844 | logplain |
-rw-r--r-- | Coercion.hs-boot | 1725 | logplain |
-rw-r--r-- | FamInstEnv.hs | 67871 | logplain |
-rw-r--r-- | InstEnv.hs | 42019 | logplain |
-rw-r--r-- | Kind.hs | 4751 | logplain |
-rw-r--r-- | OptCoercion.hs | 36861 | logplain |
-rw-r--r-- | TyCoRep.hs | 126517 | logplain |
-rw-r--r-- | TyCoRep.hs-boot | 404 | logplain |
-rw-r--r-- | TyCon.hs | 103560 | logplain |
-rw-r--r-- | TyCon.hs-boot | 162 | logplain |
-rw-r--r-- | Type.hs | 105925 | logplain |
-rw-r--r-- | Type.hs-boot | 657 | logplain |
-rw-r--r-- | Unify.hs | 59518 | logplain |