@hackage / typeof

Small script for inferring types

Latest0.1.2

About

Metadata

  • Last updated , by KangyuanNiu
  • License BSD-3-Clause
  • Categories Development

  • Maintained by: Don Stewart, Kangyuan Niu

  • Lottery factor: 0

Links

Installation

Package Flags

Use the -f option with cabal commands to enable flags

    small_base (on by default)

    Choose the new smaller, split-up base package.

Readme

typeof: a script for inserting Haskell types in source code

== Building ==

runhaskell Setup.lhs configure
runhaskell Setup.lhs build
runhaskell Setup.lhs install

== Use ==

The script accepts two inputs:

command line argument 1: the file name to look in. stdin: the line containing the top level type declaration who's type you

the output is the type declaration for the value you requested, which can be spliced back in to your source file.

VIM:

You can run the script from vim directly by adding the following to your .vimrc file:

:map ty yy:.!typeof -fbang-patterns %^Mp

Now, when you position your cursor over a top level declaration, hitting:

:ty

will insert the type declaration on the line above the one the cursor is on.

EMACS:

In emacs add the following to your .emacs.el file:

(global-set-key (kbd "C-c t") (lambda () (interactive) (progn (save-buffer) (move-beginning-of-line nil) (call-process-region (line-beginning-position) (line-end-position) "typeof" nil t nil (buffer-file-name)))))

Then you can use C-c t to run insert the type declaration.

== Author ==

Don Stewart http://www.cse.unsw.edu.au/~dons Fri Dec 15 18:02:39 EST 2006