airframe-surface/wvlet.airframe.surface.tag

wvlet.airframe.surface.tag

package wvlet.airframe.surface.tag

Type members

Classlikes

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

implicit def toTaggedType[A, Tag](obj: A): A @@ Tag