blob: 8c13aebb98d66acbe996e40c45b5a2c375711f88 (
plain) (
blame)
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
|
package xyz.driver
import scalaz.Equal
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()
}
}
object tagging {
private[core] trait Tagged[+V, +Tag]
}
type @@[+V, +Tag] = V with tagging.Tagged[V, Tag]
}
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)
object Mapper {
def apply[A, B]: (Id[A] => Id[B]) = (id: Id[A]) => Id[B](id.value)
}
}
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)
}
}
|
