Cabal サンドボックスにプロジェクトがあります。使用したいパッケージがありますが、Hackage のパッケージは適していません。著者が Github に持っている私のニーズを満たす代替開発ブランチがあります。以下を使用して、以前にサンドボックスなしで開発ブランチをインストールしました。

このレポをサンドボックスにインストールしたいだけなら、明らかにそれはうまくいきません。

私のディレクトリ構造は次のように設定されています：

実行可能ファイルとライブラリの両方があります。私の build-depends には約 18 個のパッケージの依存関係があり、これはそのうちの 1 つです。だから私の質問：

1. 開発リポジトリをダウンロードしたら、どこに解凍すればよいですか?
2. 抽出したら、サンドボックスにビルド/インストールするにはどうすればよいですか?
3. すべて完了したら、.cabal ファイルを変更する必要はありますか?

Hackage サーバーhttps://github.com/haskell/hackage-serverのコピーをビルドして実行しようとしています。https://github.com/haskell/hackage-server/wikiの指示と、readme の指示に従いました。どちらを試しても、ghc 7.8.4 と cabal 1.22 でビルドしようとすると、次のエラーが表示されます。

また、最新の Haskell Platform を使用してみましたが、同じ失敗メッセージが表示されます。

これが現在の hackage-server の master ブランチのバグなのか、それとも ghc や cabal のインストール方法に関係があるのか​​、解決しようとしています。

編集: Ubuntu 14.04 リポジトリ haskell-platform (ghc 7.6.3、cabal 1.16) で再試行しましたが、同じエラーが発生します。

cabal install を実行すると、次の bash トランスクリプトが得られました。

http-enumerator に必要な多くのパッケージが利用できないと訴えているようです。プリントアウトの最後の行にある「Backjump」の意味がわかりません。

パッケージの依存関係を解決するにはどうすればよいですか?

ありがとう！

問題

Hackage をインストールしていましstring-conversionsた。ただし、以下のエラーで失敗します。

エラーログ

環境

Ubuntu GNOME: 14.10

ghc: 7.6.3

カバル: 1.20.0.2

をインストールしようとするcriterionと、依存している他のパッケージを再インストールしたいという問題が発生します。それらを再インストールすると、すべてが壊れます（私は試しました）。

さて、criterionこれ (あまりにも古い依存関係を使用している) と他のパッケージ (十分に更新されていない) のどちらが原因かをどのように判断すればよいでしょうか?

のハッキング記事にControl.Applicative欠陥を見つけたと思います。アプリカティブ ファンクターの法則の説明として、次のように述べています。

アプリケーションを備えたファンクター。純粋な式を埋め込む操作 ( pure) と、計算をシーケンス化し、それらの結果を結合する操作 ( ) を提供します<*>。

最小限の完全な定義には、次の法則を満たすこれらの関数の実装が含まれている必要があります。

身元

構成

準同型

交換

(これは fmap について何も述べていないことに注意してください)、これらの法則がFunctorインスタンスを決定すると述べています。

これらの法則の結果として、Functorf のインスタンスは次を満たします。

私は最初、これは明らかに間違っていると思いました。tつまり、次の 2 つの条件を満たす型コンストラクターが存在する必要があると推測しました。

1. tApplicative上記のルールを満たすインスタンスであり、
2. には 2 つの異なる実装があります(つまり、関手法則を満たすinstance (Functor t) 2 つの異なる function があります)。fmap1, fmap2 :: (a->b) -> (t a->t b)

上記が正しい場合 (およびその場合のみ)、上記のステートメントは次のように書き換える必要があります。

f の Functor インスタンスは、次を満たす必要があります。

これらの法律の結果として、これはFunctor法律を満たしています。

私の推測が正しいかどうかに関係なく、これは明らかに正しいです。

私の質問は:私の推測は正しいですか? t希望条件のはありますか？

以下は、この質問に自分で答えようとして思ったことの説明です。

私たちが実際の Haskell プログラミングに興味のない単なる数学者であれば、この質問に簡単に肯定的に答えることができます。実際には、

上記の要件 1 と 2 を満たしています (実際、ほとんど何でも可能です)。実際、は、 で定義されてIdentityいるように、自明にFunctorおよびのインスタンスです。(これは を満たします。) の別の「実装」を定義するには、型ごとに 2 つの関数を使用します。ApplicativeData.Functor.Identityfmap f = (pure f <*>)instance (Functor f)a

そのような

(これは、集合論的には簡単です)。今定義する

これはFunctor法則を満たし、自明なものとは異なる実装です。

そのような

しかし、Haskell でそれができるかどうかはまったく明らかではありません。次のようなものです：

Haskellで可能ですか？

編集

大事なことを書き忘れていました。私はGHCベースパッケージの一部として認識Control.Applicativeしているので、私の質問への答えが や などのGHC言語拡張で変わるかどうかにも興味がありますが、FlexibleInstancesまだOverlappingInstances理解していません.

だから私はここに座って、なぜ私が探している機能が見つからないのだろうと思っています.インストールしたパッケージのバージョンには存在しないことがわかりました.

では、Hackage にその機能が追加されたバージョンを教えてもらうにはどうすればよいでしょうか?

(特に、Cabal の説明で正しいパッケージ境界を指定できるようにします。)

Hackage は、ライブラリ セクションとすべての実行可能セクションの依存関係の結合を示していますfalse。

指定することで問題が解決すると主張する、この古くておそらく修正されたバグcabal >= 1.18を見つけただけですが、そうではないようです。

パッケージに実行可能セクションが含まれている場合、ハックがライブラリ セクションの依存関係のみを表示するにはどうすればよいですか?

これが私に問題を与えているパッケージです。

現在、テキストを文字列に変更してから、Text.Regex.Posix を使用してマッチングを行っています。Yesod で正規表現を行う慣用的で効率的な方法はありますか?