私は同じフィールド名を持つレコードのレンズを構築しようとしています。それと並んで、私はこれらのベースレコードを「ラップ/拡張」しようとしており、ラップされた/拡張されたレコードのために同じフィールド名を使用したいと考えています。どのように私は仕事に次のですか： -- Data types for context of the code snippet below
data Download =
私はMonadState s mが私にsを取得し、更新する能力を与えることを理解します。 しかし、私はこの状態がassignのようなレンズコンビネータで使用される状態にどのように関係しているのか分かりません。特に、レンズが複数のターゲットで動作できる場合。また、状態を必要としないsetのような単純な関数もあります。 これらの類似のコンビネータのそれぞれのユースケースは何ですか？
私は現在、特定の方法で論理形式を取り決めているコードを書いています。このの追求では、私はレンズを使用する次のコード、書かれている：次に {-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE Rank2Types #-}
module Logic.Internal.Formula where
import BasicPrelude hidin
{-# LANGUAGE TemplateHaskell #-}
import Control.Lens
data Fruit = Fruit
{ _fruitColor :: String
}
$(makeClassy ''Fruit)
data Fruits =
Banana Int Fruit
| Strawberry String
私はそれの穴にTraversableを持っている - このバイナリーツリー想像： ： - - [2, 4]その結果、私はまたして穴を埋めるために値のリストを持っている / \
/ \ Nothing
Just 1 /\
Nothing Just 3
を / \
/ \ Just 4
Just 1 /\
Just 2 Just 3
le