| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Deriv.hs | 101364 | logplain |
| d--------- | Deriv | 188 | logplain |
| -rw-r--r-- | Errors.hs | 129617 | logplain |
| d--------- | Errors | 106 | logplain |
| d--------- | Gen | 665 | logplain |
| d--------- | Instance | 150 | logplain |
| -rw-r--r-- | Module.hs | 136209 | logplain |
| -rw-r--r-- | Module.hs-boot | 401 | logplain |
| -rw-r--r-- | Plugin.hs | 5943 | logplain |
| -rw-r--r-- | Solver.hs | 118081 | logplain |
| d--------- | Solver | 153 | logplain |
| -rw-r--r-- | TyCl.hs | 227639 | logplain |
| d--------- | TyCl | 270 | logplain |
| -rw-r--r-- | Types.hs | 71707 | logplain |
| -rw-r--r-- | Types.hs-boot | 279 | logplain |
| d--------- | Types | 154 | logplain |
| d--------- | Utils | 419 | logplain |
| -rw-r--r-- | Validity.hs | 122346 | logplain |
