Есть ли способ увидеть определение Typeclass в ghci для определенного типа?
Например, Maybe
это определяется следующим образом:
instance Functor Maybe where
fmap f (Just x) = Just (f x)
fmap f Nothing = Nothing
Могу ли я увидеть это в ghci?
Когда, я использую :info
в ghci, я получаю это:
Prelude> :i Maybe
data Maybe a = Nothing | Just a -- Defined in 'Data.Maybe'
instance Eq a => Eq (Maybe a) -- Defined in 'Data.Maybe'
instance Monad Maybe -- Defined in 'Data.Maybe'
instance Functor Maybe -- Defined in 'Data.Maybe'
instance Ord a => Ord (Maybe a) -- Defined in 'Data.Maybe'
instance Read a => Read (Maybe a) -- Defined in 'GHC.Read'
instance Show a => Show (Maybe a) -- Defined in 'GHC.Show'
В приведенном выше представлении я хочу посмотреть, как он определяется в Data.Maybe как пример для Functor
. В любом случае, чтобы увидеть это в ghci?