Pretty printer doesn't display functional dependency with ‘→’
% ghci -ignore-dot-ghci
GHCi, version 8.1.20160117: http://www.haskell.org/ghc/ :? for help
Prelude> :set -XUnicodeSyntax
Prelude> import Control.Monad.Free
Prelude Control.Monad.Free> :set -XUnicodeSyntax
Prelude Control.Monad.Free> :i MonadFree
class Monad m =>
MonadFree (f :: * -> *) (m :: * -> *) | m -> f where
wrap :: f (m a) -> m a
default wrap :: (m ~ t n, Control.Monad.Trans.Class.MonadTrans t,
MonadFree f n, Functor f) =>
f (m a) -> m a
-- Defined in ‘Control.Monad.Free.Class’
instance [safe] Functor f => MonadFree f (Free f)
-- Defined in ‘Control.Monad.Free’
Prelude Control.Monad.Free>
should be
class Monad m =>
MonadFree (f :: * -> *) (m :: * -> *) | m → f where
Trac metadata
Trac field | Value |
---|---|
Version | 7.10.3 |
Type | FeatureRequest |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | GHCi |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |