Question

我在Haskell中创建了一个类型同义词：

Prelude> type Foo a = [a]

然后，我检查了它的类型：

Prelude> :t [5] :: Foo Integer
[5] :: Foo Integer :: Foo Integer

当然我知道Foo a是[a]的类型同义词，因为我刚刚写了它。

但是，如果我正在使用返回Foo Integer的库，我怎么知道Foo是什么？

我试了:t Foo但没有成功。

Answer 1

试试这个：:i Foo

:i提供有关绑定符号的信息 :t为表达式提供类型签名。（这就是为什么它不适合你 - Foo不是表达式，就像函数或值一样）。

示例：

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

以下是奖励信息：

:i对于ADT来说也很棒，它会给你构造函数+告诉你它们派生的实例（当然是从导入的模块中）。例如：

ghci> :i Bool
data Bool = False | True    -- Defined in ‘GHC.Types’
instance Bounded Bool -- Defined in ‘GHC.Enum’
instance Enum Bool -- Defined in ‘GHC.Enum’
instance Eq Bool -- Defined in ‘GHC.Classes’
instance Ord Bool -- Defined in ‘GHC.Classes’
instance Read Bool -- Defined in ‘GHC.Read’
instance Show Bool -- Defined in ‘GHC.Show’

它对于类型类也很棒，例如：

ghci> :i Monad
class Monad (m :: * -> *) where
  (>>=) :: m a -> (a -> m b) -> m b
  (>>) :: m a -> m b -> m b
  return :: a -> m a
  fail :: String -> m a
    -- Defined in ‘GHC.Base’
instance Monad Maybe -- Defined in ‘Data.Maybe’
instance Monad (Either e) -- Defined in ‘Data.Either’
instance Monad [] -- Defined in ‘GHC.Base’
instance Monad IO -- Defined in ‘GHC.Base’
instance Monad ((->) r) -- Defined in ‘GHC.Base’

并且，如上所述，也可用于功能：

ghci> :i id
id :: a -> a    -- Defined in ‘GHC.Base’

它几乎与:t完全相同，只是它会告诉你符号定义在哪个模块中。

那么为什么要使用:t？它更灵活。 :i仅适用于绑定符号。例如。 :t (+5)有效。 :i (+5)不是。

找出类型同义词的类型

1 个答案: