Download Latest Version
v1.8.0.0 source code.tar.gz (138.5 kB)
Get an email when there's a new version of Polysemy
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| polysemy-plugin v0.4.1.0 source code.tar.gz | 2021-10-22 | 142.9 kB | |
| polysemy-plugin v0.4.1.0 source code.zip | 2021-10-22 | 187.9 kB | |
| README.md | 2021-10-22 | 358 Bytes | |
| Totals: 3 Items | 331.1 kB | 0 | |
The plugin will now use use knowledge of in-scope wanted constraints to help solve otherwise ambiguous Member constraints. For example if we have Members [Embed IO, Embed Identity] r in scope, and are trying to solve (Member (Embed m) r, MonadIO m), the plugin will choose m ~ IO, because that is the only possible instantiation that would typecheck.