aboutsummaryrefslogtreecommitdiff
path: root/benchmarks/2.12-tl/src/magnolia
diff options
context:
space:
mode:
Diffstat (limited to 'benchmarks/2.12-tl/src/magnolia')
-rw-r--r--benchmarks/2.12-tl/src/magnolia/complex.scala24
-rw-r--r--benchmarks/2.12-tl/src/magnolia/eq_10.scala14
-rw-r--r--benchmarks/2.12-tl/src/magnolia/eq_50.scala59
-rw-r--r--benchmarks/2.12-tl/src/magnolia/gadt_100.scala113
-rw-r--r--benchmarks/2.12-tl/src/magnolia/obj.scala114
-rw-r--r--benchmarks/2.12-tl/src/magnolia/show_10.scala14
-rw-r--r--benchmarks/2.12-tl/src/magnolia/show_50.scala58
-rw-r--r--benchmarks/2.12-tl/src/magnolia/show_tree_50.scala58
-rw-r--r--benchmarks/2.12-tl/src/magnolia/small_100.scala113
9 files changed, 567 insertions, 0 deletions
diff --git a/benchmarks/2.12-tl/src/magnolia/complex.scala b/benchmarks/2.12-tl/src/magnolia/complex.scala
new file mode 100644
index 0000000..f843c29
--- /dev/null
+++ b/benchmarks/2.12-tl/src/magnolia/complex.scala
@@ -0,0 +1,24 @@
+import magnolia._, examples._
+
+object Gen {
+ Eq.generic[adt.Country]
+ Eq.generic[adt.Country]
+ Eq.generic[adt.Country]
+ Eq.generic[adt.Country]
+ Eq.generic[adt.Country]
+ Eq.generic[adt.Country]
+ Eq.generic[adt.Country]
+ Eq.generic[adt.Country]
+ Eq.generic[adt.Country]
+ Eq.generic[adt.Country]
+ Eq.generic[adt.Country]
+ Eq.generic[adt.Country]
+ Eq.generic[adt.Country]
+ Eq.generic[adt.Country]
+ Eq.generic[adt.Country]
+ Eq.generic[adt.Country]
+ Eq.generic[adt.Country]
+ Eq.generic[adt.Country]
+ Eq.generic[adt.Country]
+ Eq.generic[adt.Country]
+}
diff --git a/benchmarks/2.12-tl/src/magnolia/eq_10.scala b/benchmarks/2.12-tl/src/magnolia/eq_10.scala
new file mode 100644
index 0000000..b6adf78
--- /dev/null
+++ b/benchmarks/2.12-tl/src/magnolia/eq_10.scala
@@ -0,0 +1,14 @@
+import magnolia._, examples._
+
+object Gen {
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+}
diff --git a/benchmarks/2.12-tl/src/magnolia/eq_50.scala b/benchmarks/2.12-tl/src/magnolia/eq_50.scala
new file mode 100644
index 0000000..b1dd036
--- /dev/null
+++ b/benchmarks/2.12-tl/src/magnolia/eq_50.scala
@@ -0,0 +1,59 @@
+import magnolia._, examples._
+
+object Gen {
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+ Eq.generic[adt.Alphabet]
+
+}
diff --git a/benchmarks/2.12-tl/src/magnolia/gadt_100.scala b/benchmarks/2.12-tl/src/magnolia/gadt_100.scala
new file mode 100644
index 0000000..0956584
--- /dev/null
+++ b/benchmarks/2.12-tl/src/magnolia/gadt_100.scala
@@ -0,0 +1,113 @@
+import magnolia._, examples._
+
+object Gen {
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+ Eq.generic[adt.GTree[String]]
+}
diff --git a/benchmarks/2.12-tl/src/magnolia/obj.scala b/benchmarks/2.12-tl/src/magnolia/obj.scala
new file mode 100644
index 0000000..0dd82cf
--- /dev/null
+++ b/benchmarks/2.12-tl/src/magnolia/obj.scala
@@ -0,0 +1,114 @@
+import magnolia._, examples._
+
+object Gen {
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+ Show.generic[adt.Jan.type]
+
+}
diff --git a/benchmarks/2.12-tl/src/magnolia/show_10.scala b/benchmarks/2.12-tl/src/magnolia/show_10.scala
new file mode 100644
index 0000000..c6f4a1c
--- /dev/null
+++ b/benchmarks/2.12-tl/src/magnolia/show_10.scala
@@ -0,0 +1,14 @@
+import magnolia._, examples._
+
+object Gen {
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+}
diff --git a/benchmarks/2.12-tl/src/magnolia/show_50.scala b/benchmarks/2.12-tl/src/magnolia/show_50.scala
new file mode 100644
index 0000000..27cfbae
--- /dev/null
+++ b/benchmarks/2.12-tl/src/magnolia/show_50.scala
@@ -0,0 +1,58 @@
+import magnolia._, examples._
+
+object Gen {
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+ Show.generic[adt.Alphabet]
+}
diff --git a/benchmarks/2.12-tl/src/magnolia/show_tree_50.scala b/benchmarks/2.12-tl/src/magnolia/show_tree_50.scala
new file mode 100644
index 0000000..a06513a
--- /dev/null
+++ b/benchmarks/2.12-tl/src/magnolia/show_tree_50.scala
@@ -0,0 +1,58 @@
+import magnolia._, examples._
+
+object Gen {
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+ Show.generic[adt.Tree]
+}
diff --git a/benchmarks/2.12-tl/src/magnolia/small_100.scala b/benchmarks/2.12-tl/src/magnolia/small_100.scala
new file mode 100644
index 0000000..ca29739
--- /dev/null
+++ b/benchmarks/2.12-tl/src/magnolia/small_100.scala
@@ -0,0 +1,113 @@
+import magnolia._, examples._
+
+object Gen {
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+ Show.generic[adt.Letter]
+}