In ghci è possibile eseguire il comando :info
per informazioni sui metodi definiti su una classe di tipi, nonché per vedere le istanze di tale classe di tipi.ghci mostra solo i metodi typeclass
Ad esempio, :info Eq
uscite
class Eq a where
(==) :: a -> a -> Bool
(/=) :: a -> a -> Bool
-- Defined in `GHC.Classes'
così come molte linee di istanze
instance (Eq k, Eq a) => Eq (Map k a)
-- Defined in `containers-0.5.0.0:Data.Map.Base'
instance Eq a => Eq (Maybe a) -- Defined in `Data.Maybe'
...
C'è un modo, in ghci, ad appena uscita i metodi definiti nella classe tipo senza anche l'output di tutte le istanze? In altre parole, vorrei che un comando ghci producesse solo questo:
class Eq a where
(==) :: a -> a -> Bool
(/=) :: a -> a -> Bool
-- Defined in `GHC.Classes'
No. Mi dispiace per quello Se c'è un problema più grande che stai cercando di risolvere con questa richiesta, forse c'è un altro modo per risolverlo con cui possiamo aiutarti. – luqui
Grazie. Davvero, volevo solo più controllo sull'output di ': info'. Ci sono spesso molte istanze, ea volte è difficile trovare le informazioni sulla classe tra tutti gli output. Contrassegnerò una risposta "no" come corretta, se vuoi inviare una risposta. – apolune