3 ms·
You can find all the instances of a typeclass by loading all your libraries into GHCi and then using the :i command: λ> :i Monoid class Monoid a where
by tikhonj 9y ago
You can find all the instances of a typeclass by loading all your libraries into GHCi and then using the :i command:
λ> :i Monoid
class Monoid a where
mempty :: a
mappend :: a -> a -> a
mconcat :: [a] -> a
{-# MINIMAL mempty, mappend #-}
-- Defined in ‘GHC.Base’
instance [safe] (Monoid a, Monoid b) => Monoid (a :<|> b)
-- Defined in ‘Servant.API.Alternative’
instance [safe] Applicative f => Monoid (Traversed a f)
-- Defined in ‘Control.Lens.Internal.Fold’
instance [safe] Monad m => Monoid (Sequenced a m)
-- Defined in ‘Control.Lens.Internal.Fold’
... etc ...
- tome 9y agoI don't think that will work in this case. After all, that's essentially what Haddock does to generate its pages. The problem is that the Postable instances are orphans, for some reason which eludes me.