blob: 29b8d990a67e20815dc171806e8ef0af121d345a (
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
|
package com.drivergrp.core
import scalaz._
object id {
trait Tagged[+V, +Tag]
type @@[+V, +Tag] = V with Tagged[V, Tag]
type Id[+Tag] = Long @@ Tag
object Id {
def apply[Tag](value: Long) = value.asInstanceOf[Id[Tag]]
}
implicit def idEqual[T]: Equal[Id[T]] = Equal.equal[Id[T]](_ == _)
type Name[+Tag] = String @@ Tag
object Name {
def apply[Tag](value: String) = value.asInstanceOf[Name[Tag]]
}
implicit def nameEqual[T]: Equal[Name[T]] = Equal.equal[Name[T]](_ == _)
}
|