ΛВ
Рефайнед такое дает
- в парметры sql"" передаем нормальный тип, который внутри рефайнед сидит
- реализуем doobie
Get[A] для рефайнмент типов ,чтобы читать объекты у которых поля рефайнедПосле этих измнений отпустило
Size: a a a
2020 April 27
LB
вобщем если жить с ними надо, то обошли пока так:
- в парметры sql"" передаем нормальный тип, который внутри рефайнед сидит
- реализуем doobie
После этих измнений отпустило
- в парметры sql"" передаем нормальный тип, который внутри рефайнед сидит
- реализуем doobie
После этих измнений отпустило
LB
Хочется кейсы вроде StringThatIs13Or10SizeAndAllDigits проще выражать
ну так ньютайп где в конструкторе проверять как хочется, нет?
ΛВ
ну так ньютайп где в конструкторе проверять как хочется, нет?
Приходится писать эту логику руками, ошибки там и все такое
ΛВ
Ещё рефайнд с сабтайпингом работает, можно писать someRefinedString.contains(fooo)
LB
Приходится писать эту логику руками, ошибки там и все такое
для рефайнед тоже писать надо и поболее:
case class CumulativeCoefficient(value: ValidatedCumulativeCoefficient) {
def bigDecimalValue = value.value
}
object CumulativeCoefficient {
def fromServiceModel(
cumulativeCoefficient: services.model.CumulativeCoefficient
) = fromBigDecimal(cumulativeCoefficient.value)
def fromBigDecimal(value: BigDecimal): Either[String, CumulativeCoefficient] =
refineV[ValidatedCumulativeCoefficientPredicate](value)
.map(apply)
val maxCumulativeCoefficient: BigDecimal = BigDecimal(2)
implicit val maxCumulativeCoefficientWitness = Witness(maxCumulativeCoefficient)
type MaxCumulativeCoefficient = maxCumulativeCoefficientWitness.T
type ValidatedCumulativeCoefficient = BigDecimal Refined ValidatedCumulativeCoefficientPredicate
type ValidatedCumulativeCoefficientPredicate = Positive And LessEqual[MaxCumulativeCoefficient]
implicit val eq: Eq[CumulativeCoefficient] = Eq.fromUniversalEquals
}ΛВ
для рефайнед тоже писать надо и поболее:
case class CumulativeCoefficient(value: ValidatedCumulativeCoefficient) {
def bigDecimalValue = value.value
}
object CumulativeCoefficient {
def fromServiceModel(
cumulativeCoefficient: services.model.CumulativeCoefficient
) = fromBigDecimal(cumulativeCoefficient.value)
def fromBigDecimal(value: BigDecimal): Either[String, CumulativeCoefficient] =
refineV[ValidatedCumulativeCoefficientPredicate](value)
.map(apply)
val maxCumulativeCoefficient: BigDecimal = BigDecimal(2)
implicit val maxCumulativeCoefficientWitness = Witness(maxCumulativeCoefficient)
type MaxCumulativeCoefficient = maxCumulativeCoefficientWitness.T
type ValidatedCumulativeCoefficient = BigDecimal Refined ValidatedCumulativeCoefficientPredicate
type ValidatedCumulativeCoefficientPredicate = Positive And LessEqual[MaxCumulativeCoefficient]
implicit val eq: Eq[CumulativeCoefficient] = Eq.fromUniversalEquals
}С телефона оч плохо читается, но есть же синтаксис в рефайнде, который сам генерит подобные методы
LB
Ещё рефайнд с сабтайпингом работает, можно писать someRefinedString.contains(fooo)
я скалу раз в год пятилетку смотрю, но вроде есть всякие имплисит конверсии?
DZ
Ещё рефайнд с сабтайпингом работает, можно писать someRefinedString.contains(fooo)
Рудогма теги тож
ΛВ
для рефайнед тоже писать надо и поболее:
case class CumulativeCoefficient(value: ValidatedCumulativeCoefficient) {
def bigDecimalValue = value.value
}
object CumulativeCoefficient {
def fromServiceModel(
cumulativeCoefficient: services.model.CumulativeCoefficient
) = fromBigDecimal(cumulativeCoefficient.value)
def fromBigDecimal(value: BigDecimal): Either[String, CumulativeCoefficient] =
refineV[ValidatedCumulativeCoefficientPredicate](value)
.map(apply)
val maxCumulativeCoefficient: BigDecimal = BigDecimal(2)
implicit val maxCumulativeCoefficientWitness = Witness(maxCumulativeCoefficient)
type MaxCumulativeCoefficient = maxCumulativeCoefficientWitness.T
type ValidatedCumulativeCoefficient = BigDecimal Refined ValidatedCumulativeCoefficientPredicate
type ValidatedCumulativeCoefficientPredicate = Positive And LessEqual[MaxCumulativeCoefficient]
implicit val eq: Eq[CumulativeCoefficient] = Eq.fromUniversalEquals
}На 31 строке вот тут https://scastie.scala-lang.org/y6MlLfLzSwacLX7p4f2cMg
ΛВ
По сути фром методы
LB
С телефона оч плохо читается, но есть же синтаксис в рефайнде, который сам генерит подобные методы
ничего не могу сказать. я день потратил отлавливая косяски с ними и ничего кроме мата у меня про них нет :) но это от непонимания больше
M
для рефайнед тоже писать надо и поболее:
case class CumulativeCoefficient(value: ValidatedCumulativeCoefficient) {
def bigDecimalValue = value.value
}
object CumulativeCoefficient {
def fromServiceModel(
cumulativeCoefficient: services.model.CumulativeCoefficient
) = fromBigDecimal(cumulativeCoefficient.value)
def fromBigDecimal(value: BigDecimal): Either[String, CumulativeCoefficient] =
refineV[ValidatedCumulativeCoefficientPredicate](value)
.map(apply)
val maxCumulativeCoefficient: BigDecimal = BigDecimal(2)
implicit val maxCumulativeCoefficientWitness = Witness(maxCumulativeCoefficient)
type MaxCumulativeCoefficient = maxCumulativeCoefficientWitness.T
type ValidatedCumulativeCoefficient = BigDecimal Refined ValidatedCumulativeCoefficientPredicate
type ValidatedCumulativeCoefficientPredicate = Positive And LessEqual[MaxCumulativeCoefficient]
implicit val eq: Eq[CumulativeCoefficient] = Eq.fromUniversalEquals
}если писать на скале как на энтерпрайз джаве 1.5, то удовольствия это явно не доставит. братиш, выкинь весь этот говнокод и пиши просто и по человечески. компайл тайм рефайнд предикаты - почти не применимы в жизни.
object CumulativeCoefficient extends TaggedType0[BigDecimal]{
val max:Type = TaggedOps(this)(BigDecimal(2))
//... или любая другая логика вместо Either
def apply(value:Long):Either[String,Type] = ...validate > 0 and <= max..
}
type CumulativeCoefficient = CumulativeCoefficient.TypeM
@yamlcoder ну и кстати, любой метод вида -
def fromBigDecimal(value: BigDecimal) - является тавтологией. будь проще - def from(v:BigDecimal) - у тебя уже есть тип, незачем его еще в название метода пихать без лишней необходимостиLB
@yamlcoder ну и кстати, любой метод вида -
def fromBigDecimal(value: BigDecimal) - является тавтологией. будь проще - def from(v:BigDecimal) - у тебя уже есть тип, незачем его еще в название метода пихать без лишней необходимостикод не мой, я на скале вообще не пишу, два часа разбирался как
=> Unit запустить в нескольких тредах :) за советы спасибо, но ничего с ними сделать не могуλ
@yamlcoder ну и кстати, любой метод вида -
def fromBigDecimal(value: BigDecimal) - является тавтологией. будь проще - def from(v:BigDecimal) - у тебя уже есть тип, незачем его еще в название метода пихать без лишней необходимостиобычно лучше избегать оверлоадинга
M
обычно лучше избегать оверлоадинга
советы из мира джаваскрипт?
ΛВ
если писать на скале как на энтерпрайз джаве 1.5, то удовольствия это явно не доставит. братиш, выкинь весь этот говнокод и пиши просто и по человечески. компайл тайм рефайнд предикаты - почти не применимы в жизни.
object CumulativeCoefficient extends TaggedType0[BigDecimal]{
val max:Type = TaggedOps(this)(BigDecimal(2))
//... или любая другая логика вместо Either
def apply(value:Long):Either[String,Type] = ...validate > 0 and <= max..
}
type CumulativeCoefficient = CumulativeCoefficient.Typeэто на чем написано?
(ну и рефайнед не только про компайл тайм предикаты, он же еще генерит проверки значений из рантайма)
(ну и рефайнед не только про компайл тайм предикаты, он же еще генерит проверки значений из рантайма)
M
это на чем написано?
(ну и рефайнед не только про компайл тайм предикаты, он же еще генерит проверки значений из рантайма)
(ну и рефайнед не только про компайл тайм предикаты, он же еще генерит проверки значений из рантайма)
supertagged
M
основной смысл рефайнд либы - именно компайлтайм предикаты, в остальном это ущербная поделка