lens

-2熱

1答えて

レンズを使用し始めていますが、今まで私が書いているコードベースの具体的な部分では使用できませんでした。私の目的は、既存のものの1つの中に新しいノードを追加することによって、Data.Treeにあるようなバラのツリー構造を更新することです。それはそのようになりますので、そうするために、私は、それが一意のIDと各ノードを識別するために理にかなっていることを考えた： type MyTree = Tree

0熱

1答えて

Control.Lensを使用して関数を正しくフォーマットするにはどうすればよいですか？

私は現在、ライブラリを使って簡単な関数を書くことによってレンズライブラリを学習しています。残念なことに、私はコンパイラのエラーが生成されて混乱しているので、以下の関数dmgの最初の2つの関数は正しくコンパイルされますが、最後は失敗するのはなぜですか？ import Control.Lens type Health = Int type Damage = Int data Card = C

1熱

1答えて

APIとのインターフェイスのためのHTTPレンズ？

私は、ハスケルとの勢いを拾い始めて、lensのような私が毎日実行する抽象を愛しています。私は、REST APIレンズを使用すると便利ですが、時間がかかりそうでないことを見つける前に、それは可能ですか？私が見る大きな問題は（私のレンズの構文は、おそらく間違っている）私は直接、データ構造にアクセスするが、要求された文字列を出力していないよということです。 λ> over (user "robert

1熱

1答えて

OpenGLのカメラレンズ歪み

私のSLAMプロジェクトのレンズ歪み効果をシミュレートしようとしています。スキャンされたカラーの3D点群は既にOpenGLで与えられ、ロードされています。私がしようとしているのは、2Dシーンを与えられた姿勢でレンダリングし、魚眼カメラからの実際の画像とレンダリングされた画像の間にいくつかの視覚的オドメトリを行います。レンズの歪みがひどいため、レンダリング段階でも考慮する必要があります。問題

1熱

2答えて

レンズを状態値そのものに定義する方法は？

ことでレンズのStateモナドと使用を理解しようと、私はシンプルなカウンタのレンズの驚くほど平凡な定義に到着したものの： self :: ASetter s s s s self = ($) incrementUsingLens :: State Int() incrementUsingLens = self %= (+1) 私の場合は type ASetter s t a b = (

9熱

2答えて

最後の要素を越えたトラバース "

トラバースをフィルタリングし、最後に使用する要素をoverで選択します。（実際にはコンパイルされます） [1,2,3,4] & traverse . filtered even . _last +~ 10 > [1,2,3,14] 何か考えですか？ P.S. filteredは、トラバーサルの要素数に影響しない場合にのみ有効です。私が実行している実際の使用例は、ある述語に一致する再帰的な

1熱

3答えて

「たぶん」のレンズをどのように構成するのですか？

各レンズがMaybeを返すネストされたレコードのレンズを持っている場合、どのようにしてそれらを合成することができますか？ "トラバーサル"の何かがNothingを返した場合、最終結果はNothingですか？ data Client = Client { clientProperties :: Maybe Properties , ... } data P

4熱

1答えて

タイプファミリーはRankNタイプを返すことはできません - 回避策または代替案？

私は拡張可能なレコードライブラリで遊んでいますが、私は、Symbolキーがキーのリストにあるかどうかに基づいてLensまたはTraversalのいずれかとして機能する関数fieldを書きたいと思っています。型家族が与えられます。 type family LensOrTraversal key keys s t a b where LensOrTraversal key '[] s t a