final class TagOf[T] extends ~>[Id.Id, [α$0$]TagKind.@@[α$0$, T]]
- Source
- Tag.scala
- See also
Tag.of
- Alphabetic
- By Inheritance
- TagOf
- NaturalTransformation
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
andThen[H[_]](f: ~>[[α$0$]TagKind.@@[α$0$, T], H]): ~>[Id.Id, H]
- Definition Classes
- NaturalTransformation
-
def
apply[A](a: A): @@[A, T]
Like
Tag.apply
, but specify only theT
.Like
Tag.apply
, but specify only theT
.- Definition Classes
- TagOf → NaturalTransformation
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
def
compose[E[_]](f: ~>[E, Id.Id]): ~>[E, [α$0$]TagKind.@@[α$0$, T]]
- Definition Classes
- NaturalTransformation
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
onContra[FA](fa: FA)(implicit U: Unapply[Contravariant, FA]): M[@@[A, T]]
One variant of
subst
with different inference. -
def
onCov[FA](fa: FA)(implicit U: Unapply[Functor, FA]): M[@@[A, T]]
One variant of
subst
with different inference. -
def
onF[A, B](fa: (A) ⇒ B): (A) ⇒ @@[B, T]
Tag
fa
's return type.Tag
fa
's return type. Allows inference ofA
to "flow through" from the enclosing context. -
def
or[H[_], F0[A] <: Id.Id[A], G0[A] >: TagKind.@@[A, T]](hg: ~>[H, G0]): ~>[[γ$1$]Coproduct[F0, H, γ$1$], G0]
Combines this scalaz.NaturalTransformation with another one to create one that can transform scalaz.Coproduct.
Combines this scalaz.NaturalTransformation with another one to create one that can transform scalaz.Coproduct.
The current NaturalTransformation will be used to transform the Left (
F
) value of the scalaz.Coproduct while the other one will be used to transform the Right (H
) value.- Definition Classes
- NaturalTransformation
-
def
subst[F[_], A](fa: F[A]): F[@@[A, T]]
Like
Tag.subst
, but specify only theT
. -
def
subst1[F[_[_]], G[_]](fa: F[G]): F[[α]TagKind.@@[G[α], T]]
Like
Tag.subst1
, but specify only theT
. -
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
def
unapply[A](a: @@[A, T]): Option[A]
Pattern match on a tagged value
-
def
unsubst[F[_], A](fa: F[@@[A, T]]): F[A]
Like
Tag.unsubst
, but specify only theT
. -
def
unsubst1[G[_], F[_[_]]](fa: F[[α]TagKind.@@[G[α], T]]): F[G]
Like
Tag.unsubst1
, but specify only theT
. -
def
unwrap[A](a: @@[A, T]): A
Like
Tag.unwrap
, but specify only theT
. -
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )