ghci

$ stack ghci

$ stack ghci --no-load

めちゃくちゃコマンドある

関数の情報を見る

:info hoge

以下のようなものを調べることができる

型

どのModuleで定義されているか

数値が大きいほど結合度が強い

どの型クラスに属するか

code:ex.prelude

:i $

($) :: (a -> b) -> a -> b -- Defined in ‘GHC.Base’

infixr 0 $

code:ex.prelude

:i <*>

class Functor f => Applicative (f :: * -> *) where

...

(<*>) :: f (a -> b) -> f a -> f b

...

-- Defined in ‘GHC.Base’

infixl 4 <*>

型の確認

:type

code:ex.prelude

:t length

length :: Foldable t => t a -> Int

:type +d

わかりやすく

code:ex.prelude

:t +d length

:type +v

より詳しく

code:ex.prelude

:t +v length

length :: Foldable t => forall a. t a -> Int

カインド

:kind

ファイルを読み込む

:load hoge.hs

リロード

:reload

browse

:browse Hoge.Hoge

moduleを引数を指定する

そのmodule内で定義されている識別子を表示する

つまり、そのmodule内で定義されている型や関数の型定義を表示する

終了

:quit

ヘルプ

:help

importしているモジュールの一覧

:show imports

code:ghci

f x = x + 10

f 3

13

f it -- it == 13

23

プロンプトの変更

:set prompt "> "

実行時間の計測, 使用メモリ量の計測

:set -XNoImplicitPrelude -XStrict

code:例

$ ghci -ddump-splices -XTemplateHaskell

<interactive>:1:3-39: Splicing expression

readMaybe <$> getLine >>= print |

======>

((readMaybe <$> getLine) >>= print)

moduleをimportしたときに、exportしていない関数もghci上で使いたい

ghciの起動時に拡張読み込むコマンドなかったっけ？