Unable to map on HList

by

There’s an easy fix: just define your function as an object instead of a val:

object f extends (({ type O2[+A] = (Option[A], Option[A]) })#O2 ~> Option) {
  def apply[A](x: (Option[A], Option[A])): Option[A] = x._1 orElse x._2
}

(Note that I’ve named the function f instead of mapper to avoid confusion with the mapper implicit argument to map.)

I’m not sure I can help with why—at some point I tried to work out the details of why val wouldn’t work for this kind of thing in Shapeless, and I don’t remember how far I got.

More Related Contents:

  1. What does the `#` operator mean in Scala?
  2. What is meant by Scala’s path-dependent types?
  3. What are some compelling use cases for dependent method types?
  4. Weird behavior trying to convert case classes to heterogeneous lists recursively with Shapeless
  5. Why is the Aux technique required for type-level computations?
  6. Any reason why scala does not explicitly support dependent types?
  7. Use functional combinators on Scala Tuples?
  8. Are HLists nothing more than a convoluted way of writing tuples?
  9. Can’t prove that singleton types are singleton types while generating type class instance
  10. Converting nested case classes to nested Maps using Shapeless
  11. Limits of Nat type in Shapeless
  12. Converting Map[String,Any] to a case class using Shapeless
  13. Understanding the Aux pattern in Scala Type System
  14. Why does one select Scala type members with a hash instead of a dot?
  15. Getting subclasses of a sealed trait
  16. How to convert scala List in to Map
  17. Best way to merge two maps and sum the values of same key?
  18. Return in Scala
  19. How do I skip a header from CSV files in Spark?
  20. Difference between reduce and foldLeft/fold in functional programming (particularly Scala and Scala APIs)?
  21. Processing multiple files as independent RDD’s in parallel
  22. Why does the Scala compiler disallow overloaded methods with default arguments?
  23. withFilter instead of filter
  24. How to convert unix timestamp to date in Spark
  25. How to save a spark DataFrame as csv on disk?
  26. `def` vs `val` vs `lazy val` evaluation in Scala
  27. How to sort by column in descending order in Spark SQL?
  28. Code to enumerate permutations in Scala
  29. forall in Scala
  30. How do I run an sbt main class from the shell as normal command-line program?

Leave a Comment