data QueryParam（sym :: Symbol）a - それはどういう意味ですか？

Question

私はHaskellのコードでこれを見てきました：

data QueryParam (sym :: Symbol) a 

これは何を意味するのでしょうか？コンストラクタはどこですか？拡張子を持たない有効なコードですか？

Answer 1

はい、これはコンストラクタのないデータの宣言である - それはだ - このような宣言は、タイプQueryParamは親切タイプSymbol

のそれは、タイプレベルで動作情報で使用されてを持っていることを示していますdata QueryParam a = QueryParam Symbol aに匹敵しますが、値レベルではなくタイプレベルです。