ハスケルの角括弧は何ですか？

Question

私はこれらのシンボル[|....|]の構文は何ですか？Indexed Monad

{-# LANGUAGE QuasiQuotes #-} 
import Control.Monad.Indexed.State 
import Control.Monad.Indexed 
import Language.Haskell.IndexedDo 

hoge :: IxState Int [Int]() 
hoge = [ido|do 
    imodify (*10) 
    imodify show 
    imodify reverse 
    imodify (++"123") 
    imodify $ map fromEnum 
    |] 

に以下のコードを読んで

シンタックスシュガーとは何ですか？

Answer 1

これはquasiquotationの構文です。 wiki pageも参照してください。 [ido|と|]の間のテキストは、そのままquasiquoter idoに渡され、コンパイル時にいくつかのHaskellコードが生成されます。