ChannelCount.inline_serialization.kt

package io.arrowkt.example.inline_serialization

import kotlinx.serialization.*

import io.arrowkt.example.ChannelCount

@Serializer(forClass = ChannelCount::class)
class ChannelCountSerializer : KSerializer<ChannelCount> {
    override val descriptor: SerialDescriptor =
        PrimitiveDescriptor("ChannelCount", PrimitiveKind.INT)

    override fun serialize(encoder: Encoder, value: ChannelCount) {
        encoder.encodeInt(value.value)
    }

    override fun deserialize(decoder: Decoder): ChannelCount {
        return ChannelCount(decoder.decodeInt())
    }
}

ChannelCount.kt

package io.arrowkt.example

//metadebug

@InlineSerializable
data class ChannelCount(val value : Int) {
  override fun toString(): String = "$value channels"

  operator fun plus(other : ChannelCount) =
      ChannelCount(value + other.value)
}

ChannelCount.kt.meta

package io.arrowkt.example

//meta: Mon May 04 16:52:49 CEST 2020

@arrow.synthetic
@kotlinx.serialization.Serializable(with = io.arrowkt.example.inline_serialization.ChannelCountSerializer::class)
@InlineSerializable
data class ChannelCount(val value: Int) {
    override fun toString(): String = "$value channels"

    operator fun plus(other: ChannelCount) = ChannelCount(value + other.value)
}

UserId.inline_serialization.kt

package io.arrowkt.example.inline_serialization

import kotlinx.serialization.*

import io.arrowkt.example.UserId

@Serializer(forClass = UserId::class)
class UserIdSerializer : KSerializer<UserId> {
    override val descriptor: SerialDescriptor =
        PrimitiveDescriptor("UserId", PrimitiveKind.STRING)

    override fun serialize(encoder: Encoder, value: UserId) {
        encoder.encodeString(value.value)
    }

    override fun deserialize(decoder: Decoder): UserId {
        return UserId(decoder.decodeString())
    }
}

UserId.kt

package io.arrowkt.example

@InlineSerializable
data class UserId(val value : String) {
    companion object {
        fun unique() =
            UserId(java.util.UUID.randomUUID().toString())
    }
}