typespecにset（）の型を指定できますか？

Question

私はすなわち、ちょうどセットで型を指定したいと思います。：

-type itemset() :: set(integer()). 

はErlangでその可能ですか？

好奇心が強い。

Answer 1

セットはErlangのプリミティブ型ではないため、プリミティブ型仕様はありません。しかし、そのような型を定義してエクスポートするモジュールがあれば、それを別のモジュールから参照することができます。例えば

、あなたが参照しているセットは、あなたはこのようにそれを使用することができ、stdlibのsetsモジュールで定義されたものであれば：

-type itemset() :: sets:set(integer()). 

注setsモジュールへの参照。

の独自定義を-typeと-export_type（モジュール外のタイプが必要な場合）を使用して作成することもできます。セクション7.3を参照してください。http://erlang.org/doc/reference_manual/typespec.html これで、setsを、自分の定義がset()のモジュールに置き換えます。