Ответ 1
В настоящее время нет.
Ближайшая команда к тому, что вы хотите, :info
: имя информации...
Отображает информацию об имени (именах). Например, если имя является классом, тогда будут напечатаны методы класса и их типы; если имя является конструктором типа, тогда его определение будет напечатано; если имя является функцией, то его тип будет напечатан. Если имя было загружено из исходного файла, тогда GHCi также отобразит местоположение его определения в источнике.
Для типов и классов GHCi также суммирует экземпляры, которые упоминают их. Чтобы избежать появления нерелевантной информации, экземпляр отображается только в том случае, если (а) его глава упоминает имя и (б) все другие вещи, упомянутые в экземпляре, находятся в области (либо квалифицированной, либо иной) в результате: нагрузки или: команды модуля.
так:
Prelude> :info ($)
($) :: (a -> b) -> a -> b -- Defined in GHC.Base
infixr 0 $
Однако вы можете увидеть источник для идентификаторов, сгенерированных инструментом пикши, в Hackage.
Обратите внимание, что "? src" является допустимой командой в lambdabot, на IRC-канале #haskell и делает то, что вы ожидаете.
> ?src ($)
> f $ x = f x