Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Class.hs | 12608 | logplain |
-rw-r--r-- | CoAxiom.hs | 18942 | logplain |
-rw-r--r-- | Coercion.hs | 72219 | logplain |
-rw-r--r-- | Coercion.hs-boot | 1605 | logplain |
-rw-r--r-- | FamInstEnv.hs | 67766 | logplain |
-rw-r--r-- | InstEnv.hs | 40701 | logplain |
-rw-r--r-- | Kind.hs | 5191 | logplain |
-rw-r--r-- | OptCoercion.hs | 34532 | logplain |
-rw-r--r-- | TyCoRep.hs | 118825 | logplain |
-rw-r--r-- | TyCoRep.hs-boot | 354 | logplain |
-rw-r--r-- | TyCon.hs | 104324 | logplain |
-rw-r--r-- | TyCon.hs-boot | 162 | logplain |
-rw-r--r-- | Type.hs | 97206 | logplain |
-rw-r--r-- | Type.hs-boot | 657 | logplain |
-rw-r--r-- | Unify.hs | 55080 | logplain |