Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Class.hs | 11143 | logplain |
-rw-r--r-- | CoAxiom.hs | 19346 | logplain |
-rw-r--r-- | Coercion.hs | 72164 | logplain |
-rw-r--r-- | Coercion.hs-boot | 1488 | logplain |
-rw-r--r-- | FamInstEnv.hs | 65142 | logplain |
-rw-r--r-- | InstEnv.hs | 38001 | logplain |
-rw-r--r-- | Kind.hs | 4685 | logplain |
-rw-r--r-- | OptCoercion.hs | 33110 | logplain |
-rw-r--r-- | TyCoRep.hs | 104740 | logplain |
-rw-r--r-- | TyCoRep.hs-boot | 326 | logplain |
-rw-r--r-- | TyCon.hs | 80596 | logplain |
-rw-r--r-- | TyCon.hs-boot | 262 | logplain |
-rw-r--r-- | Type.hs | 87125 | logplain |
-rw-r--r-- | Type.hs-boot | 396 | logplain |
-rw-r--r-- | Unify.hs | 47697 | logplain |