$（...）と[|テンプレートのHaskell関数を使うときは... |]構文ですか？

Question

私はTemplate Haskellを学ぼうとしています。練習として、私はisLeftとisRightのようなものを生成する関数を書いた（this questionに触発されている）。

isA connam = do 
    ConE nam <- connam 
    nn <- newName "p" 
    lamE [varP nn] $ caseE (varE nn) [ 
         match (conP nam [wildP]) (normalB [| True |]) [], 
         match wildP (normalB [| False |]) [] 
        ] 

問題は、私が代わりにisA Leftより直感的なの$(isA [| Left |])を書かなければならないということです。ここに私の謙虚な試みです。醜い構文を取り除くことは可能ですか？私はドキュメントでその答えを見つけることができないようです。

この関数は引数が1つのコンストラクタでのみ機能しますが、これはanother questionです。

Answer 1

理由のために構文があります。ここでコンパイル時の魔法があることを読者に知らせる。スプライスが最上位にある場合にのみ$(...)を削除することができます。

しかし、我々は[| ... |]をなくすことができ、また、タイプセーフなコードよりName代わりExpの取り込みにより行います

isA nam = do 
    nn <- newName "p" 
    lamE [varP nn] $ caseE (varE nn) [ 
         match (conP nam [wildP]) (normalB [| True |]) [], 
         match wildP (normalB [| False |]) [] 
        ] 

これを使用するには、ある$(isA 'Left)を、書きたいです目の上で少し簡単。

ボーナスとして、Name以外のものを指定しようとすると、反駁不能なパターンマッチエラーではなくタイプエラーが発生します。

も参照してください。Template Haskell Syntax