haskell-effectful/effectful
1
1
Fork 0
mirror of https://github.com/haskell-effectful/effectful.git synced 2024-11-26 15:25:46 +03:00
Code Issues Projects Releases Wiki Activity

Make fundep in the example make sense

Browse Source
This commit is contained in:
Andrzej Rybczak 2023-09-14 01:08:38 +02:00
parent 6e61d38224
commit 5d677d51d7
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
effectful-core/src/Effectful/Dispatch/Dynamic.hs
View File

@ -357,7 +357,7 @@ import Effectful.Internal.Utils
-- >>> :set -XFunctionalDependencies
--
-- >>> :{
-- class Monad m => MonadInput i m | i -> m where
-- class Monad m => MonadInput i m | m -> i where
-- input :: m i
-- :}
--
@ -371,7 +371,7 @@ import Effectful.Internal.Utils
-- ...
-- ...Illegal instance declaration for ‘MonadInput i (Eff es)’...
-- ... The liberal coverage condition fails in class ‘MonadInput’...
-- ... for functional dependency: ‘i -> m’...
-- ... for functional dependency: ‘m -> i’...
-- ...
--
-- However, there exists a [dirty