НБ
А Type Bounds не позволят что–то такое провернуть?
Size: a a a
2020 August 04
Oℕ
А Type Bounds не позволят что–то такое провернуть?
вы имеете в виду что-то вроде
case class BearerAuth[A <: String >: String](token: String) extends AuthRequest[A]
?
case class BearerAuth[A <: String >: String](token: String) extends AuthRequest[A]
?
Oℕ
кажется, что это просто ещё одна форма GADT
Oℕ
в ADT все конструкторы должны иметь одинаковые баунды на все параметры
НБ
Именно это и имелось в виду, да
a
всем привет. кто по play-json может подсказать? как заменить значение поля, если оно находится в Json.obj( Json.arr( Json.obj( "key" -> "value" )))?
++ удаляет всё из массива и вставляет только мой новый объект.
transform() добавляет второй объект в массив, но не заменяет старый
++ удаляет всё из массива и вставляет только мой новый объект.
transform() добавляет второй объект в массив, но не заменяет старый
AS
можно запустить такие разрастающиеся пузыри ТФ сразу по нескольким направлениям, постепенно рефакторя приложения, эти пузыри будут срастаться, и образуют единую кодобазу, когда рефакторинг будет закончен
То есть никогда
Oℕ
То есть никогда
два проекта так переписал
Oℕ
не знаю в чём проблема
ΛВ
неполноценный способ мог бы выглядеть так
sealed trait AuthRequest[A]
case class SimpleAuth[A](user: String, password: String, ev: A Is (String, String)) extends AuthRequest[A]
case class BearerAuth[A](token: String, ev: A Is String) extends AuthRequest[A]
case class ExternalAuth[A](provider: String, id: UUID, ev: A Is ExtAuth) extends AuthRequest[A]Я недавно видел код (в тапире конкретно), где использовали =:= в качестве Is тут, там было E =:= Throwable, разве это не то ,что надо?
ΛВ
Или я неверно понимаю смысл =:=
Oℕ
Я недавно видел код (в тапире конкретно), где использовали =:= в качестве Is тут, там было E =:= Throwable, разве это не то ,что надо?
в 2.13 добавили методов для субститьюшена, так что то же самое, в 2.12 этот тип бесполезный
K
Друзья, добрый день!
Любители котов, скажите, пожалуйста, а есть ли, в котах, аналог scalaz.stream.Process?
Любители котов, скажите, пожалуйста, а есть ли, в котах, аналог scalaz.stream.Process?
Oℕ
scalaz stream называется сейчас fs2
Oℕ
И используется вместе с котами
GP
Друзья, добрый день!
Любители котов, скажите, пожалуйста, а есть ли, в котах, аналог scalaz.stream.Process?
Любители котов, скажите, пожалуйста, а есть ли, в котах, аналог scalaz.stream.Process?
называется Stream в fs2
GP
там где-то был гайд миграционный
K
Спасибо!
Ж
Всем привет! Посоветуйте парсер для command line arguments, пожалуйста. Думал еще о джавовоском JCommander
GP
Жмака
Всем привет! Посоветуйте парсер для command line arguments, пожалуйста. Думал еще о джавовоском JCommander
