def make[F[_]: GenUUID] : F[ProductID] = makeUUIDId
implicit val get: Get[ProductId] = deriving
implicit val put: Put[ProductId] = deriving
implicit val swagger: Swagger[ProductId] = deriving
implicit val codec: Codec[ProductId] = deriving
implicit val param: HttpParam[ProductId] = deriving
implicit val loggable: Loggable[ProductId] = derivingLoggable("productId")
}
?
а не это
это конечно может звучать глупо но иногда semi-auto кодеки могут быть полезны и их надо срочно удалить как пример
Так у тебя в любом случае семиавтокодеки
да, но в твоем случае я не могу удалить кодек для нужного мне тайпа
а зачем удалить?
ну вот внезапно передумали данный айдишник отдавать
в дотях нот есть; такая логика нужна?
Ну делаешь две примеси, одна с инстансами для всего, кроме жсона, вторая наследует и иам жсон, меняешь примесь со второй на первую
честно говоря не до конца представляю как это в дотти будет выглядеть
ну вот и получается что то в том же виде только с примесью
Там можно определять методы для которых надо что бы в скоупе не было какого-то имплисита
Ну так я тебе говорю, что вот ты можешь удалить кодеки, если нужно
Обсуждают сегодня