phantom-types

3熱

1答えて

含まれる条件を使用してPhantomのListColumn [String]からデータを取り出す方法

私は、name_list extends ListColumn[String]とid extends StringColumn with PartitionKeyの列を持つCassandraテーブルDepartmentを持っています。私は、要求された名がNAME_LISTに存在しているIDを取得したいです。オペレータselect(_.id).where(name in name_list)でを

2熱

2答えて

ファントムのSetColumn [文字列]からフィールドを選択する方法

私はカッサンドラのテーブルDepartmentにカラムname_list extends SetColumn[String] with PartitionKeyとid extends StringColumn with PartitionKeyがあります。私は、要求された名がNAME_LISTに存在しているIDを取得したいです。私は以下のコードを使用してみましたが、どんな結果 abstract

0熱

1答えて

-Ywarn-unusedを使用する場合、Scalaでの解析からタイプ証拠パラメータを除外します。

などの型エビデンスパラメータを含むプログラムをコンパイルすると、-Ywarn-unusedがコンパイラに渡されたときに警告が発生することがあります。特に、ファクトムタイプを使用してエンコードされた制約を検証するためにタイプ証拠パラメータが使用される場合、この警告が発生する可能性があります。ここでは、ファイルのコンパイル例として、： https://github.com/hseeberger/de

0熱

1答えて

Phantom-DSLのContactPointとContactPoint

なぜPhantom-DSLにContactPointとContactPointが2つの異なる方法でConnectorに対応していますか？ ContactPointを使用している間、私はホストを使用して省略することができますかホスト文字列としてを持っていますが、私はここでポートを宣言することができます。 val default: CassandraConnection = ContactPoint(

-2熱

1答えて

ファントムタイプの引数に対してファントムタイプのインスタンスを比較するにはどうすればよいですか？

私は幻の種類があります。その後、a1 < a2MyType a1 < MyType a2場合 newtype MyType a = {getSth :: SthType} はどのようにして、すなわち、a1とa2比較の結果に関してMyType a1とMyType a2を比較することができますか？

3熱

3答えて

ファントムタイプの混乱？

私はファントムタイプを使用するより混乱している： type Words = String type Numbers = Int data NonPhantom = NP1 Words | NP2 Numbers deriving (Show) data Phantom a = P1 Words | P2 Numbers deriving (Show) nonPhantomFuncti

2熱

1答えて

コンパイルエラーが

この（やや無意味な）モジュールがコンパイルされます。私はfのインスタンスの定義を削除した場合、私はメソッドのデフォルトを継承することを期待する {-# LANGUAGE AllowAmbiguousTypes #-} {-# LANGUAGE ExplicitForAll #-} module Foo where class A t where f :: forall x m.

26熱

1答えて

はidrisの型を含む型でインデックスされています

私は現在Type-Driven Development with Idrisの本を使っています。第6章では、サンプルデータストアの設計に関する2つの質問があります。データストアは、コマンドラインアプリケーションで、ユーザーはその中に格納されているデータの種類を設定して新しいデータを追加できます。ここにコードの関連部分を示します（わずかに簡略化）。あなたはGithubの上full codeを見る

3熱

1答えて

逆シリアル化JSON配列と、私はのように見えるJSON持っタグに

を入力し、それを与える： [{"range": [1, 2]}, {"range": [2, 5]}] 配列内のオブジェクトはもちろんのrange以外の分野を持っているが、それは問題ではありませんが。開始点と終了点が自動的に包括的か排他的かを示す2つのファントム型を持つタプルにデシリアライズすることはできますか？これは、ファントムタイプのいくつかの種類のタプルに数値をデシリアライズすること