final class CatsTagless1LiftSyntax[T[_[_], _], F[_], A] extends AnyVal
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- CatsTagless1LiftSyntax
- AnyVal
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new CatsTagless1LiftSyntax(tf: T[F, A])
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
##(): Int
- Definition Classes
- Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
getClass(): Class[_ <: AnyVal]
- Definition Classes
- AnyVal → Any
- def ilift1[G[_]](implicit lift: IsoK[F, G], fk: InvariantK[[x[_]]T[x, A]]): T[G, A]
- def imapK1[G[_]](f: ~>[F, G])(g: ~>[G, F])(implicit fk: InvariantK[[x[_]]T[x, A]]): T[G, A]
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def lift1[G[_]](implicit lift: Lift[F, G], fk: FunctorK[[x[_]]T[x, A]]): T[G, A]
- def mapK1[G[_]](f: ~>[F, G])(implicit fk: FunctorK[[x[_]]T[x, A]]): T[G, A]
-
def
toString(): String
- Definition Classes
- Any
- def unlift1[G[_]](implicit unlift: Unlift[F, G], G: Functor[G], fk: InvariantK[[x[_]]T[x, A]]): G[T[G, A]]