ὦ
Рациональность
(спроси сколько стоит ремонт)
Size: a a a
2020 June 25
D
ὦan
(спроси сколько стоит ремонт)
Он был прав
D
Я проверил
ΛВ
а еси я не в компиль тайме валидириую
type AllDigits = Forall[Digit]
type SizeIs[N] = Size[Equal[N]]
type CustomerCode = String Refined (AllDigits And SizeIs[_8])
object CustomerCode extends RefinedTypeOps[CustomerCode, String]CustomerCode.from(myCodeAsStringFromSomewhereNotLiteral) //Either[Error, CustomerCode]
D
https://www.youtube.com/watch?v=0ps0CJH2Dd8
https://www.cl.cam.ac.uk/~jdy22/papers/partially-static-data-as-free-extension-of-algebras.pdf Yallop, Glehn, Kammar, "Partially-Static Data as Free Extension of Algebras"
https://www.cl.cam.ac.uk/~jdy22/papers/partially-static-data-as-free-extension-of-algebras.pdf Yallop, Glehn, Kammar, "Partially-Static Data as Free Extension of Algebras"
R
type AllDigits = Forall[Digit]
type SizeIs[N] = Size[Equal[N]]
type CustomerCode = String Refined (AllDigits And SizeIs[_8])
object CustomerCode extends RefinedTypeOps[CustomerCode, String]CustomerCode.from(myCodeAsStringFromSomewhereNotLiteral) //Either[Error, CustomerCode]
читаемость класс
ΛВ
читаемость класс
да, класс
R
это рудогмовский?
ΛВ
могу скасти кинуть со всем, что надо
ΛВ
это рудогмовский?
это рефайнед
R
а так нах мне ето
ΛВ
import eu.timepit.refined.api.{Refined, RefinedTypeOps}ΛВ
ты ж про рефайнед писал
R
еси у меня уже есть требование на нон емтпи стринг и урл
R
а об ето ломается derive(loggable)
ᛒ
type AllDigits = Forall[Digit]
type SizeIs[N] = Size[Equal[N]]
type CustomerCode = String Refined (AllDigits And SizeIs[_8])
object CustomerCode extends RefinedTypeOps[CustomerCode, String]CustomerCode.from(myCodeAsStringFromSomewhereNotLiteral) //Either[Error, CustomerCode]
там же есть предикаты такие
ΛВ
ну ты спросил про комбинирование предикатов и про проверку не литералов
ᛒ
а об ето ломается derive(loggable)
я недавно угарную штуку ловил