core and sdk: Add Hash and Show instances

build.sbt

@@ -120,7 +120,8 @@ lazy val `core-trace` = crossProject(JVMPlatform, JSPlatform, NativePlatform)
     name := "otel4s-core-trace",
     libraryDependencies ++= Seq(
       "org.typelevel" %%% "cats-effect-kernel" % CatsEffectVersion,
-      "org.scodec" %%% "scodec-bits" % ScodecVersion
+      "org.scodec" %%% "scodec-bits" % ScodecVersion,
+      "org.scalameta" %%% "munit-scalacheck" % MUnitVersion % Test
     )
   )
   .settings(scalafixSettings)
@@ -169,6 +170,7 @@ lazy val `sdk-trace` = crossProject(JVMPlatform, JSPlatform, NativePlatform)
     name := "otel4s-sdk-trace",
     libraryDependencies ++= Seq(
       "org.typelevel" %%% "cats-effect" % CatsEffectVersion,
+      "org.scalameta" %%% "munit-scalacheck" % MUnitVersion % Test
     ),
   )
   .settings(munitDependencies)

core/common/src/main/scala/org/typelevel/otel4s/Attribute.scala

@@ -16,9 +16,9 @@
 
 package org.typelevel.otel4s
 
+import cats.Hash
 import cats.Show
-import cats.implicits.showInterpolator
-import cats.kernel.Hash
+import cats.syntax.show._
 
 /** Represents the key-value attribute.
   *
@@ -76,4 +76,8 @@ String, Boolean, Long, Double, List[String], List[Boolean], List[Long], List[Dou
   implicit def hashAttribute[T: Hash]: Hash[Attribute[T]] =
     Hash.by(a => (a.key, a.value))
 
+  implicit val hashAnyAttribute: Hash[Attribute[_]] = {
+    implicit val hashAny: Hash[Any] = Hash.fromUniversalHashCode
+    Hash.by(a => (a.key, a.value))
+  }
 }

core/common/src/main/scala/org/typelevel/otel4s/AttributeKey.scala

@@ -80,4 +80,7 @@ object AttributeKey {
   implicit def attributeKeyShow[A]: Show[AttributeKey[A]] =
     Show.show(key => show"${key.`type`}(${key.name})")
 
+  implicit val attributeKeyAnyHash: Hash[AttributeKey[_]] =
+    Hash.by(key => (key.name, key.`type`))
+
 }

core/common/src/main/scala/org/typelevel/otel4s/AttributeType.scala

@@ -41,4 +41,7 @@ object AttributeType {
   implicit def attributeTypeShow[A]: Show[AttributeType[A]] =
     Show.fromToString
 
+  implicit val attributeTypeAnyHash: Hash[AttributeType[_]] =
+    Hash.fromUniversalHashCode
+
 }

core/trace/src/main/scala/org/typelevel/otel4s/trace/SpanKind.scala

@@ -17,6 +17,9 @@
 package org.typelevel.otel4s
 package trace
 
+import cats.Hash
+import cats.Show
+
 /** Type of [[Span]]. Can be used to specify additional relationships between
   * spans in addition to a parent/child relationship.
   */
@@ -48,4 +51,7 @@ object SpanKind {
     * relationship between producer and consumer spans.
     */
   case object Consumer extends SpanKind
+
+  implicit val spanKindHash: Hash[SpanKind] = Hash.fromUniversalHashCode
+  implicit val spanKindShow: Show[SpanKind] = Show.fromToString
 }

core/trace/src/main/scala/org/typelevel/otel4s/trace/Status.scala

@@ -16,6 +16,9 @@
 
 package org.typelevel.otel4s.trace
 
+import cats.Hash
+import cats.Show
+
 /** The set of canonical status codes
   */
 sealed trait Status extends Product with Serializable
@@ -33,4 +36,7 @@ object Status {
   /** The operation contains an error. */
   case object Error extends Status
 
+  implicit val statusHash: Hash[Status] = Hash.fromUniversalHashCode
+  implicit val statusShow: Show[Status] = Show.fromToString
+
 }

core/trace/src/test/scala/org/typelevel/otel4s/trace/SpanKindSuite.scala

@@ -0,0 +1,66 @@
+/*
+ * Copyright 2022 Typelevel
+ *
+ * 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 org.typelevel.otel4s.trace
+
+import cats.Hash
+import cats.Show
+import munit._
+import org.scalacheck.Gen
+import org.scalacheck.Prop
+
+class SpanKindSuite extends ScalaCheckSuite {
+
+  private val spanKindGen: Gen[SpanKind] =
+    Gen.oneOf(
+      SpanKind.Internal,
+      SpanKind.Server,
+      SpanKind.Client,
+      SpanKind.Producer,
+      SpanKind.Consumer
+    )
+
+  property("Show[SpanKind]") {
+    Prop.forAll(spanKindGen) { spanKind =>
+      val expected = spanKind match {
+        case SpanKind.Internal => "Internal"
+        case SpanKind.Server   => "Server"
+        case SpanKind.Client   => "Client"
+        case SpanKind.Producer => "Producer"
+        case SpanKind.Consumer => "Consumer"
+      }
+
+      assertEquals(Show[SpanKind].show(spanKind), expected)
+    }
+  }
+
+  test("Hash[SpanKind]") {
+    val allWithIndex = List(
+      SpanKind.Internal,
+      SpanKind.Server,
+      SpanKind.Client,
+      SpanKind.Producer,
+      SpanKind.Consumer
+    ).zipWithIndex
+
+    allWithIndex.foreach { case (that, thatIdx) =>
+      allWithIndex.foreach { case (other, otherIdx) =>
+        assertEquals(Hash[SpanKind].eqv(that, other), thatIdx == otherIdx)
+      }
+    }
+  }
+
+}

core/trace/src/test/scala/org/typelevel/otel4s/trace/StatusSuite.scala

@@ -0,0 +1,52 @@
+/*
+ * Copyright 2022 Typelevel
+ *
+ * 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 org.typelevel.otel4s.trace
+
+import cats.Hash
+import cats.Show
+import munit._
+import org.scalacheck.Gen
+import org.scalacheck.Prop
+
+class StatusSuite extends ScalaCheckSuite {
+
+  private val statusGen: Gen[Status] =
+    Gen.oneOf(Status.Unset, Status.Ok, Status.Error)
+
+  property("Show[Status]") {
+    Prop.forAll(statusGen) { status =>
+      val expected = status match {
+        case Status.Unset => "Unset"
+        case Status.Ok    => "Ok"
+        case Status.Error => "Error"
+      }
+
+      assertEquals(Show[Status].show(status), expected)
+    }
+  }
+
+  test("Hash[Status]") {
+    val allWithIndex = List(Status.Unset, Status.Ok, Status.Error).zipWithIndex
+
+    allWithIndex.foreach { case (that, thatIdx) =>
+      allWithIndex.foreach { case (other, otherIdx) =>
+        assertEquals(Hash[Status].eqv(that, other), thatIdx == otherIdx)
+      }
+    }
+  }
+
+}

sdk/common/src/main/scala/org/typelevel/otel4s/sdk/Attributes.scala

@@ -17,6 +17,7 @@
 package org.typelevel.otel4s.sdk
 
 import cats.Applicative
+import cats.Hash
 import cats.Monad
 import cats.Monoid
 import cats.Show
@@ -59,6 +60,17 @@ final class Attributes private (
   def toMap: Map[AttributeKey[_], Attribute[_]] = m
   def toList: List[Attribute[_]] = m.values.toList
 
+  override def hashCode(): Int =
+    Hash[Attributes].hash(this)
+
+  override def equals(obj: Any): Boolean =
+    obj match {
+      case other: Attributes => Hash[Attributes].eqv(this, other)
+      case _                 => false
+    }
+
+  override def toString: String =
+    Show[Attributes].show(this)
 }
 
 object Attributes {
@@ -79,6 +91,9 @@ object Attributes {
       .mkString("Attributes(", ", ", ")")
   }
 
+  implicit val hashAttributes: Hash[Attributes] =
+    Hash.by(_.m)
+
   implicit val monoidAttributes: Monoid[Attributes] =
     new Monoid[Attributes] {
       def empty: Attributes = Attributes.Empty

sdk/common/src/main/scala/org/typelevel/otel4s/sdk/Resource.scala

@@ -16,11 +16,12 @@
 
 package org.typelevel.otel4s.sdk
 
+import cats.Hash
 import cats.Show
-import cats.implicits.catsSyntaxEitherId
-import cats.implicits.catsSyntaxOptionId
-import cats.implicits.catsSyntaxSemigroup
-import cats.implicits.showInterpolator
+import cats.syntax.either._
+import cats.syntax.option._
+import cats.syntax.semigroup._
+import cats.syntax.show._
 import org.typelevel.otel4s.Attribute
 import org.typelevel.otel4s.sdk.Resource.ResourceInitiationError
 import org.typelevel.otel4s.semconv.resource.attributes.ResourceAttributes._
@@ -76,6 +77,9 @@ final case class Resource(
       throw _,
       identity
     )
+
+  override def toString: String =
+    Show[Resource].show(this)
 }
 
 object Resource {
@@ -119,6 +123,9 @@ object Resource {
   val Default: Resource = TelemetrySdk.mergeIntoUnsafe(Mandatory)
 
   implicit val showResource: Show[Resource] =
-    r => show"Resource(${r.attributes}, ${r.schemaUrl})"
+    r => show"Resource{attributes=${r.attributes}, schemaUrl=${r.schemaUrl}}"
+
+  implicit val hashResource: Hash[Resource] =
+    Hash.by(r => (r.attributes, r.schemaUrl))
 
 }

sdk/trace/src/main/scala/org/typelevel/otel4s/sdk/trace/samplers/SamplingDecision.scala

@@ -16,6 +16,9 @@
 
 package org.typelevel.otel4s.sdk.trace.samplers
 
+import cats.Hash
+import cats.Show
+
 /** A decision on whether a span should be recorded, sampled, or dropped.
   */
 sealed abstract class SamplingDecision(val isSampled: Boolean)
@@ -35,4 +38,11 @@ object SamplingDecision {
   /** The span is recorded, and the Sampled flag will be set.
     */
   case object RecordAndSample extends SamplingDecision(true)
+
+  implicit val samplingDecisionHash: Hash[SamplingDecision] =
+    Hash.fromUniversalHashCode
+
+  implicit val samplingDecisionShow: Show[SamplingDecision] =
+    Show.fromToString
+
 }

sdk/trace/src/test/scala/org/typelevel/otel4s/sdk/trace/samplers/SamplingDecisionSuite.scala

@@ -16,18 +16,60 @@
 
 package org.typelevel.otel4s.sdk.trace.samplers
 
+import cats.Hash
+import cats.Show
 import munit._
+import org.scalacheck.Gen
+import org.scalacheck.Prop
 
-class SamplingDecisionSuite extends FunSuite {
-  test("Drop should have isSampled = false") {
-    assertEquals(SamplingDecision.Drop.isSampled, false)
+class SamplingDecisionSuite extends ScalaCheckSuite {
+
+  private val samplingDecisionGen: Gen[SamplingDecision] =
+    Gen.oneOf(
+      SamplingDecision.Drop,
+      SamplingDecision.RecordOnly,
+      SamplingDecision.RecordAndSample
+    )
+
+  property("is sampled") {
+    Prop.forAll(samplingDecisionGen) { decision =>
+      val expected = decision match {
+        case SamplingDecision.Drop            => false
+        case SamplingDecision.RecordOnly      => false
+        case SamplingDecision.RecordAndSample => true
+      }
+
+      assertEquals(decision.isSampled, expected)
+    }
   }
 
-  test("RecordOnly should have isSampled = false") {
-    assertEquals(SamplingDecision.RecordOnly.isSampled, false)
+  property("Show[SamplingDecision]") {
+    Prop.forAll(samplingDecisionGen) { decision =>
+      val expected = decision match {
+        case SamplingDecision.Drop            => "Drop"
+        case SamplingDecision.RecordOnly      => "RecordOnly"
+        case SamplingDecision.RecordAndSample => "RecordAndSample"
+      }
+
+      assertEquals(Show[SamplingDecision].show(decision), expected)
+    }
   }
 
-  test("RecordAndSample should have isSampled = true") {
-    assertEquals(SamplingDecision.RecordAndSample.isSampled, true)
+  test("Hash[SamplingDecision]") {
+    val allWithIndex = List(
+      SamplingDecision.Drop,
+      SamplingDecision.RecordOnly,
+      SamplingDecision.RecordAndSample
+    ).zipWithIndex
+
+    allWithIndex.foreach { case (that, thatIdx) =>
+      allWithIndex.foreach { case (other, otherIdx) =>
+        assertEquals(
+          Hash[SamplingDecision].eqv(that, other),
+          thatIdx == otherIdx
+        )
+      }
+    }
   }
+
 }