INLINE Pragma與類型組合

Question

給定以下代碼（從attoparsec庫複製而來）內聯編譯指示可以做什麼？我認爲只有fmapR纔是內聯的，但在其他Functor實例中定義的其他fmap是有意義的。

instance Functor (IResult t) where 
    fmap = fmapR 
    {-# INLINE fmap #-} 

Answer 1

內聯編譯指示將複製函數的內容（在這種情況下fmapR）到其中它被稱爲，如果編譯器可以證明所使用的算符是IResult的位置。

的功能不能在下面的情況下被內聯的，因爲fmap定義是不知道：

f :: Functor f => f Int -> f Float 
f = fmap fromIntegral 

然而，這裏，已知的是，因爲使用了一定函子，和功能可內聯：

f :: IResult Int -> IResult Float 
f = fmap fromIntegral 
-- rewritten to: f = fmapR fromIntegral; might be further inlined