умеет в линзы для F[_]?
Ситуация такая - у нас есть много scalacheck.Gen[..] и хочется что-нть такое чтобы смогло композировать эти гены друг с другом, а также переопределять некоторые параметры генерации.
Например у нас есть case class User(registerDate: Instant)
Есть ген userGen: Gen[User] = instantGen.map(User)
Хочется сделать такою линзу, которая могла бы менять registerDate внутри User внутри Gen[..].
В реальных кейсах вложенность registerDate гораздо больше - около 4-5.
Вообще может я чего-то не того хочу и есть альтернатива попроще. Тогда тоже было бы круто услышать.
Ровно эту проблему решаю простейшей либой quicklens.
А так вам не линзы нужны тут
Обсуждают сегодня