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 |