haskell - Haskell -- 新しい 4 引数の準クォーターの使い方

Question

準クォーター構文が変更され、4 つの引数を受け入れるようになったようです [リンク]。誰かもう使った？ありがとう。本当に単純なものを構築したいだけで、Web 上の例は現在機能しません。

前もって感謝します。

Answer 1

の各部分はQuasiQuoter、文字列 (準引用符の内容) を受け取り、適切な値をQモナドに返す単なる関数です。quasiquoter がこれらのコンテキストの一部での使用をサポートしていない場合は、エラーを返します。たとえば、次のようになります。

someQuoter = QuasiQuoter { quoteType = const $ fail "type context unsupported" 
                         , -- etc ...
                         }

failメソッドが を呼び出し、report Trueコンパイラ エラーが発生します。これはほとんど正しい動作です。

Answer 2

基本的に変更点は、(式とパターンに加えて) 型と宣言の準引用符を作成できるようになったことです。

error "This quasiquoter doesn't support splicing types/declarations"それらを使用したくない場合は、型/宣言フィールドを に設定しても問題ありません。