GHC API を使ってある型コンストラクタのデータコンストラクタを得る

Haskell GHC

neco-ghc などで，Haskell 用の補完候補をより正確に計算するときに活用できないかなーと思った． GHC 7.0.3 で試した．あるモジュールがエクスポートしている名前は modInfoExports でとれる．そのモジュールで定義されていれば modInfoTyThings で TyThi…

2010-11-14

GHCi.vim

Vim GHC

inf-haskell.el から最低限の機能を抜き取ったかんじの Vim script 書いた． https://github.com/eagletmt/ghci-vim 使い方としては l でファイルをロードした後に，t で型を見たり i で info を見たり． vimproc のおかげで Vim からプロセスと会話できる．…

2010-08-08

GHC API でモジュールが export している名前とその型を得る

Haskell GHC

./BrowseType Prelude のように使うと (snip) break = forall a. (a -> GHC.Bool.Bool) -> [a] -> ([a], [a]) catch = forall a. GHC.Types.IO a -> (GHC.IO.Exception.IOError -> GHC.Types.IO a) -> GHC.Types.IO a ceiling = forall a. (GHC.Real.RealFra…

2010-05-09

ここの型を知りたい

Haskell GHC

こんなかんじに使う． % echo 'length x' | ./hint [a] % echo 'x + 1' | ./hint (GHC.Num.Num a) => a % echo 'foldl x 0 [2,3]' | ./hint (GHC.Num.Num a, GHC.Num.Num b) => a -> b -> a % echo 'nub x' | ./hint Data.List (GHC.Classes.Eq a) => [a]元…