macrortti

Type Members

trait LTTRenderables extends WithRenderableSyntax
final case class LTag[T](tag: LightTypeTag) extends Product with Serializable
type LTagK[K[_]] = StrongHK[AnyRef { type Arg[A] = K[A] }]
type LTagK3[K[_, _, _]] = StrongHK[AnyRef { type Arg[A, B, C] = K[A,B,C] }]
type LTagKK[K[_, _]] = StrongHK[AnyRef { type Arg[A, B] = K[A,B] }]
type LTagT[K[_[_]]] = StrongHK[AnyRef { type Arg[A[_]] = K[A] }]
type LTagTK[K[_[_], _]] = StrongHK[AnyRef { type Arg[A[_], B] = K[A,B] }]
type LTagTK3[K[_[_], _, _, _]] = StrongHK[AnyRef { type Arg[A[_], B, C, D] = K[A,B,C,D] }]
type LTagTKK[K[_[_], _, _]] = StrongHK[AnyRef { type Arg[A[_], B, C] = K[A,B,C] }]
type LWeakTag[T] = Weak[T]
abstract class LightTypeTag extends Serializable
final class LightTypeTagImpl[U <: Universe with Singleton] extends AnyRef
final class LightTypeTagInheritance extends AnyRef
final class LightTypeTagMacro extends LightTypeTagMacro0[Context]
sealed trait LightTypeTagRef extends AnyRef
case class LightTypeTagUnpacker(tag: LightTypeTag) extends Product with Serializable

Extracts internal databases from LightTypeTag.
Extracts internal databases from LightTypeTag. Should be not used under normal circumstances.

Value Members

macro def LTT[T]: LightTypeTag
object LTTRenderables
macro def LTT[+_][T[+_]]: LightTypeTag
macro def LTT[A,B,_>:B<:A][A, B <: A, T[_ >: B <: A]]: LightTypeTag
macro def LTT[_,_][T[_, _]]: LightTypeTag
macro def LTT[_[_,_],_,_][T[_[_, _], _, _]]: LightTypeTag
macro def LTT[_[_,_]][T[_[_, _]]]: LightTypeTag
macro def LTT[_[_[_],_[_]]][T[_[_[_], _[_]]]]: LightTypeTag
macro def LTT[_[_[_]]][T[_[_[_]]]]: LightTypeTag
macro def LTT[_[_],_[_]][T[_[_], _[_]]]: LightTypeTag
macro def LTT[_[_]][T[_[_]]]: LightTypeTag
macro def LTT[_][T[_]]: LightTypeTag
object LTag extends Serializable

these are different summoners for light tags, it's fine for them to be the same structurally
object LTagK extends Serializable
object LTagK3 extends Serializable
object LTagKK extends Serializable
object LTagT extends Serializable
object LTagTK extends Serializable
object LTagTK3 extends Serializable
object LTagTKK extends Serializable
object LWeakTag extends Serializable
object LightTypeTag extends Serializable
object LightTypeTagImpl
object LightTypeTagInheritance
object LightTypeTagRef

package macrortti

Type Members

trait LTTRenderables extends WithRenderableSyntax

final case class LTag[T](tag: LightTypeTag) extends Product with Serializable

type LTagK[K[_]] = StrongHK[AnyRef { type Arg[A] = K[A] }]

type LTagK3[K[_, _, _]] = StrongHK[AnyRef { type Arg[A, B, C] = K[A,B,C] }]

type LTagKK[K[_, _]] = StrongHK[AnyRef { type Arg[A, B] = K[A,B] }]

type LTagT[K[_[_]]] = StrongHK[AnyRef { type Arg[A[_]] = K[A] }]

type LTagTK[K[_[_], _]] = StrongHK[AnyRef { type Arg[A[_], B] = K[A,B] }]

type LTagTK3[K[_[_], _, _, _]] = StrongHK[AnyRef { type Arg[A[_], B, C, D] = K[A,B,C,D] }]

type LTagTKK[K[_[_], _, _]] = StrongHK[AnyRef { type Arg[A[_], B, C] = K[A,B,C] }]

type LWeakTag[T] = Weak[T]

abstract class LightTypeTag extends Serializable

final class LightTypeTagImpl[U <: Universe with Singleton] extends AnyRef

final class LightTypeTagInheritance extends AnyRef

final class LightTypeTagMacro extends LightTypeTagMacro0[Context]

sealed trait LightTypeTagRef extends AnyRef

case class LightTypeTagUnpacker(tag: LightTypeTag) extends Product with Serializable

Value Members

macro def LTT[T]: LightTypeTag

object LTTRenderables

macro def LTT[+_][T[+_]]: LightTypeTag

macro def LTT[A,B,_>:B<:A][A, B <: A, T[_ >: B <: A]]: LightTypeTag

macro def LTT[_,_][T[_, _]]: LightTypeTag

macro def LTT[_[_,_],_,_][T[_[_, _], _, _]]: LightTypeTag

macro def LTT[_[_,_]][T[_[_, _]]]: LightTypeTag

macro def LTT[_[_[_],_[_]]][T[_[_[_], _[_]]]]: LightTypeTag

macro def LTT[_[_[_]]][T[_[_[_]]]]: LightTypeTag

macro def LTT[_[_],_[_]][T[_[_], _[_]]]: LightTypeTag

macro def LTT[_[_]][T[_[_]]]: LightTypeTag

macro def LTT[_][T[_]]: LightTypeTag

object LTag extends Serializable

object LTagK extends Serializable

object LTagK3 extends Serializable

object LTagKK extends Serializable

object LTagT extends Serializable

object LTagTK extends Serializable

object LTagTK3 extends Serializable

object LTagTKK extends Serializable

object LWeakTag extends Serializable

object LightTypeTag extends Serializable

object LightTypeTagImpl

object LightTypeTagInheritance

object LightTypeTagRef

Inherited from AnyRef

Inherited from Any

Ungrouped