Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Deriv.hs | 97715 | logplain |
d--------- | Deriv | 188 | logplain |
-rw-r--r-- | Errors.hs | 99271 | logplain |
d--------- | Errors | 176 | logplain |
d--------- | Gen | 665 | logplain |
d--------- | Instance | 150 | logplain |
-rw-r--r-- | Module.hs | 138188 | logplain |
-rw-r--r-- | Module.hs-boot | 421 | logplain |
-rw-r--r-- | Plugin.hs | 6344 | logplain |
-rw-r--r-- | Solver.hs | 127796 | logplain |
d--------- | Solver | 228 | logplain |
-rw-r--r-- | TyCl.hs | 235366 | logplain |
d--------- | TyCl | 270 | logplain |
-rw-r--r-- | Types.hs | 76645 | logplain |
-rw-r--r-- | Types.hs-boot | 376 | logplain |
d--------- | Types | 231 | logplain |
d--------- | Utils | 458 | logplain |
-rw-r--r-- | Validity.hs | 116313 | logplain |