LoginSignup
1
1

More than 5 years have passed since last update.

OverloadedStringsプラグマ

Posted at

自分がハマったのでメモ。

Data.Conduit.NetworkserverSettings関数は引数にHostPreferenceを要求するのだが、HostPreferenceのデータコンストラクタはData.Streaming.Networkからエクスポートされておらず使うことができない。Data.Streaming.Network.Internalを直接インポートすれば使えるが、とても見栄えが悪い。 Data.Conduit.Networkの説明には文字列("*"など)を引数に使うようなことが書かれているが、型エラーでコンパイルが通らない。

解決には、GHC拡張のひとつOverloadedStringsを使えばよい。プラグマ{-# LANGUAGE OverloadedStrings #-}をソースコードの冒頭に記述する。

この拡張は、コンパイル時にGHCが文字列の型エラーを検出すると、あるべき型がData.StringIsString型クラスのインスタンスであるとき、fromStringメソッドを暗に呼んで型を変換してくれる(したがって、fromStringメソッドを陽にインポートして使えば拡張を使わずとも実装できる)。

恥ずかしながらData.Streaming.Networkのエクスポートのミスだと思って作者のSnoyman氏に問い合わせたところ、1分で返事が来て解決した。Snoymanは神。

1
1
0

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
1
1