問題タブ [arrows]

xスクロールバーの軸に矢印を追加しようとしています。これyが私のスクロールバーです:http: //jsfiddle.net/Nk3NH/ そして、2つの軸にこの矢印(画像)が必要です: http://i.imgur。 com/ygGobeC.png上下ではなく 、そのような矢印を追加するコードを探しています。

map4便利そうに見えるという理由だけで、このような関数を書きました。

先に進む前にmap8、標準モジュールに似たようなものがあるかどうか尋ねたいと思いました。Hayoo は、上記の署名を持つ関数を知らないようです。

注：Control.Arrow.&&&上記を次のように削減することはすでにわかっています。

しかし、ファンアウトが 2 つを超える場合、同様の機能はないようです。

一次制約とは

最初に、矢印に対する 1 次制約の意味を説明します。矢印の desugar の方法により、矢印 do 表記で矢印コマンドが予期される場合、ローカルにバインドされた名前を使用することはできません。

以下に例を示します。

proc x -> f -< x + 1desugar は to にarr (\x -> x + 1) >>> f、同様proc x -> g x -< ()に desugar toarr (\x -> ()) >>> g xになります。ここで、2 番目xは自由変数です。GHC ユーザーガイドはこれを説明し、矢印がモナドでもある場合、インスタンスを作成してこれを回避するためにArrowApply使用できると述べていますapp。のようなものが にproc x -> g x -<< ()なりarr (\x -> (g x, ())) >>> appます。

私の質問

Yampa は、accumHoldこのタイプの関数を定義します: a -> SF (Event (a -> a)) a. 矢印のこの一次制限により、次の関数を書くのに苦労しています。

上記の定義nは、脱糖後にスコープ外であるため機能しません。

または、同様に、ペアの最初の部分がにSF渡される初期値であることを意味するこの関数accumHold

私が見逃しているコンビネーターやトリックはありますか? それとも、ArrowApplyインスタンスなしでこれらの定義を書くことはできませんか?

tl;dr: yampa でaccumHoldNoiseR :: (RandomGen g, Random a) => (a,a) -> g -> SF (Event (a -> a)) aorを定義することは可能ですか?accumHold' :: SF (a,Event (a -> a)) -> a

注:ArrowApply forのインスタンスはありませんSF。私の理解では、定義することも意味がありません。詳細については、「アローを使用したプログラミング」を参照してください。

スクロールバーを保持し、矢印でのみスクロールをオフにしたい..

div に挿入してから、 first.. 内のoverflow: scroll2 番目の div に挿入しようとしまし たが、機能しませんoverflow: hidden

*アイデアはありますか? *

したがって、質問を 4 つの部分に分けますが、最初にいくつかの背景を説明します。

Monads には比較的慣れていますが、Arrows にはあまり慣れていません。私が彼らに抱えている主な問題は、それらが何に役立つのか分からないことだと思います。正式に正しいかどうかは別として、モナドは計算から副作用を導入できるツールであると理解しています。プログラムのフラグメントを純粋な値から他のアクションでボックス化された値に一般化するため。矢について学ぶための散弾銃の「すべての論文を読む」アプローチから、私は2つの相反する視点に出くわしました。

A. アローはモナドよりも強力です/モナドの一般化です。haskell wiki は、「モナドができることはすべて、それ以上のことを行うことができます。静的コンポーネントを持つモナドにほぼ匹敵します。」で始まります。

B. アローはモナドのサブセットである ArrowApply でモナドを定義できる

1. 視点Aに真実はありますか？
2. 矢印にはどのような機能がありませんか。その違いは合成に関係していると読んだことがあります。
3. アプリは正確に何をしますか? そのタイプには (->) さえありません
4. モナドに適用可能な矢印を使いたいと思うのはなぜでしょうか?

私は、矢印を使用するいくつかの Haskell コードのよりコンパクトなバージョンを作成しようとしています。

xml をタプルのリストに変換しようとしています。

tx2 を実行すると、[("Item 1","Item One",["p1_1","p1_2","p1_3"]),("Item 2","Item Two",["p2_1","p2_2") が生成されます。 ])]

私が持っているコードは機能しますが、runLA 呼び出しをそれほど多く使用する必要はないと考えずにはいられません。getDesc、getDisp、getPlistのそれぞれに対して runLA を呼び出します。

簡略化するためにprocとdo表記を使用できるのではないかと考えました

しかし、次のように tx2 を書き直そうとすると:

それはすべて大きな山に落ちます。

proc/do 表記への変換で何が欠けていますか?

ありがとう。

Netwire を試すために、ライブラリを使用して Pong を実装しています。コードには、ボール ワイヤとコンピュータ パドル ワイヤがあります。それらはいくつかの値で相互に依存しているため、無限ループの問題が発生しています。説明する擬似コード:

注目すべきことは、それらがお互いを入力として取っていることです。私は次のことを行うことでこれを軽減しようとしました：

これらの2つのワイヤで関数を使用する他のバリエーションdelayですが、<<loop>>実行時エラーが発生します。

このシステムが機能するように、ワイヤの 1 つを初期化するにはどうすればよいですか?

私がやりたいことは、方向に従って左と右のナビゲーション矢印をクリックして、div を画面上で順番にスライドさせることです。右矢印をクリックすると、画面上で div が右から左にスライドし、正常に動作します。左矢印のコードがわかりません。そのため、div は画面上で反対方向の左から右にスライドします。ここにフィドルがあります：http://jsfiddle.net/ykbgT/6696/

別の質問Slide divs off screen using jQuery + added navigation arrowsが回答済みとしてマークされていますが、回答ではナビゲーション矢印の機能の詳細は示されていません。

コードは次のとおりです。

HTML

CSS

ジャバスクリプト