1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
|
/* Magnolia, version 0.7.1. Copyright 2018 Jon Pretty, Propensive Ltd.
*
* The primary distribution site is: http://co.ntextu.al/
*
* Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file
* except in compliance with the License. You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software distributed under the
* License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND,
* either express or implied. See the License for the specific language governing permissions
* and limitations under the License.
*/
package magnolia.examples
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 a string. */
trait Show[Out, T] { def show(value: T): Out }
trait GenericShow[Out] {
/** the type constructor for new [[Show]] instances
*
* The first parameter is fixed as `String`, and the second parameter varies generically. */
type Typeclass[T] = Show[Out, T]
def join(typeName: String, strings: Seq[String]): Out
/** 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[Out, T] = { value =>
if (ctx.isValueClass) {
val param = ctx.parameters.head
param.typeclass.show(param.dereference(value))
} else {
val paramStrings = ctx.parameters.map { param =>
val attribStr = if(param.annotations.isEmpty) "" else {
param.annotations.mkString("{", ", ", "}")
}
s"${param.label}$attribStr=${param.typeclass.show(param.dereference(value))}"
}
val anns = ctx.annotations.filterNot(_.isInstanceOf[scala.SerialVersionUID])
val annotationStr = if (anns.isEmpty) "" else anns.mkString("{", ",", "}")
join(ctx.typeName.short + annotationStr, paramStrings)
}
}
/** choose which typeclass to use based on the subtype of the sealed trait */
def dispatch[T](ctx: SealedTrait[Typeclass, T]): Show[Out, T] = (value: T) =>
ctx.dispatch(value) { sub =>
sub.typeclass.show(sub.cast(value))
}
/** bind the Magnolia macro to this derivation object */
implicit def gen[T]: Show[Out, T] = macro Magnolia.gen[T]
}
/** companion object to [[Show]] */
object Show extends GenericShow[String] {
/** show typeclass for strings */
implicit val string: Show[String, String] = (s: String) => s
def join(typeName: String, params: Seq[String]): String =
params.mkString(s"$typeName(", ",", ")")
/** show typeclass for integers */
implicit val int: Show[String, Int] = (s: Int) => s.toString
/** show typeclass for sequences */
implicit def seq[A](implicit A: Show[String, A]): Show[String, Seq[A]] =
new Show[String, Seq[A]] {
def show(as: Seq[A]): String = as.iterator.map(A.show).mkString("[", ",", "]")
}
}
|