Oℕ
монадические линзы типа get: S => F[A], set : (S, B) => F[T] ?
Size: a a a
2020 May 05
AS
монадические линзы типа get: S => F[A], set : (S, B) => F[T] ?
Где оно такое есть?
Я чот такого в монокле не нашел(в доках).
Я чот такого в монокле не нашел(в доках).
Oℕ
В монокле такого и нет
ЮБ
Народ, привет.
Вопрос про линзы(такие как Monocle).
Есть ли какая-нть либа, которая умеет в линзы для F[_]?
Ситуация такая - у нас есть много scalacheck.Gen[..] и хочется что-нть такое чтобы смогло композировать эти гены друг с другом, а также переопределять некоторые параметры генерации.
Например у нас есть
Есть ген
Хочется сделать такою линзу, которая могла бы менять
В реальных кейсах вложенность registerDate гораздо больше - около 4-5.
Вообще может я чего-то не того хочу и есть альтернатива попроще. Тогда тоже было бы круто услышать.
Вопрос про линзы(такие как Monocle).
Есть ли какая-нть либа, которая умеет в линзы для F[_]?
Ситуация такая - у нас есть много scalacheck.Gen[..] и хочется что-нть такое чтобы смогло композировать эти гены друг с другом, а также переопределять некоторые параметры генерации.
Например у нас есть
case class User(registerDate: Instant)Есть ген
userGen: Gen[User] = instantGen.map(User)Хочется сделать такою линзу, которая могла бы менять
registerDate внутри User внутри Gen[..].В реальных кейсах вложенность registerDate гораздо больше - около 4-5.
Вообще может я чего-то не того хочу и есть альтернатива попроще. Тогда тоже было бы круто услышать.
Ровно эту проблему решаю простейшей либой quicklens.
Oℕ
Народ, привет.
Вопрос про линзы(такие как Monocle).
Есть ли какая-нть либа, которая умеет в линзы для F[_]?
Ситуация такая - у нас есть много scalacheck.Gen[..] и хочется что-нть такое чтобы смогло композировать эти гены друг с другом, а также переопределять некоторые параметры генерации.
Например у нас есть
Есть ген
Хочется сделать такою линзу, которая могла бы менять
В реальных кейсах вложенность registerDate гораздо больше - около 4-5.
Вообще может я чего-то не того хочу и есть альтернатива попроще. Тогда тоже было бы круто услышать.
Вопрос про линзы(такие как Monocle).
Есть ли какая-нть либа, которая умеет в линзы для F[_]?
Ситуация такая - у нас есть много scalacheck.Gen[..] и хочется что-нть такое чтобы смогло композировать эти гены друг с другом, а также переопределять некоторые параметры генерации.
Например у нас есть
case class User(registerDate: Instant)Есть ген
userGen: Gen[User] = instantGen.map(User)Хочется сделать такою линзу, которая могла бы менять
registerDate внутри User внутри Gen[..].В реальных кейсах вложенность registerDate гораздо больше - около 4-5.
Вообще может я чего-то не того хочу и есть альтернатива попроще. Тогда тоже было бы круто услышать.
А так вам не линзы нужны тут
AS
А так вам не линзы нужны тут
Возможно и не нужны. Просто это первое что пришло в голову при виде copy(... = copy(... = copy(... = copy(...))))
ЮБ
Возможно и не нужны. Просто это первое что пришло в голову при виде copy(... = copy(... = copy(... = copy(...))))
Попробуй quicklens
AS
Попробуй quicklens
гуглю )
Oℕ
Возможно и не нужны. Просто это первое что пришло в голову при виде copy(... = copy(... = copy(... = copy(...))))
не нужно гуглить quicklens
Oℕ
Вам достаточно Setter.fromFunctor[F, A, B]
Oℕ
Его можно скомпозить с линзами глубже
ЮБ
Это тоже линзы, но они куда проще моноклевских. Они скорее для таких ad hoc преобразований. Но это именно то, что нужно в генераторах и тестах
Oℕ
И получить Setter
Oℕ
То же самое в тофу - Update.byFunctor[F, A, B]
Oℕ
Фантастика наткнулся на баг, починенный в 2.13.2
GP
Фантастика наткнулся на баг, починенный в 2.13.2
это какой
Oℕ
Oℕ
Теперь нужно в идее чинить