MK
(a ~ a2, a ~ a3, b ~ b2, b ~ b3) => Each (a, a2, a3) (b, b2, b3) a bSize: a a a
2020 December 23
MK
и тд
MK
traverse для тупла сделает не то)
YS
просто вот такая шутка
хочу
( notification ^. #name . coerced
, notification ^. #description . coerced
, notification ^. #recipient . #workerId . coerced
)
хочу
coerced вынестиMK
не выйдёт, у него разные типы же
YS
а, блин
YS
точно
MK
ну или ты можешь весь тупл коерснуть
YS
х(
YS
хммм
YS
точно же
YS
да, что-то я туплю
к
если этот тупл содержит все-все поля, то можно #_X взять, правда уже не линза будет
notification ^?! #_Notification . coerced
при условии что Notification это единственный конструктор
data X = X {a :: Int, b :: Double} deriving (Generic)
y = X 1 2 ^?! #_X . coerced :: (Sum Int, Product Double)
notification ^?! #_Notification . coerced
при условии что Notification это единственный конструктор
data X = X {a :: Int, b :: Double} deriving (Generic)
y = X 1 2 ^?! #_X . coerced :: (Sum Int, Product Double)
YS
сколько всего в этих ваших линзах(
A
сколько всего в этих ваших линзах(
Так наоборот радоваться надо
YS
Так наоборот радоваться надо
сколько всего в этих ваших линзах)
A
сколько всего в этих ваших линзах)
Во, так лучше