言語拡張を「隠す」ことは可能ですか？

Question

私はモジュールを作成しました。モジュールがインポートされるメインコードを実行するには、言語拡張子が{-# LANGUAGE OverloadedStrings #-}である必要があります。もちろん、コンパイル時にオプションを指定する必要があります。

モジュールに{-# LANGUAGE OverloadedStrings #-}を含めると、これはうまくいきません。ユーザーはコードでもコンパイルする必要があります。

エンドユーザーからこの問題を解決するために、実際のモジュールで「何か」できることがありますか？また、必要な言語拡張子を「隠す」ことができますか？

Answer 1

いいえ、ライブラリでは、言語拡張が必要な​​機能が公開されています。これはあなたの文書や例で述べるべきことです。それをユーザーコードで有効にする方法はありません。

Answer 2

-XOverloadedStringsはであり、決してであることに注意してください。すべての拡張機能は、大まかに言えば、"I'm a string"をfromString "I'm a string"に変換します。拡張機能がなければ、ユーザーはいつでも同じことをすることができます。