-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Disambiguate obvious uses of effects.
--   
--   Please see the README on GitHub at
--   <a>https://github.com/isovector/polysemy/tree/master/polysemy-plugin#readme</a>
@package polysemy-plugin
@version 0.2.0.3

module Polysemy.Plugin.Fundep
fundepPlugin :: TcPlugin
instance GHC.Classes.Eq Polysemy.Plugin.Fundep.OrdType
instance GHC.Classes.Ord Polysemy.Plugin.Fundep.OrdType

module Polysemy.Plugin.InlineRecursiveCalls
inlineRecursiveCalls :: ModGuts -> CoreM ModGuts


-- | A typechecker plugin that can disambiguate "obvious" uses of effects
--   in Polysemy.
--   
--   <b>Example:</b>
--   
--   Consider the following program:
--   
--   <pre>
--   foo :: <a>Member</a> (<a>State</a> Int) r =&gt; <a>Sem</a> r ()
--   foo = <a>put</a> 10
--   </pre>
--   
--   What does this program do? Any human will tell you that it changes the
--   state of the <a>Int</a> to 10, which is clearly what's meant.
--   
--   Unfortunately, Polysemy can't work this out on its own. Its reasoning
--   is "maybe you wanted to change some other <a>State</a> effect which is
--   <i>also</i> a <a>Num</a>, but you just forgot to add a <a>Member</a>
--   constraint for it."
--   
--   This is obviously insane, but it's the way the cookie crumbles.
--   <a>Plugin</a> is a typechecker plugin which will disambiguate the
--   above program (and others) so the compiler will do what you want.
--   
--   <b>Usage:</b>
--   
--   Add the following line to your package configuration:
--   
--   <pre>
--   ghc-options: -fplugin=Polysemy.Plugin
--   </pre>
--   
--   <b>Limitations:</b>
--   
--   The <a>Plugin</a> will only disambiguate effects if there is exactly
--   one relevant constraint in scope. For example, it will <i>not</i>
--   disambiguate the following program:
--   
--   <pre>
--   bar :: <a>Members</a> '[ <a>State</a> Int
--                   , <a>State</a> Double
--                   ] r =&gt; <a>Sem</a> r ()
--   bar = <a>put</a> 10
--   </pre>
--   
--   because it is now unclear whether you're attempting to set the
--   <a>Int</a> or the <a>Double</a>. Instead, you can manually write a
--   type application in this case.
--   
--   <pre>
--   bar :: <a>Members</a> '[ <a>State</a> Int
--                   , <a>State</a> Double
--                   ] r =&gt; <a>Sem</a> r ()
--   bar = <a>put</a> @Int 10
--   </pre>
module Polysemy.Plugin
plugin :: Plugin

module Polysemy.Plugin.Phases
extraPhases :: DynFlags -> [CoreToDo]