Skip to content
Merged
Show file tree
Hide file tree
Changes from 6 commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -253,3 +253,17 @@ trait CborAdtInstances[T] {
def cborCodec: GenObjectCodec[T] =
metadata.setup(_.validate()).adjustCodec(stdCodec)
}

trait CborAdtPolyInstances[C[_]] {
def stdCodec[T: GenCodec]: GenObjectCodec[C[T]]
def metadata[T: GenCodec]: CborAdtMetadata[C[T]]
}

/**
* Like [[HasCborCodec]] but for parameterized (generic) data types.
*/
abstract class HasPolyCborCodec[C[_]](implicit instances: MacroInstances[CborOptimizedCodecs, CborAdtPolyInstances[C]]) {
private lazy val validatedInstances = instances(CborOptimizedCodecs, this).setup(_.metadata[Nothing].validate())

implicit def codec[T: GenCodec]: GenObjectCodec[C[T]] = validatedInstances.metadata[T].adjustCodec(validatedInstances.stdCodec[T])
}
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,16 @@ case class CustomKeysRecord(
)
object CustomKeysRecord extends HasCborCodec[CustomKeysRecord]

@cborDiscriminator(0)
sealed trait GenericSealedTrait[+T]
object GenericSealedTrait extends HasPolyCborCodec[GenericSealedTrait] {
@cborKey(0)
case class Success[+T](value: T) extends GenericSealedTrait[T]
@cborKey(1)
case class Failure(message: String) extends GenericSealedTrait[Nothing]

}

@cborDiscriminator(0)
sealed trait CustomKeysFlatUnion extends Product with Serializable
object CustomKeysFlatUnion extends HasCborCodec[CustomKeysFlatUnion] {
Expand Down Expand Up @@ -211,6 +221,19 @@ class CborInputOutputTest extends AnyFunSuite {
test("chunked byte string") {
assert(CborInput.readRawCbor[Bytes](RawCbor.fromHex("5F426162426162426162FF")) == Bytes("ababab"))
}

test("generic sealed trait") {
val success = GenericSealedTrait.Success[Int](234)
val successCbor = CborOutput.writeRawCbor[GenericSealedTrait[Int]](success)
val decodedSuccess = CborInput.readRawCbor[GenericSealedTrait[Int]](successCbor)
assert(success == decodedSuccess)

val failure = GenericSealedTrait.Failure("error")
val failureCbor = CborOutput.writeRawCbor[GenericSealedTrait[String]](failure)
val decodedFailure = CborInput.readRawCbor[GenericSealedTrait[String]](failureCbor)
assert(failure == decodedFailure)
}

}

class CborGenCodecRoundtripTest extends GenCodecRoundtripTest {
Expand Down