1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
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 {
@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 extends LowPrioritySameIdImplicits {
def apply[A, B] = new SameId[A, B] {}
implicit def reflexive[A]: A ~ A = SameId[A, A]
implicit def symmetric[A, B](implicit ab: A ~ B): B ~ A = SameId[B, A]
}
trait LowPrioritySameIdImplicits {
protected type ~[A, B] = SameId[A, B]
implicit def transitive[A, B, C](implicit ab: A ~ B, bc: B ~ C): A ~ C = SameId[A, C]
}
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)
implicit class InvariantIdOps[Tag](id: Id[Tag]) {
def asId[T](implicit eq: SameId[Tag, T]): Id[T] = eq.convert(id)
}
def sameId[A, B] = SameId[A, B]
}
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)
}
}
|