Comment puis-je afficher la définition d'une fonction en Haskell/GHCi?

Je suis en utilisant Haskell 2010.1.0.0.1 GHC 6. En tapant :t à la GHCi invite suivie par le nom d'une fonction qui nous montre le type de la fonction. Est-il un moyen pour afficher la définition de la fonction ainsi?

  • Mise à jour Novembre 2018: nous sommes actuellement à GHC 8.6 et que cette fonctionnalité n'est pas encore disponible.
InformationsquelleAutor franco hades | 2011-04-26
  1. 40

    Pas actuellement.

    Le plus proche de commande de ce que vous voulez est :info

    :info nom ...

    Affiche des informations sur le nom donné(s). Par exemple, si le nom est une classe, la classe des méthodes et de leurs types seront imprimés; si le nom est un constructeur de type, puis sa définition sera imprimé; si le nom est une fonction, puis de son type qui va être imprimé. Si le nom a été chargé à partir d'un fichier source, puis GHCi permettra également d'afficher l'emplacement de sa définition dans le source.

    Pour les types et les classes, GHCi résume également les instances qui en font mention. Pour éviter de diffuser des informations non pertinentes, un exemple est montré que si (un) sa tête mentionne le nom, et (b) toutes les autres choses mentionnées dans l'instance sont dans la portée (qualifiée ou non) en tant que résultat d'un :charge ou :module de commandes.

    comme suit:

    Prelude> :info ($)
($) :: (a -> b) -> a -> b   -- Defined in GHC.Base
infixr 0 $

    Vous pourrez, voir la source pour les identifiants générés par l'aiglefin de l'outil, sur le Hackage.

    1. Cherchez le module sur le Hackage
    2. Cliquez sur le lien source

    Note que "?src" est une commande valide dans lambdabot, sur la #haskell canal IRC, et fait ce que vous attendez.

    > ?src ($)
> f $ x = f x
    • Merci beaucoup. J'ai récemment commencé à apprendre Haskell et ne savent pas à propos de lambdabot. Cela fonctionne parfaitement bien comme une alternative.
    • hadès: je crois lambdabot peut également être installé localement, à partir de Hackage, de sorte que vous n'avez pas besoin d'être sur IRC pour l'utiliser (sauf si vous le souhaitez, #haskell est un joli canal).
    • Très cool — il également dit que vous pouvez incorporer lambdabot dans ghci! Les instructions ne sont pas très clair, cependant.
    InformationsquelleAutor Don Stewart
  2. 6

    Je ne le pense pas. Vous pouvez utiliser :i pour un peu plus d'informations (plus utile pour les opérateurs infixes et les données constructions, etc.), mais pas la définition:

    ghci> :i repeat
repeat :: a -> [a]       -- Defined in GHC.List

    Vous pouvez utiliser hoogle pour trouver rapidement la documentation pour une fonction de la bibliothèque standard, qui, sur le droit a un lien pour aller à la source. Il reste encore quelques clics si.

    InformationsquelleAutor luqui
  3. 6

    Non, ne peut pas faire ça. Certaines choses amusantes que vous, le Haskell débutant, peut faire:

    • Sur le code HTML haddock documents, cliquez sur "source"... l'étude de la source.
    • :browse à trouver toutes les définitions exportés par un module
    • Utilisation :help pour l'évidente raison
    • utiliser l'interface web de hoogle à la recherche pour les fonctions, ou installer hoogle localement!
    • ?
    • Profit!
    • :browse ne vous donne pas les définitions. Il vous donne la liste des fonctions du module et de leurs types.
    • Seriez-vous plus heureux si j'ai dit "tous les symboles" ou de niveau supérieur "définitions"? N'hésitez pas à modifier.
    InformationsquelleAutor Thomas M. DuBuisson