• Home
• eu.timepit
• crjdt-core_sjs0.6_2.12
• 0.0.7
• source code
• Id.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

eu.timepit.crjdt.core.Id.scala Maven / Gradle / Ivy

package eu.timepit.crjdt.core

import cats.Order

final case class Id(c: BigInt, p: ReplicaId)

object Id {
  implicit final val orderId: Order[Id] =
    Order.from { (x: Id, y: Id) =>
      val rc = x.c compare y.c
      if (rc != 0) rc else x.p compareTo y.p
    }

  implicit final val orderingId: Ordering[Id] =
    Order[Id].toOrdering
}