在 haskell 中查找类型同义词

Look up type synonyms in haskell

有没有办法查询类型同义词的实际含义?是否有一些 GHCi 命令可以用来查看给定类型是否是其他类型的同义词?

是的,在 GHCi 中您可以使用 :info:

Prelude> :info String
type String = [Char]    -- Defined in ‘GHC.Base’
Prelude>

编辑和更多示例,包括 non-alias 示例:

Prelude> :info Rational
type Rational = GHC.Real.Ratio Integer  -- Defined in ‘GHC.Real’
Prelude> :i Double
data Double = GHC.Types.D# GHC.Prim.Double#
        -- Defined in ‘GHC.Types’