デフォルト値でシェイプレスレコードを作成するにはどうすればよいですか？

Question

は、私は型崩れの記録を持っていると言う：

trait T 
case object Ti extends T 
case object Ta extends T 
case object To extends T 

type R = Record.`Ta -> Option[String], Ti -> Option[Int]`.T 
val r: R = (Ta ->> Option("plif")) :: (Ti ->> Option(4)) :: HNil 

私はgetように関数を記述したいと思います：

get(Ta) == Some("plif") 
get(Ti) == Some(4) 
get(To) == None 

これを達成するための最良の方法だろうか？

Answer 1

簡単な解決策は、デフォルトの場合のために、独自のSelectorインスタンスを提供することです：

class DefaultSelector[R <: HList, K] extends Selector[R, K] { 
    type Out = Option[Nothing] 
    def apply(l: R): Out = None 
} 

def get[K, V](k: K)(
    implicit sel: Selector[R, K] = new DefaultSelector[R, K] 
): sel.Out = sel(r) 

しかし、そのコードでScalaのコンパイラーは、デフォルトの場合の結果のためにTypeTag Sを提供する難しさを有することができます。だから、何Selectorが見つからない場合にも、None: Option[Nothing]にデフォルト設定されます新しい型クラスDefaultSelectorを、書くことができることを修正するための

---

：

import shapeless._ 
import shapeless.ops.record._ 

trait DefaultSelector[R <: HList, K] { 
    type Out 
    def apply(r: R): Out 
} 

sealed trait LowPriorityDefaultSelector { 
    type Aux[R <: HList, K, V] = DefaultSelector[R, K] { type Out = V } 

    case class Impl[R <: HList, K, V](get: R => V) extends DefaultSelector[R, K] { 
    type Out = V 
    def apply(r: R): Out = get(r) 
    } 

    implicit def default[R <: HList, K, V](
    implicit ev: Option[Nothing] =:= V // tricking Scala's implicit resolution 
): Aux[R, K, V] = 
    Impl[R, K, V](Function.const(None)) 
} 

object DefaultSelector extends LowPriorityDefaultSelector { 
    implicit def existing[R <: HList, K, V](
    implicit sel: Selector.Aux[R, K, V] 
): Aux[R, K, V] = 
    Impl[R, K, V](sel.apply) 
} 

その後get関数は次のようになります。

def get[K, V](k: K)(implicit sel: DefaultSelector[R, K]): sel.Out = sel(r) 

---

結果（両方のソリューション）次のとおりです：

scala> get(Ti) 
res0: Option[Int] = Some(4) 

scala> get(Ta) 
res1: Option[String] = Some(plif) 

scala> get(To) 
res2: Option[Nothing] = None