root/scalaz/Tag/TagOf

TagOf

final
class TagOf[T] extends NaturalTransformation[Id, @@]
See also

Tag.of

class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[A](a: A): A @@ T

Like Tag.apply, but specify only the T.

Like Tag.apply, but specify only the T.

def onContra[FA](fa: FA)(implicit U: Unapply[[F[_]] =>> Contravariant[F], FA]): M[A @@ T]

One variant of subst with different inference.

One variant of subst with different inference.

def onCov[FA](fa: FA)(implicit U: Unapply[[F[_]] =>> Functor[F], FA]): M[A @@ T]

One variant of subst with different inference.

One variant of subst with different inference.

def onF[A, B](fa: A => B): A => B @@ T

Tag fa's return type. Allows inference of A to "flow through" from the enclosing context.

Tag fa's return type. Allows inference of A to "flow through" from the enclosing context.

def subst[F[_], A](fa: F[A]): F[A @@ T]

Like Tag.subst, but specify only the T.

Like Tag.subst, but specify only the T.

def subst1[F[_[_]], G[_]](fa: F[G]): F[[α] =>> G[α] @@ T]

Like Tag.subst1, but specify only the T.

Like Tag.subst1, but specify only the T.

def unapply[A](a: A @@ T): Some[A]

Pattern match on a tagged value

Pattern match on a tagged value

def unsubst[F[_], A](fa: F[A @@ T]): F[A]

Like Tag.unsubst, but specify only the T.

Like Tag.unsubst, but specify only the T.

def unsubst1[G[_], F[_[_]]](fa: F[[α] =>> G[α] @@ T]): F[G]

Like Tag.unsubst1, but specify only the T.

Like Tag.unsubst1, but specify only the T.

def unwrap[A](a: A @@ T): A

Like Tag.unwrap, but specify only the T.

Like Tag.unwrap, but specify only the T.

Inherited methods

def narrow[FF[_]](implicit ev: LiskovF[FF, Id]): NaturalTransformation[FF, @@]
Inherited from
NaturalTransformation
def or[H[_]](hg: NaturalTransformation[H, @@]): NaturalTransformation[[_] =>> Coproduct[Id, H, _$6], @@]

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.

Inherited from
NaturalTransformation
def widen[GG[_]](implicit ev: GG >~~> @@): NaturalTransformation[Id, GG]
Inherited from
NaturalTransformation