haskell - 有没有办法向 GHCI 询问特定实例的定义位置？

Question

例如，我可以查询“RWS 在哪里定义为 MonadState 的实例”？我希望得到一个像模块（版本）、源文件、行这样的答案。

Answer 1

λ> :info MonadState
...
instance (Monad m, Monoid w) => MonadState s (RWST r w s m)
  -- Defined in `Control.Monad.State.Class'
λ> :i RWS
type RWS r w s = RWST r w s Identity
        -- Defined in `Control.Monad.Trans.RWS.Lazy'
λ> :i RWST
...
instance MonadState s m => MonadState s (Reader.ReaderT r m)
  -- Defined in `Control.Monad.State.Class'
...

您无法获取线路信息，它仅显示当前加载的模块，但这足以追踪实例。