查詢有關中綴運算子的資訊

因為在 Haskell 中中綴很常見,所以你經常需要查詢它們的簽名等等。幸運的是,這和任何其他函式一樣簡單:

  • Haskell 搜尋引擎 HayooHoogle 可以用於中綴運算子,就像在某些庫中定義的任何其他東西一樣。

  • 在 GHCi 或 IHaskell 中,你可以使用:i:ti nfo 和 t ype)指令來了解運算子的基本屬性。例如,

    Prelude> :i +
    class Num a where
      (+) :: a -> a -> a
      ...
          -- Defined in ‘GHC.Num’
    infixl 6 +
    Prelude> :i ^^
    (^^) :: (Fractional a, Integral b) => a -> b -> a
          -- Defined in ‘GHC.Real’
    infixr 8 ^^
    

    這告訴我^^+繫結得更緊密,兩者都將數值型別作為它們的元素,但是^^要求指數是整數而基數是分數。
    較簡潔的:t 要求操作符在括號中,如

    Prelude> :t (==)
    (==) :: Eq a => a -> a -> Bool