В бесформенном, есть два список таким образом, что одна содержат классы типов из другой

Question

бесформенного Я пытаюсь написать функцию, что она принимает два HLists l1 и l2 произвольной длины, которые проявляют следующие свойства:

1. Длина l1 и l2 являются одинаковыми
2. l2 содержит точные типы l1, завернутые в постоянном конструктора внешнего типа.

Так что, если l1 был

1 :: 1.2 :: "hello" :: HNil` 

l2 может быть

Ordering[Int] :: Ordering[Double] :: Ordering[String] :: HNil 

Использование UnaryTCConstraint и LengthAux позволяет мне ограничить длину и требуется статический внешний конструктор для l2, однако наличие их Соответствие стало проблемой.

Любые идеи о том, как я могу это сделать?

Answer 1

Mapped обеспечивает именно это ограничение без дополнительной необходимости для Length. От the documentation:

Тип класс свидетели того, что результат упаковки каждого элемента HListL в конструкторе типа F является Out.

Вот как это выглядит в 1.2.4:

import shapeless._ 

def foo[L1 <: HList, L2 <: HList](l1: L1, l2: L2)(implicit 
    ev: MappedAux[L1, Ordering, L2] 
) =() 

val l1 = 1 :: 1.2 :: "hello" :: HNil 
val l2 = Ordering[Int] :: Ordering[Double] :: Ordering[String] :: HNil 
val l3 = Ordering[Int] :: Ordering[Double] :: Ordering[Char] :: HNil 

И потом:

scala> foo(l1, l2) 

scala> foo(l1, l3) 
<console>:17: error: could not find implicit value for parameter ev: ... 

Как и следовало ожидать. Для 2.0 просто добавьте shapeless.ops.hlist._ импорт и замените MappedAux на Mapped.Aux, и вы готовы к работе.