blob: d1128b65a16fae48371071b94787314c552d12b2 (
plain) (
tree)
|
|
package xyz.driver
import scalaz.Equal
import scala.annotation.implicitNotFound
package object core {
import scala.language.reflectiveCalls
def make[T](v: => T)(f: T => Unit): T = {
val value = v
f(value)
value
}
def using[R <: { def close() }, P](r: => R)(f: R => P): P = {
val resource = r
try {
f(resource)
} finally {
resource.close()
}
}
}
package core {
final case class Id[+Tag](value: String) extends AnyVal {
@inline def length: Int = value.length
override def toString: String = value
}
object Id {
implicit def idEqual[T]: Equal[Id[T]] = Equal.equal[Id[T]](_ == _)
implicit def idOrdering[T]: Ordering[Id[T]] = Ordering.by[Id[T], String](_.value)
/**
* Evidence that Id[A] can be safely converted to Id[B].
* e.g. `implicit val CaseId = Id.SameId[Case, CasesRow]`
* if `CaseId` is in scope, we can use either of:
* `casesRowId.asId[Case]` or `caseId.asId[CasesRow]`
* Override convert for custom Id conversions.
*/
@implicitNotFound("No evidence that ${A} has the same Id as ${B}")
sealed trait SameId[A, B] {
def convert(id: Id[A]): Id[B] = Id[B](id.value)
}
object SameId {
def apply[A, B] = new SameId[A, B] {}
implicit def symmetric[A, B](implicit ab: SameId[A, B]): SameId[B, A] = SameId[B, A]
}
implicit class InvariantIdOps[Tag](id: Id[Tag]) {
def asId[T](implicit eq: SameId[Tag, T]): Id[T] = eq.convert(id)
}
}
final case class Name[+Tag](value: String) extends AnyVal {
@inline def length: Int = value.length
override def toString: String = value
}
object Name {
implicit def nameEqual[T]: Equal[Name[T]] = Equal.equal[Name[T]](_ == _)
implicit def nameOrdering[T]: Ordering[Name[T]] = Ordering.by(_.value)
}
object revision {
final case class Revision[T](id: String)
implicit def revisionEqual[T]: Equal[Revision[T]] = Equal.equal[Revision[T]](_.id == _.id)
}
}
|