GHCi: comandi

di
  1. :, ripete l’ultimo comando eseguito
  2. :browse, elenco delle funzioni disponibili
    • :browse nomemodulo, elenco delle funzioni disponibili nel modulo
  3. :cd cartella, cambia la cartella di lavoro attuale
  4. :edit, apre l’ultimo file utilizzato con l’editor di default
    • :edit nomefile, apre il file con l’editor di default
  5. :h :help, elenco dei comandi disponibili
  6. :l :load nomefile
  7. :m : module
    • :m :module nomemodulo, carica il modulo
    • :m :module –nomemodulo, scarica il modulo
  8. :q :quit, chiude l’applicazione
  9. :r :reload, ricarica l’ultimo file caricato
  10. :set, visualizza le impostazioni attuali
    • :set +m, inserimento multilinea di comandi
    • :set +s, dopo l’esecuzione di un comando appare il tempo impiegato
    • …
  11. :set prompt stringa
    • “stringa”, scelta libera
    • %s>, il prompt standard (Prelude>)
    • %s, il modulo attualmente caricato (Prelude)
    • %t, 24 HH:MM:SS
    • %T, 12 HH:MM:SS
    • %@, 12 am/pm
    • %A, 24 HH:MM
    • %o, sistema operativo (…)
    • %N, nome del compilatore
    • %V, versione del compilatore
    • …
  12. :show, visualizza le impostazioni correnti

    • :show imports, elenco dei moduli attualmente caricati
    • :show modules
    • :show paths, visualizza la cartella di lavoro attuale
  13. :t :type espressione
  14. :unset +x, annulla l’impostazione specificata
    • :unset +m …
    • :unset +s …
    • …
  16. …