問題タブ [haskelldb]

postgresqlConnectモジュールの関数を使用Database.HaskellDB.HDBC.PostgreSQLして PostgreSQL データベースに接続する方法がよくわかりません。Haddock のドキュメント ページには、型シグネチャのみが記載されています。

あるべきものは何aですか？

を使用して PostgreSQL サーバーに接続するにはどうすればよいpostgresqlConnectですか?

次の（PostgreSQL）テーブル定義があるとします。

そして、次のレコード定義：

データベース内のすべての本をクエリする「マップ解除」関数の基本的な例は何allBooks :: Database -> IO [Book]ですか？

私は 6 種類のエンティティを持つスキーマを持っていますが、それらには多くの共通点があります。おそらく、この共通性の多くを型レベルで抽象化できると考えましたが、HaskellDB と重複するインスタンスで問題が発生しました。これが私が始めたコードで、うまくいきます：

これは問題なく機能しますが、branch具体的すぎます。私が実際に表現したいのは次のことです。

ただし、この変更により、次のエラーが発生します。

私はやみくもにこれを投げよう-XOverlappingInstancesと-XIncoherentInstancesしましたが、それは役に立ちません(そして、具体的な型を型変数に置き換えるとこれが非常に問題になる理由を実際に理解したいと思います)。

どんな助けやアドバイスも大歓迎です！

データベースを照会するためのより強力なツールが必要なため、haskelldbのより強力なコンパニオンとして調べ始めたところです。persistentほとんどすぐに、データ型に関する問題に遭遇しました。特に、私もData.Text非常に広範囲に使用しており、UTCTimeいくつかのカスタム データ型も使用しています。残念ながら、HDBC はこれらのデータ型を非常にうまくサポートしているように見えますが、haskelldb はこれらすべてを隠しており、String入力から始まる独自の変換を作成する必要があります。

HDBC のために既に行われた作業を複製したくありません。この場合、何をすることをお勧めしますか?

HDBC インフラストラクチャを活用する単純なインスタンスを記述できるように、おそらくクラスに属性getHdbcValueを追加すると思います。より良いアイデアはありますか？明らかな何かが欠けていますか？GetInstancesGetValue

（ところで：このライブラリは、おそらく歴史的な理由から、少し一般化されすぎているように思えます。hdbcをサポートすることはできませんでした..？）

三項論理表を作成し、 を呼び出す演算子用に独自の関数を作成したいと考えています<=>。

たとえば、私はこれをやりたいのですが、それは正しくありません。これを行う正しい方法は何ですか？

現在、私は次のようなものを使用しています。

これは問題なく動作しますが、「Col1」を主キーにします。生のSQLに戻る必要がありますか？

編集：これはまだ当てはまるようです：「Haskell自体からデータベースを作成する部分はあまり役に立ちません。たとえば、外部キーと主キー、インデックス、制約を表現することはできません。最も単純なデータベースでも、これらのいずれかが必要になります。」

http://www.mijnadres.net/published/HaskellDB.pdfから

私はいくつかの Python スクリプトを haskell に移植しようとしています。スクリプトは、非常に便利な既存の DB スキーマからモデルをリバース エンジニアリングできる sqlalchemy(ORM) を使用します。Haskell に同じことができるライブラリがあるかどうかはわかりません。haskelldb には ORM のようなアプローチがあると思うので、リバース エンジニアリングもできるかどうか疑問に思っていました。haskelldb 以外の別のライブラリであってもかまいません。リバース エンジニアリングができれば、多くの時間を節約できます。

私はHaskellが初めてです。私は LYAH と RWH のほとんどを読み、いくつかの小さなプログラムも実行しました。いいえ、Oracle DB で Haskell を使用したいと思います。HDBC.ODBC で HaskellDB を使用したいと考えています。

HDBC 経由で DB に接続し、クエリを実行できました。しかし、HaskellDB と ODBC 経由で接続する方法がわかりません。例が見つかりません。