airframe-surface/wvlet.airframe.surface.tag

wvlet.airframe.surface.tag

package wvlet.airframe.surface.tag

Type members

Classlikes

implicit
class Tagger[T](t: T)

Types

type @@[T, +U] = T & Tag[U]
type Tag[+U] = { type Tag <: U; }
type Tagged[T, +U] = T & Tag[U]

Implicits

Implicits

final implicit
def Tagger[T](t: T): Tagger[T]
implicit
def toTaggedType[A, Tag](obj: A): A @@ Tag