Https://Github.Com/Gvolpe/Pfps-Shopping-Cart/Blob/Master/Modules/Core/Src/Main/Scala/Shop/Domain/Checkout.Scala А как ети проверки работают на компайл тайме если я

Question

Scala User Group

Yevhen

Https://Github.Com/Gvolpe/Pfps-Shopping-Cart/Blob/Master/Modules/Core/Src/Main/Scala/Shop/Domain/Checkout.Scala А как ети проверки работают на компайл тайме если я

в рантайме впишу туда невалидные данные?

#programming #russian #scala

0

19.07.2020

2 ответов

15 просмотров

Tachi Войцишевский

Он на самом деле не дописал немного, у них есть сахарок и интеграции с серкой и подобными для создания из рантайм-значений, хотя сам гвпольпе предлагает использовать везде refineV напрямую. Cахарок лежит вот тут и юзается как-то так: scala> import eu.timepit.refined.api.{ Refined, RefinedTypeOps } * | import eu.timepit.refined.numeric.Positive * * scala> type PosInt = Int Refined Positive * * scala> object PosInt extends RefinedTypeOps[PosInt, Int] * * scala> PosInt(1) * res0: PosInt = 1 * * scala> PosInt.from(2) * res1: Either[String, PosInt] = Right(2)

0

19.07.2020

Woof Собач · Accepted Answer

Woof Собач

Они работают не в компайлтайме. Это типы которые обеспечивают что то что их населяет подчиняется тому что указано

0

19.07.2020

169 похожих чатов

Https://Github.Com/Gvolpe/Pfps-Shopping-Cart/Blob/Master/Modules/Core/Src/Main/Scala/Shop/Domain/Checkout.Scala А как ети проверки работают на компайл тайме если я

2 ответов

Похожие вопросы