R
наверное нема логабле для рефайнед хуйни
но почему так если я зделал import tofu.logging.refined._
Size: a a a
2020 June 25
ᛒ
но почему так если я зделал import tofu.logging.refined._
а че там в составе
R
а че там в составе
import eu.timepit.refined.api.RefType
import eu.timepit.refined.api.RefType.ops.toRefTypeOpspackage object refined {
implicit def deriveRefinedLoggable[T: Loggable, P, F[_, _]: RefType]: Loggable[F[T, P]] = {
Loggable[T].contramap(_.unwrap)
}
}ᛒ
в металсе надеюсь
ᛒ
хотя хз можно ли там смотреть
R
And[NonEmptyString,Url]
ΛВ
в металсе надеюсь
контрол опшен шифт ПЭ
D
@odomontois ты обижаешься?
R
а так скушол
String Refined And[NonEmpty, Url]R
а так
NonEmptyString Refined Url пуреконфиг семиавто не смог читателя вывести
AG
Технически паттерн матчинг - это коаппликация/ковыражение, её можно сделать такой же флексибль как и синтаксис простых выражений, вплоть до кофункций
и тут нам помогут секвеньции!
AT
AG
а, Олег уже написал ниже
ᛒ
а так скушол
String Refined And[NonEmpty, Url]а нахуй ты делаешь нонемпти
ᛒ
вель юрл не может быть емпти
R
вель юрл не может быть емпти
хочю