INLINE Pragma w połączeniu z klasami typów

Question

Biorąc pod uwagę następujący kod (skopiowany z biblioteki attoparsec), co robi wbudowana pragma? Przypuszczam, że sensowne jest, aby tylko fmapR było wstawione, ale nie inne, które są zdefiniowane w innych instancjach Functor.

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

Answer 1

Inline Pragma skopiuje zawartość funkcji (w tym przypadku fmapR) do miejsca, w którym jest on nazywany, jeśli kompilator może udowodnić, że funktor używany jest IResult.

funkcja nie może być wstawiane w poniższym przypadku, ponieważ definicja fmap nie jest znana:

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

Tutaj jednak jest znane, gdyż pewna funktor jest używany, a funkcja może być inline:

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