я пытался map show . mapMaybe fromDynamic $ [toDyn "one", toDyn (\x -> x::Integer), toDyn 3, toDyn ()] но он вернулся ["()"]

Я пишу комбинатор SQL, который позволяет составлять фрагменты SQL как моноид. У меня примерно такой тип (это упрощенная реализация): data SQLFragment = { selects :: [String], froms :[String], wheres :: [String]} instance Monoid SQL Fragment...

В приведенном ниже коде я пытаюсь создать HList of Lists, но я столкнулся с ошибкой времени компиляции в последней строке этого кода: ◾ не удалось найти неявное значение для параметра кортеж: shapeless.ops.hlist.Tupler [shapeless.HList] ◾...

Я использую shapeless 2.1.0 -scala 2.11, jdk 1.7: у меня есть черта trait Input[T]{ def location:String } object location extends Poly1 { implicit def caseInput[T] = at[Input[T]](l => l.location) } val list = new Input[String] {def...

Я искал Hackage и не смог найти ничего похожего на следующее, но это кажется довольно простым и полезным. Есть ли библиотека, которая содержит тип данных? data HList c where (:-) :: c a => a -> HList c Nil :: HList c Все HLists,...

Внешняя система возвращает Seq[String] (вид БД, вывод типа CSV/json), это обертка базовых типов: строка/числа. Я предпочитаю работать со своей собственной моделью. object Converter { type Output = (Int, String, Double) // for instance def...

Рассмотрим следующий код: {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE NoMonomorphismRestriction #-} import Data.HList.GhcSyntax((.!.),(.=.),(.*.)) import Data.HList.Record(emptyRecord) import Data.HList.TypeCastGeneric1 import...

В соответствии с этим вопросом Spray использует sbt-boilerplate для создания ApplyConverter экземпляров, которые неявно преобразуют A :: B :: ... :: HNil => R в более традиционный (A, B, ...) => R для простоты использования. . Этот...

Меня смущает определение функции ядра Linux. hlist_nulls_for_each_entry определяется как цикл for, и его легко понять. #define hlist_nulls_for_each_entry(tpos, pos, head, member) \ for (pos = (head)->first;...

Здесь я должен рассматривать классы, которые имеют в основном одни и те же поля. final case class Id(id: String) // Param Class final case class Age(id: Id, age: Int) // Param Class final case class A(id: Id, data: Map[String, Any], age:...

У меня есть список разнородных типов (или, по крайней мере, это то, что я имею в виду): data Nul data Bits b otherBits where BitsLst :: b -> otherBits -> Bits b otherBits NoMoreBits :: Bits b Nul Теперь, учитывая тип ввода b...

Я новичок в Haskell и Stackoverflow, и вот мой первый и, вероятно, довольно простой вопрос о Haskell. module M where import Data.HList data R r a r1 = undefined :: R a Int r2 = undefined :: R a Double rPair :: R r a -> R r b -> (R r a,...