Added Scaladocs

1 files changed, 18 insertions, 0 deletions

diff --git a/examples/src/main/scala/show.scala b/examples/src/main/scala/show.scala
index 4594bff..9da507c 100644
--- a/examples/src/main/scala/show.scala
+++ b/examples/src/main/scala/show.scala
@@ -6,21 +6,39 @@ import scala.language.higherKinds
 import magnolia._
 import scala.language.experimental.macros
 
+/** shows one type as another, often as a string
+ *
+ *  Note that this is a more general form of `Show` than is usual, as it permits the return type to
+ *  be something other than [[String]]. */
 trait Show[Out, T] { def show(value: T): Out }
 
+/** companion object to [[Show]] */
 object Show {
+
+  /** the type constructor for new [[Show]] instances
+   *
+   *  The first parameter is fixed as [[String]], and the second parameter varies generically. */
   type Typeclass[T] = Show[String, T]
+
+  /** creates a new [[Show]] instance by labelling and joining (with `mkString`) the result of
+   *  showing each parameter, and prefixing it with the class name */
   def combine[T](ctx: CaseClass[Typeclass, T]): Show[String, T] = new Show[String, T] {
     def show(value: T) = ctx.parameters.map { param =>
       s"${param.label}=${param.typeclass.show(param.dereference(value))}"
     }.mkString(s"${ctx.typeName.split("\\.").last}(", ",", ")")
   }
 
+  /** choose which typeclass to use based on the subtype of the sealed trait */
   def dispatch[T](ctx: SealedTrait[Typeclass, T]): Show[String, T] = new Show[String, T] {
     def show(value: T): String = ctx.dispatch(value) { sub => sub.typeclass.show(sub.cast(value)) }
   }
 
+  /** show typeclass for strings */
   implicit val string: Show[String, String] = new Show[String, String] { def show(s: String): String = s }
+  
+  /** show typeclass for integers */
   implicit val int: Show[String, Int] = new Show[String, Int] { def show(s: Int): String = s.toString }
+  
+  /** bind the Magnolia macro to this derivation object */
   implicit def gen[T]: Show[String, T] = macro Magnolia.gen[T]
 }