Heterogene Argumente in einer Scala-Funktion

Question

Wie kann ich einige HList als Argument übergeben? So kann ich in einer solchen Art und Weise machen:

def HFunc[F, S, T](hlist: F :: S :: T :: HNil) { 
    // here is some code 
} 

HFunc(HList(1, true, "String")) // it works perfect 

Aber wenn ich eine lange Liste, und ich weiß nicht, nichts darüber, wie kann ich einige Operationen auf sie machen? Wie kann ich Argument übergeben und nicht seinen Typ verlieren?

Answer 1

Es hängt von Ihrem Anwendungsfall ab.

HList ist für Typ-Level-Code nützlich, so dass Sie sollten nicht nur HList, sondern auch alle notwendigen Informationen wie diese auf Ihre Methode übergeben:

def hFunc[L <: HList](hlist: L)(implicit h1: Helper1[L], h2: Helper2[L]) { 
    // here is some code 
} 

Zum Beispiel, wenn Sie Ihre Hlist und mapreverse über Ergebnis sollten Sie Mapper und Reverse wie folgt verwenden:

import shapeless._, shapeless.ops.hlist.{Reverse, Mapper} 

object negate extends Poly1 { 
    implicit def caseInt = at[Int]{i => -i} 
    implicit def caseBool = at[Boolean]{b => !b} 
    implicit def caseString = at[String]{s => "not " + s} 
} 

def hFunc[L <: HList, Rev <: HList](hlist: L)(
           implicit rev: Reverse[L]{ type Out = Rev }, 
             map: Mapper[negate.type, Rev]): map.Out = 
    map(rev(hlist)) // or hlist.reverse.map(negate) 

Verbrauch:

hFunc(HList(1, true, "String")) 
//String :: Boolean :: Int :: HNil = not String :: false :: -1 :: HNil