Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Class.hs | 12873 | logplain |
-rw-r--r-- | CoAxiom.hs | 18923 | logplain |
-rw-r--r-- | Coercion.hs | 75343 | logplain |
-rw-r--r-- | Coercion.hs-boot | 1610 | logplain |
-rw-r--r-- | FamInstEnv.hs | 70714 | logplain |
-rw-r--r-- | InstEnv.hs | 40680 | logplain |
-rw-r--r-- | Kind.hs | 5988 | logplain |
-rw-r--r-- | OptCoercion.hs | 33365 | logplain |
-rw-r--r-- | TyCoRep.hs | 115516 | logplain |
-rw-r--r-- | TyCoRep.hs-boot | 354 | logplain |
-rw-r--r-- | TyCon.hs | 96838 | logplain |
-rw-r--r-- | TyCon.hs-boot | 143 | logplain |
-rw-r--r-- | Type.hs | 97774 | logplain |
-rw-r--r-- | Type.hs-boot | 634 | logplain |
-rw-r--r-- | Unify.hs | 53820 | logplain |