GHCi - herp-technote

GHCi

これは何？

GHC の対話型環境

ドキュメント

Tips

モジュールのインポート (:m)

code:import.hs

:m +Herp.DomainObjects -- インポート

:m -Herp.DomainObjects -- scope から消す

:m +*Herp.DomainObjects -- module から export されてないものも読み込む

束縛の一覧を表示 (:show bindings)

code:haskell

x = 42

y = "Hello, world!"

:show bindings

x :: Num p => p = _

$trModule :: GHC.Types.Module = _

y :: Char = _

モジュールで定義されている諸々を見る

code:haskell

:browse Data.Void

data Data.Void.Void

Data.Void.absurd :: Data.Void.Void -> a

Data.Void.vacuous :: Functor f => f Data.Void.Void -> f a

ドキュメントを読む (:doc)

code:haskell

:doc (>>=)

Sequentially compose two actions, passing any value produced

by the first as an argument to the second.

参考リンク