shapeless

3зной

1ответ

Типичный элемент, содержащий элемент в HList?

Я пытаюсь определить класс типа, что HList, L, содержит определенный тип, A. trait Contains[A] { type Out } object Contains { type Aux[A, O] = Contains[A] { type Out = O } def conta

1зной

1ответ

Построить тип из HList по типу классов

Учитывая этот код: abstract class Col[A](val name: String) case object Name extends Col[String]("name") case object Age extends Col[Int]("age") val cols = Name :: Age :: HNil type TableDef = ??

2зной

1ответ

Сумма двух идентичных HList во время компиляции?

Учитывая следующую попытку извлечения рекурсивной суммы двух HList, как показано ниже: (. Помилования Product в его имени сейчас, пожалуйста) package net import shapeless._ import shapeless.nat._

3зной

1ответ

Convert Shapeless HList to the Tuple

У меня есть эта версия try-with-resources в Scala. Интересно, можно ли сделать общую версию этого, используя Shapeless и HList? import scala.util.{Failure, Success, Try} class Loan1[A <: AutoCloseab

1зной

1ответ

Как правило, кодировать произвольный класс case в AWS Sdk DynamoDb Item

Как вы думаете, что я имел смысл? Есть ли лучший способ кодировать класс case в Item? например я не доволен игнорированием в некоторых случаях входного параметра! import shapeless.labelled.FieldType

2зной

1ответ

Внедрение продукта Zipwith с помощью Shapeless?

Дано: // Given an HList of size N, provide evidence of the sum of HList // multiplied by _3 (length) :: _2 (length) :: _1 (length) :: HNil // Example: input: _1 :: _2 :: _2 -> output: _3 + _4 + _2 :

2зной

1ответ

Генерирующие вложенные структуры данных в HList подобный стиль

Дано: val a = "foo" :: "bar" :: MyNil[Float]() Я хотел бы, что a.ArrayType решает Array[Array[Float]], а также a.toList генерирует Seq("foo", "bar"). Для более длинного списка a.ArrayType должен быт