Предположим, у меня есть две записи. Можно было бы представить представление класса case LabelledGeneric; в то время как другой может быть запись программиста поставляемыми, которая поставляет человеч
Я попытался определить функцию, которая с учетом параметра типа N <: Nat строит список с точно 3 N. import shapeless._
import shapeless.nat._
scala> def natNOfSize3[N <: Nat](n: Nat): Sized[List[N]
Я пытаюсь использовать бесформенные создать функцию poly2, которая может принять копроизведение: case class IndexedItem(
item1: Item1,
item2: Item2,
item3: Item3
)
case class Item1(na
Дано: case class Foo(a: Option[Int], b: Option[Int], c: Option[Int], d: Option[Int])
Я хотел бы, чтобы только построение Fooтолько, если хотя бы один из ее аргументов Some, то есть не все поля None.