effectful-plugin

A GHC plugin for improving disambiguation of effects.

Version on this page:1.0.0.0@rev:3
LTS Haskell 22.39:1.1.0.3
Stackage Nightly 2024-10-31:1.1.0.4
Latest on Hackage:1.1.0.4

See all snapshots effectful-plugin appears in

BSD-3-Clause licensed by Andrzej Rybczak
Maintained by [email protected]
This version can be pinned in stack with:effectful-plugin-1.0.0.0@sha256:c8144044d4533da578ecacb0678625a978c615876398aa323509df01b786f788,2662

Module documentation for 1.0.0.0

effectful-plugin

A GHC plugin for improving disambiguation of effects.

Usage

To enable the plugin, add the following GHC option to your project file:

ghc-options: -fplugin=Effectful.Plugin

What it does

The following code:

action :: [State Int, State String] :>> es => Eff es ()
action = do
  x <- get
  put (x + 1)

will not compile out of the box because GHC doesn’t know that you meant to get an Int since the function + as well as the literal 1 are polymorphic. You have to write:

action :: [State Int, State String] :>> es => Eff es ()
action = do
  x <- get @Int
  put (x + 1)

Which is slightly annoying. This plugin tells GHC extra information so code like this can type-check without having to spell types to the compiler.

Acknowledgements

Thanks to Xy Ren for her work on cleff-plugin effectful-plugin is based on.

Changes

effectful-plugin-1.0.0.0 (2022-07-13)

  • Initial release.