Вопросы по теме 'shapeless'
Шаблон параметров Scala (пример маршрутизации спрея)
Извините за расплывчатое название ... не был уверен, как это охарактеризовать.
Я некоторое время видел/использовал определенную конструкцию кода в Scala, но не знаю, как она работает. Выглядит это так (пример из маршрутизации спрея):
path(...
7014 просмотров
schedule
13.04.2024
Расширенное использование типов в Scala
Фон
Я работаю над библиотекой событий в Scala. В моей библиотеке вы можете определить такие события:
val e1 = new ImperativeEvent[Int]
Вы можете активировать их следующим образом:
e1(42)
Вы можете создавать такие реакции:...
543 просмотров
schedule
03.03.2024
Как требовать типизированного массива постоянного размера в scala?
Мне нужно что-то вроде этого:
def encryptBlock(arr: FixedArray[Size16]) = ???
val blocks = arr.splitFixed[Size16]
val encrypted = encryptBlock(FixedArray[Size16]())
Итак, чтобы быть уверенным, что я получаю на вход только 128-битный...
1993 просмотров
schedule
16.08.2022
Shapeless: попытка ограничить элементы HList по их типу
Вопрос 1. Основные ограничения LUB
Моя первая попытка поиграть с существующими LUBConstraints не удалась из-за отсутствия доказательств (см. блок кода ниже). Любой намек, почему? Разве пустой список не является допустимым списком длин? ни один...
956 просмотров
schedule
25.05.2024
Список Nat фиксированного размера и границ элементов
Используя shapeless , я пытаюсь определить функцию:
import shapeless._
import ops.nat._
import nat._
def threeNatsLessThan3[N <: Nat](xs: Sized[List[N], N])
(implicit ev: LTEq[N, _3]) = ???
где он будет компилироваться только в том...
225 просмотров
schedule
21.03.2024
Параметризация типа Scala, Shapeless - не удалось найти неявное значение для параметра Generic
Я не могу реализовать shapeless.Generic с параметризованными функциями типа scala. В следующем фрагменте кода я получаю сообщение об ошибке «не удалось найти неявное значение для параметра gen: shapeless.Generic[T]».
def foo[T](instance: T) =...
1202 просмотров
schedule
13.02.2024
Shapeless LabelledGeneric, но игнорирует некоторые поля
Я хотел бы определить бесформенный LabelledGeneric , который игнорирует одно (или несколько) полей при преобразовании в HList ; при обратном преобразовании HList оно должно заменить значение, определенное пользователем. Цель состоит в том, чтобы...
493 просмотров
schedule
25.10.2023
Заархивируйте универсальный HList со статическим Nat HList
Я ищу способ объединить два HList. Первый генерируется из case-класса, преобразованного в его универсальное представление, а второй определяется вручную как HList Nat.
В результате я ожидаю кортеж (или HList с двумя членами) с одним полем из...
99 просмотров
schedule
15.08.2022
как анализировать общие поля класса case с помощью синтаксического анализатора параметров scala?
У меня есть класс case, включающий около 20 полей, все из которых являются примитивными типами.
case class A( f1: String, f2: Int .....)
и мне приходится анализировать все эти поля из командной строки (к сожалению). Я могу, но я...
1060 просмотров
schedule
21.09.2022
Система типов Scala и вход в FunctionN
Мне интересно, есть ли способ исправить очевидную несогласованность в обработке Scala функций Function1 и Function2..N.
Для Function1 , скажем Int => String , список параметров (Int) не идентичен Int (даже если они оба изоморфны), но...
122 просмотров
schedule
14.12.2023
Протестируйте два бесформенных типа HList scala на эквивалентность с помощью неявного
Мне интересно проверить, являются ли две разнородные записи HList «эквивалентными»; то есть у них одинаковые пары ключ/значение, но не обязательно в том же порядке. Существует ли предикат предопределенного типа, который делает то, что делает...
260 просмотров
schedule
06.10.2022
Spark 2.1 с обходным решением Pureconfig 0.8 для Maven
Приведенное ниже решение, взятое из Spark, не работающего с pureconfig , кажется рабочим решением для sbt но с трудом выясняя версию maven для этого. Попытка заставить pureconfig 0.8 работать со spark 2.1 с помощью spark-submit, но по-прежнему...
332 просмотров
schedule
23.09.2022
Использование asInstanceOf для универсальных типов в Scala
Скажем, у меня есть такой класс:
class Funky[A, B](val foo: A, val bar: B) {
override def toString: String = s"Funky($foo, $bar)"
}
С некоторым методом, который выглядит так:
def cast(t: Any): Option[Funky[A, B]] = {
if (t == null)...
619 просмотров
schedule
27.10.2023
бесформенный фильтр список опций
Я новичок в бесформенном мире и пытаюсь решить следующую проблему. У меня есть кортежи разной длины с Option [(R [A], A)] в качестве элементов, и я хотел бы отфильтровать кортеж, чтобы он приводил только к Some. Обратите внимание, что во время...
303 просмотров
schedule
08.05.2024
Попытка сохранить типы развернутыми при использовании refined
Я пытаюсь использовать refined для создания интеллектуальных конструкторов на основе примитивов и избегать обертки, поскольку одни и те же типы могут использоваться в больших коллекциях. Я правильно это делаю? Кажется, работает, но немного непонятно...
80 просмотров
schedule
02.02.2024
Есть ли способ получить имплициты для каждого члена HList из Scala Shapeless?
Я пробовал следующее:
type Params = String :: Int :: HNil
implicit val params: Params = "hello" :: 5 :: HNil
// Supposed to create an implicit for string and int if needed
implicit def meberImplicit[A](
implicit
params: Params,
selector:...
75 просмотров
schedule
10.06.2024
Поиск типов на основе их членов абстрактного типа
У меня есть следующие определения типов:
trait Content
trait Wrapper {
type ContentType
}
final case class Foo(param: String) extends Content
final case class Bar(param: String) extends Content
final case class FooWrapper(foo: Foo) extends...
62 просмотров
schedule
19.03.2024
