二重の感嘆符の使い方は何ですか？ Data.ByteString.Internalで

Question

は、延ByteStringはコンストラクタ

PS !!(ForeignPtr Word8) !!Int !!Int 

これらの二重叫び声がここで何を意味していますか？私は検索して、ちょうどそれを得ました（!!）は、リスト(!!) :: [a] -> Int -> aをインデックスするために使用することができます。

Answer 1

これは実際のHaskellソースではなく、Haddockがボックス化されていないデータ型をレンダリングする方法の（文書化されていない）機能です。

2009年1月21日ステファン・フリードリッヒ< ...>：https://mail.haskell.org/pipermail/haskell-cafe/2009-January/054135.htmlを参照してくださいハドック-2.4.1と、このファイルを使用して

こんにちは、

：

module Test where 

data Test 
    = NonStrict Int 
    | Strict !Int 
    | UnpackedStrict {-# UNPACK #-} !Int 

生成されたドキュメントは次のようになります：

data Test 
Constructors 
NonStrict Int 
Strict !Int 
UnpackedStrict !!Int 

「！最後のコンストラクタでこれは、 の動作を意図したものではありませんか？

これは、GHCがボックス化していないタイプをかなりプリントする方法です。そのため、Haddock は同じ規則に従うべきだと思いました。おそらくHaddockは、ドキュメントの言語拡張について の章を、GHCのドキュメントへの参照は としているはずです。そうすれば、使用言語は少なくとも文書化された になります。しかし、このケースでは "!!" はおそらくそこに記載されていません。

おそらく、 実装の詳細なので、unbox注釈を表示しないでください。私たちは1つの "！"代わりに、引数がstrictであることを示す を示します。

デビッド