scalaz-core/scalaz/TagKind

TagKind

sealed abstract
class TagKind
class Object
trait Matchable
class Any

Type members

Types

type @@[A, T]

Value members

Abstract methods

def apply[@specialized A, T](a: A): A @@ T
def subst[A, F[_], T](fa: F[A]): F[A @@ T]
def subst1[G[_], F[_[_]], T](fa: F[G]): F[[α] =>> G[α] @@ T]
def unsubst[A, F[_], T](fa: F[A @@ T]): F[A]
def unsubst1[G[_], F[_[_]], T](fa: F[[α] =>> G[α] @@ T]): F[G]
def unwrap[@specialized A, T](a: A @@ T): A